monoidal category

danh từ (noun)

Nghĩa chính

Phạm trù 𝒞 với một lưỡng chức năng ⊗:𝒞×𝒞→𝒞 có thể gọi là tích tensor, đẳng cấu kết hợp α_(A,B,C):(A⊗B)⊗C≃A⊗(B⊗C), đối tượng I có thể gọi là đơn vị tensor, đẳng cấu tự nhiên đơn vị bên trái λ_A:I⊗A≃A, một đẳng cấu tự nhiên đơn vị bên phải ρ_A:A⊗I≃A, và một số "điều kiện kết hợp" (sơ đồ giao hoán ngũ giác và tam giác cho các đẳng cấu đó)danh từ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).

theo quy tắc (regular)