Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
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 |
https://www.w3.org/2000/01/rdf-schema#label |
monoidal category
|
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
|