nLab pseudomonoid

Contents

Context

Higher algebra

higher algebra

universal algebra

Contents

Idea

The notion of pseudomonoid (sometimes also called a monoidale) in a monoidal 2-category is a categorification of the notion of a monoid object in a monoidal category.

The archetypical example are monoidal categories, which are the pseudomonoids in the cartesian monoidal 2-category Cat. Similarly, monoidal enriched categories are pseudomonoids in VCat.

Just as a monoid in a monoidal category $C$ can be equivalently defined as a monad in the corresponding one-object 2-category $\mathbf{B}C$ (the delooping of $C$), so a pseudomonoid in a monoidal 2-category $C$ can equivalently be defined as a pseudomonad in the corresponding one-object 3-category $\mathbf{B}C$.

Variations

• A map pseudomonoid is a pseudomonoid whose multiplication and unit are maps, i.e. left adjoints. This is a more appropriate notion for monoidal bicategories whose morphisms are profunctors, since maps therein can be identified (modulo Cauchy completion) with functors. (However, it is typically better to work instead in a double category, where one may distinguish between tight pseudomonoids and loose pseudomonoids.)

Other more special kinds of pseudomonoid are generalizations of special kinds of monoidal categories, including:

• braided pseudomonoids
• symmetric pseudomonoids
• balanced pseudomonoids
• closed pseudomonoids
• $\ast$-autonomous, a.k.a. Frobenius pseudomonoids
• compact closed (or autonomous) pseudomonoids

Eventually these should probably have their own pages.

Properties

The 2-category of symmetric pseudomonoids in a symmetric monoidal 2-category has (weak) 2-coproducts given by the tensor product of underlying objects (analogously to how the category of commutative monoids in a monoidal category has coproducts given by the tensor product of the underlying objects). This is proven in Schaeppi, Appendix A.