monoidal category

Noun CEFR B2

Definitions

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).

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See all B2 English words →

See also

monoideism monoidoid monoimine monoinfection monoinfections monoinnervation

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free