All Questions

It seems to be folklore that if we have an actegory, i.e. a monoidal functor from a monoidal category $C$ to an endofunctor category $Cat(D,D)$, we can obtain from it a monad on $D$. This appears for ...

I would like to find explicit definitions of pseudo, or even lax, algebras for a 2-monad, and their lax morphisms, with all the coherence diagrams included. Alternatively, coherent lax algebras for ...

I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. Is there any ...