Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Natural_isomorphism
|
| gptkbp:definedIn |
Every object X in a monoidal category
|
| gptkbp:hasComponent |
gptkb:Tensor_product
Identity object |
| gptkbp:hasDual |
gptkb:Right_unitor
|
| gptkbp:isomorphismBetween |
I ⊗ X and X
|
| gptkbp:relatedTo |
gptkb:Monoidal_category
|
| gptkbp:satisfies |
gptkb:Triangle_identity
|
| gptkbp:symbol |
λ_X
|
| gptkbp:usedIn |
Category theory
|
| gptkbp:bfsParent |
gptkb:Monoidal_category
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Left unitor
|