nLab
relative monad

Contents

Contents

Idea

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

References

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.