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
Last revised on October 13, 2019 at 08:53:20. See the history of this page for a list of all contributions to it.