English Dictionary

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

A monoidal category is a category equipped with a tensor product.

意味（1）

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