The weak theory of monads

Abstract

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.

30 pages

References in corpus (1)

• The 2-category of weak entwining structures

Cited by in corpus (19)

• Weak bimonads and weak Hopf monads
• On the 2-categories of weak distributive laws
• Idempotent splittings, colimit completion, and weak aspects of the theory of monads
• The Vietoris monad and weak distributive laws
• Lax Distributive Laws for Topology, I
• Regular pairings of functors and weak (co)monads
• Weak Crossed Biproducts and Weak Projections
• Combining Weak Distributive Laws: Application to Up-To Techniques
• Bilinear factorization of algebras
• Combining Semilattices and Semimodules
• Cohomology of algebras over weak Hopf algebras
• Partial Representations of Hopf Algebras
• The 2-category of weak entwining structures
• Weak Frobenius monads and Frobenius bimodules
• Iterated weak crossed products
• Convexity via Weak Distributive Laws
• Weakening and Iterating Laws using String Diagrams
• Integrals and crossed products over weak Hopf algebras
• Weak bimonoids in duoidal categories