Mathematics – Category Theory
Scientific paper
2007-07-11
Mathematics
Category Theory
preliminary version
Scientific paper
Fix a monoidal category C. The 2-category of monads in the 2-category of C-actegories, colax C-equivarant functors, and C-equivariant natural transformations of colax functors, may be recast in terms of pairs consisting of a usual monad and a distributive law between the monad and the action of C, morphisms of monads respecting the distributive law, and transformations of monads satisfying some compatibility with the actions and distributive laws involved. The monads in this picture may be generalized to actions of monoidal categories, and actions of PRO-s in particular. If C is a PRO as well, then in special cases one gets various distributive laws of a given classical type, for example between a comonad and an endofunctor or between a monad and a comonad. The usual pentagons are in general replaced by multigons, and there are also ``mixed'' multigons involving two distinct distributive laws. Beck's bijection between the distributive laws and lifts of one monad to the Eilenberg-Moore category of another monad is here extended to an isomorphism of 2-categories. The lifts of maps of above mentioned pairs are colax C-equivariant. We finish with a short treatment of relative distributive laws between two pseudoalgebra structures which are relative with respect to the distributivity of two pseudomonads involved, what gives a hint toward the generalizations.
No associations
LandOfFree
Equivariant monads and equivariant lifts versus a 2-category of distributive laws does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Equivariant monads and equivariant lifts versus a 2-category of distributive laws, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Equivariant monads and equivariant lifts versus a 2-category of distributive laws will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-435010