nLab
2-monad

Contents

Definition

2-Monad

A 2-monad is a monad on a 2-category, or more generally a monad in a 3-category. This concept manifests at varying levels of strictness:

  • For a strict 2-monad (which classically is called a simply a “2-monad”), the 2-category KK is a strict 2-category, the functor T:KKT:K\to K is a strict 2-functor, and the transformations μ\mu and η\eta are strict 2-natural transformation?s and satisfy their laws strictly. This is the same as a CatCat-enriched monad. Strict 2-monads live naturally in strict 3-categories.

  • For a fully weak 2-monad, KK is a weak 2-category (such as a bicategory), TT is a weak (aka pseudo) 2-functor, and μ\mu and η\eta are pseudo natural transformations that satisfy their laws up to specified isomorphisms satisfying coherence conditions. Weak 2-monads live naturally in fully weak 3-categories (or tricategories)

  • In between we have various notions that are sometimes called pseudomonads. For instance, we could require KK to be a strict 2-category and TT a strict 2-functor, but μ\mu and η\eta only pseudo natural. This sort of pseudomonad lives naturally in a Gray-category.

Algebras and pseudoalgebras over a 2-monad

One can consider various 2-categories of algebras/modules for a 2-monad, depending on whether the algebras satisfy their laws strictly or weakly, and whether the morphisms commute with the algebra structure strictly or weakly.

At the strictest level, for a strict 2-monad TT we can consider the CatCat-enriched Eilenberg-Moore category, which consists of strict algebras (see algebra over a monad), strict morphisms, and strict transformations between these. In 2-categorical literature, it is usually denoted TAlg sT Alg_s. Many common types of structure on categories are specified by strict algebras for a strict 2-monad, but usually the strict morphisms are too strict.

There are three types of weak morphism: pseudo (which preserve the structure up to a specified coherent isomorphism), lax (which preserve it up to a noninvertible transformation) and colax or oplax (for which the transformation goes the other direction). See lax morphism for further discussion. With strict algebras and these various types of morphism, we obtain 2-categories TAlgT Alg (the pseudo case), TAlg lT Alg_l, and TAlg cT Alg_c for lax and colax respectively. One can also define an F-category of strict and lax morphisms together (or strict and pseudo, or pseudo and lax), and a double category which includes both lax and colax morphisms.

For example, ordinary (non-strict) monoidal categories are the strict algebras for a strict 2-monad T MCT_{MC} on CatCat, but usually we care about pseudo, lax, and oplax monoidal functors rather than strict ones. Strict monoidal categories are the strict algebras for a different strict 2-monad T StrMCT_{StrMC} on CatCat.

We can, however, also consider pseudo algebras for a 2-monad; see pseudoalgebra for a 2-monad. If the 2-monad is not strict, then this is usually the only sensible course. Pseudoalgebras for a strict 2-monad TT usually give an “unbiased” weaker notion of the structure specified by TT. For example, the pseudoalgebras for T StrMCT_{StrMC} are, not ordinary monoidal categories, but unbiased monoidal categories. (It is true, however, that the 2-category PsT StrMCAlgPs T_{StrMC} Alg of unbiased monoidal categories and strong monoidal functors is strictly 2-equivalent, i.e. Cat-enriched equivalent, to the 2-category of ordinary biased monoidal categories and strong monoidal functors.)

There are also 2-monads that specify property-like structure. For instance, there is a 2-monad whose algebras are categories with finite products. Actually, its algebras are categories equipped with specified finite products, the strict morphisms of these algebras preserve these specified finite products on the nose, and the pseudo morphisms preserve them in the usual sense of “preserving finite products.” In this case, every functor between algebras is an oplax morphism, since there is always a canonical comparison map F(A×B)F(A)×F(B)F(A\times B) \to F(A)\times F(B).

Properties

Relation to doctrines

2-monads (particularly on Cat) are also sometimes called doctrines, with the intuition in mind that they are an “algebraic theory” of structure on a category just as a monad (on SetSet) is an algebraic theory of structure on a set. However, this use of terminology is arguably at variance with the original intuitive meaning of “doctrine.”

Relation of strict 2-monads to 1-monads

A strict 2-monad TT has an underlying monad T 0T_0, such that strict TT-algebras and strict TT-morphisms are the same as T 0T_0-algebras and T 0T_0-morphisms. (This is a special case of the the general theory of underlying ordinary categories for enriched categories.) Moreover, if a strict 2-category AA admits powers or copowers with the interval category, then any monad on its underlying ordinary category A 0A_0 has at most one enrichment to a strict 2-monad. Thus, in this case “being a 2-monad” is a mere property of a monad; see the “unicity” paper of John Power below.

References

Revised on March 30, 2014 17:42:37 by David Roberts (129.127.252.11)