In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C which is associative up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a natural isomorphism. Reference: Wikipedia.

The associated natural isomorphisms are subject to certain coherence conditions which ensure that all the relevant diagrams commute.

history | show excerpt | excerpt history