monoidal category
Word Rarity
Very rare
Frequency: Zipf frequency 1.32 in modern English
25
Scrabble Score
16
Letters
5
Syllables
13
Unique Chars
Meaning
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).