Monoidální kategorie

Monoidální (tenzorová) kategorie je kategorie s bifunktorem $\otimes :C\times C\rightarrow C$ (zvaným tenzorový produkt) a jednotkovým prvkem $I$ takovými, že existují přirozené isomorfismy $\alpha _{A,B,C}:(A\otimes B)\otimes C\cong A\otimes (B\otimes C)$, $\lambda _{A}:I\otimes A\cong A$, $\rho _{A}:A\otimes I\cong A$ ($alpha$ se nazývá asociátor a $\lambda {\text{ }}(\rho )$ levý (pravý) unitor.