nLab monad retromorphism

Redirected from "monad retromorphisms".
Contents

Contents

Idea

A retromorphism of monads is a retrocell between the carriers of the monads, which preserves the unit and multiplication.

Examples

References

The terminology is introduced in the following thesis, where the definition is alluded to:

  • Matthew Di Meglio, The category of asymmetric lenses and its proxy pullbacks. Master’s thesis. Macquarie University, 2021. doi: 10.25949/20236449, pdf

A definition is introduced in:

Monad retromorphisms are further studied in:

Created on November 3, 2023 at 09:24:20. See the history of this page for a list of all contributions to it.