jmchapman/Relative-Monads

This is stars and forks stats for /jmchapman/Relative-Monads repository. As of 26 Apr, 2024 this repository has 24 stars and 2 forks.

This repository contains a formalisation of relative monads. Monads are relative monads on the identity functor so it is not technically necessary to repeat the same constructions for ordinary monads. Nevertheless I include separate implementations of ordinary monads and related constructions as a warmup. Most of the code is quite polished. The stuff related to categories of adjunctions is still pretty gory. Basic category theory Categories Initial object Terminal object CoProducts Functors Full...