Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:Category_theory_concept |
| gptkbp:associativityConstraint |
gptkb:identity
|
| gptkbp:definedIn |
Category theory
|
| gptkbp:hasProperty |
Associativity is strict
Unit is strict |
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
|
| gptkbp:notablePlace |
Unit object
|
| gptkbp:operator |
gptkb:Tensor_product
|
| gptkbp:subclassOf |
gptkb:Monoidal_category
|
| gptkbp:unitConstraint |
gptkb:identity
|
| gptkbp:usedIn |
gptkb:Mathematics
gptkb:Theoretical_computer_science |
| gptkbp:bfsParent |
gptkb:Monoidal_category
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Strict monoidal category
|