Knowlpedia

Definition

Monoidal category

A category with an associative tensor product and a tensor unit, coherently up to specified isomorphisms.

Definition

A monoidal category is a C\mathcal C equipped with a bifunctor

⊗:C×C⟶C,\otimes:\mathcal C\times\mathcal C\longrightarrow\mathcal C,

an object 1\mathbb 1, and

αX,Y,Z:(X⊗Y)⊗Z⟶∼X⊗(Y⊗Z),λX:1⊗X⟶∼X,ρX:X⊗1⟶∼X.\alpha_{X,Y,Z}:(X\otimes Y)\otimes Z\overset{\sim}{\longrightarrow}X\otimes(Y\otimes Z),\qquad \lambda_X:\mathbb 1\otimes X\overset{\sim}{\longrightarrow}X,\qquad \rho_X:X\otimes\mathbb 1\overset{\sim}{\longrightarrow}X.

The associator α\alpha and unitors λ,ρ\lambda,\rho must satisfy Mac Lane's pentagon and triangle coherence axioms.

Why coherence matters

The tensor product need not be literally associative or unital. The coherence axioms ensure that every canonical composite built from associators and unitors between two parenthesizations is the same. Calculations can therefore suppress these isomorphisms without making arbitrary choices.

Examples
  • Sets with Cartesian product and a one-point set form a monoidal category.
  • Modules over a commutative ring form a monoidal category under , with the base ring as unit.
  • Endofunctors of a category form a generally non-symmetric monoidal category under composition.
References
  1. Saunders Mac Lane, Categories for the Working Mathematician, 2nd ed., Springer, 1998. DOI record. Relevant: Chapter VII.