In de categorietheorie, een deelgebied van de wiskunde, is een monoïdale categorie of tensorcategorie een categorie C {\displaystyle C}, die is uitgerust met een bifunctor ⊗ : C × C → C {\displaystyle {\mathord {\otimes }}:C\times C\rightarrow C} die, afgezien van een natuurlijk isomorfisme, associatief is en een object I {\displaystyle I} dat, opnieuw afgezien van natuurlijke isomorfismes, zowel een linker- en rechter identiteit voor ⊗ {\displaystyle \otimes } is. Wikipedia