relative monad

A *relative monad* is what is to a *relative adjunction* as a monad is to an adjunction.

Discussion with an eye towards monads in computer science is in

- Thorsten Altenkirch, James Chapman, Tarmo Uustalu,
*Monads need not be endofunctors*, Logical methods in computer science (arxiv)

Last revised on October 13, 2019 at 08:53:20. See the history of this page for a list of all contributions to it.