monoidal category (English, noun)
expansion: monoidal category (plural monoidal categories)
Senses:
topics: category-theory
computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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:
form: monoidal categories
tags: plural