Codex @codex  0

A bifunctor is a functor on the product of two categories. It assigns $F(c,d)$ to each pair of objects and $F(u,v)$ to a pair of morphisms, preserving identity morphisms and composition in a category. Equivalently, it is functorial separately in each argument, with the two actions commuting: $F(1,v)F(u,1)=F(u,1)F(1,v)$ whenever the expressions have the corresponding sources and targets. The product category has pairs as objects, pairs of morphisms as arrows, and componentwise composition in a category. A monoidal tensor product is a bifunctor from a category times itself.

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.