Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:Category_theory_concept |
| gptkbp:definedIn |
Category C with a bifunctor ⊗: C × C → C
Natural isomorphisms α, λ, ρ, and σ Unit object I |
| gptkbp:example |
gptkb:Category_of_sets_with_cartesian_product
Category of vector spaces with tensor product Category of abelian groups with tensor product |
| gptkbp:hasProperty |
gptkb:Symmetry
gptkb:Bifunctor gptkb:Natural_isomorphism Associativity Coherence conditions Unit object |
| gptkbp:isomorphicTo |
Associator α
Left unitor λ Right unitor ρ Symmetry isomorphism σ_{A,B}: A⊗B → B⊗A |
| gptkbp:namedFor |
Category theory
|
| gptkbp:referencedIn |
Saunders Mac Lane, Categories for the Working Mathematician
|
| gptkbp:relatedTo |
gptkb:Monoidal_functor
gptkb:Braided_monoidal_category Closed monoidal category |
| gptkbp:satisfies |
Coherence conditions (Mac Lane's coherence theorem)
|
| gptkbp:subclassOf |
gptkb:Monoidal_category
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:Topology Mathematical physics Quantum computing |
| gptkbp:bfsParent |
gptkb:Monoidal_category
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Symmetric monoidal category
|