Algebras and modules
Model category presentations
Geometry on formal duals of algebras
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
A strong monad over a monoidal category is a monad in the bicategory of -actions.
Here we regard as equipped with the canonical -action on itself.
If we write for the one-object bicategory obtained by delooping once, we have
where on the right we have the -category of lax 2-functors from to Cat, lax natural transformations of and modifications.
The category defines a canonical functor .
The strong monad, being a monad in this lax functor bicategory is given by
By the general logic of -transformations the components of are themselves a certain functor.
Then the usual diagrams that specify a strong monad
Usually strong monads are described explicitly in terms of the components of the above structure. The above repackaging of that definition is due to John Baez
Revised on February 12, 2014 07:34:00
by Urs Schreiber