monoïdale categorie

In de categorietheorie, een deelgebied van de wiskunde, is een monoïdale categorie (of tensorcategorie) een categorie C, die is uitgerust met een bifunctor

⊗ : C × C → C

die associatief is ("upto" (tot) een natuurlijk isomorfisme), en een object I, die zowel een linker- en rechter identiteit voor ⊗ (wederom, "upto" (tot) natuurlijke isomorfisme). De geassocieerde natuurlijke isomorfismen zijn onderworpen aan bepaalde coherentievoorwaarden, die ervoor zorgen dat alle relevante diagrammen commuteren. Monoïdale categorieën zijn dus een losse categorisch analogon van de monoïden in de abstracte algebra.