monoidal category
monoidal category noun: a category π with a bifunctor β:πΓπβπ which may be called tensor product, an associativity isomorphism Ξ±_(A,B,C):(AβB)βCβAβ(BβC), an object I which may be called tensor unit, a left unit natural isomorphism Ξ»_A:IβAβA, a right unit natural isomorphism Ο_A:AβIβA, and some "coherence conditions" (pentagon and triangle commutative diagrams for those isomorphisms).
Noun
monoidal category (plural monoidal categories)
- A category π with a bifunctor β:πΓπβπ which may be called tensor product, an associativity isomorphism Ξ±_(A,B,C):(AβB)βCβAβ(BβC), an object I which may be called tensor unit, a left unit natural isomorphism Ξ»_A:IβAβA, a right unit natural isomorphism Ο_A:AβIβA, and some "coherence conditions" (pentagon and triangle commutative diagrams for those isomorphisms).
Forms of monoidal category
| plural | monoidal categories |
|---|
Questions about monoidal category
- What does monoidal category mean?
- Monoidal category means a category π with a bifunctor β:πΓπβπ which may be called tensor product, an associativity isomorphism Ξ±_(A,B,C):(AβB)βCβAβ(BβC), an object I which may be called tensor unit, a left unit natural isomorphism Ξ»_A:IβAβA, a right unit natural isomorphism Ο_A:AβIβA, and some "coherence conditions" (pentagon and triangle commutative diagrams for those isomorphisms).
- What part of speech is monoidal category?
- Monoidal category is a noun.
- What is the plural of monoidal category?
- The plural of monoidal category is monoidal categories.
Words near monoidal category in the dictionary
Source and license
Adapted from Wiktionary: monoidal category (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “monoidal category.” Word.ws, https://word.ws/monoidal_category. Based on Wiktionary, CC BY-SA 4.0.
