We introduce the idea of monads *in* a general 2-category C (where putting C = Cat gives the usual notion of monad *on* a category), and define the 2-category Mnd(C) of monads, monad functors and monad transformations in C as in Street, The formal theory of monads.
Link to this comment:
All Comments (0)