Mathematics – Category Theory
Scientific paper
2009-02-24
Adv. Math. 225 (2010), 1-32
Mathematics
Category Theory
30 pages
Scientific paper
10.1016/j.aim.2010.02.015
We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EM^w(K) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of `weak liftings' for monads in K. If moreover idempotent 2-cells in K split, we describe both kinds of a weak lifting via an appropriate pseudo-functor EM^w(K) --> K. Weak entwining structures and partial entwining structures are shown to realize weak liftings of a comonad for a monad in these respective senses. Weak bialgebras are characterized as algebras and coalgebras, such that the corresponding monads weakly lift for the corresponding comonads and also the comonads weakly lift for the monads.
No associations
LandOfFree
The weak theory of monads 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 The weak theory of monads, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The weak theory of monads will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-172961