nLab
pseudomonoid

Idea

A pseudomonoid in a monoidal 2-category is a categorification of the notion of a monoid object in a monoidal category.

Definition

A pseudomonoid in the cartesian monoidal 2-category Cat is precisely a monoidal category. The general definition can be extracted from this special case in a straightforward way. The precise definition can be found in Section 3 of the paper of Day and Street referenced below.

Just as a monoid in a monoidal category CC can be equivalently defined as a monad in the corresponding one-object 2-category BC\mathbf{B}C (the delooping of CC), so a pseudomonoid in a monoidal 2-category CC can equivalently be defined as a pseudomonad in the corresponding one-object 3-category BC\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.

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.

References

Ross Street and Brian Day, Monoidal Bicategories and Hopf Algebroids.

Revised on October 12, 2017 12:53:00 by Mike Shulman (69.75.108.203)