Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:category_theory_concept |
| gptkbp:definedIn |
gptkb:category_theory
|
| gptkbp:example |
category of sets
category of vector spaces category of chain complexes category of modules |
| gptkbp:generalizes |
braided monoidal category
symmetric monoidal category strict monoidal category |
| gptkbp:hasProperty |
associativity up to isomorphism
unit up to isomorphism |
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
|
| gptkbp:introducedIn |
1963
|
| gptkbp:satisfies |
pentagon identity
triangle identity |
| gptkbp:structure |
tensor product
associator left unitor right unitor unit object |
| gptkbp:usedIn |
gptkb:quantum_field_theory
gptkb:topology representation theory quantum algebra |
| gptkbp:bfsParent |
gptkb:Hopf_algebras
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
monoidal category
|