Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 20 / 12 / i

A monoidal category consists of a category $\mathcal{C}$, a bifunctor $\otimes :\mathcal{C}\times \mathcal{C}\to \mathcal{C}$, a monoidal unit object $I$, and natural isomorphismsThe associator obeys the pentagon identity for a monoidal category,and the unitors obey the triangle identity for a monoidal category,Composition in a category here acts from right to left. The first equation compares two paths from $((A\otimes B)\otimes C)\otimes D$ to $A\otimes (B\otimes (C\otimes D))$; the second compares two ways of removing the intervening unit.

It is precisely a bicategory with one object $\ast$. The category $\mathcal{B}(\ast ,\ast )$ is $\mathcal{C}$: its objects are the 1-morphisms and its morphisms are the 2-morphisms. Horizontal composition in a category is $\otimes$, the identity 1-morphism is $I$, and the associator and unitors give the weak associativity and unit constraints. Vertical composition in a category is ordinary composition in a category in $\mathcal{C}$; the interchange law follows because $\otimes$ is a bifunctor. The bicategory pentagon and triangle axioms are exactly the two equations above. Conversely the sole hom-category of any one-object bicategory gives these data, with the convention that horizontal composition in a category uses the indicated ordering of tensor factors.