In matematica, una categoria monoidale, o categoria tensoriale, è una categoria C {\displaystyle {\mathcal {C}}} munita di un bifuntore ⊗ : C × C → C, {\displaystyle \otimes \colon {\mathcal {C}}\times {\mathcal {C}}\to {\mathcal {C}},} che è associativo a meno di isomorfismi naturali, e un oggetto I {\displaystyle I} che è elemento neutro sia a destra sia a sinistra per ⊗ {\displaystyle \otimes } a meno di isomorfismi naturali. Wikipedia