monoidal category

名词 n.

英文释义

名词 n.
  1. 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).

词形变化

monoidal categories plural
0 次浏览 数据来源: Wiktionary