Definitions from Wiktionary (monoidal category)
▸ noun: (category theory) 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).
▸ Words similar to monoidal category
▸ Usage examples for monoidal category
▸ Idioms related to monoidal category
▸ Wikipedia articles (New!)
▸ Words that often appear near monoidal category
▸ Rhymes of monoidal category
▸ Invented words related to monoidal category
▸ noun: (category theory) 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).
Similar:
bicategory,
unit,
adjunction,
balanced category,
identity functor,
category,
Yoneda lemma,
slice category,
semigroupoid,
comma category,
more...
Phrases:
▸ Words similar to monoidal category
▸ Usage examples for monoidal category
▸ Idioms related to monoidal category
▸ Wikipedia articles (New!)
▸ Words that often appear near monoidal category
▸ Rhymes of monoidal category
▸ Invented words related to monoidal category