Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Natural_transformation
|
| gptkbp:appearsIn |
gptkb:Mac_Lane's_coherence_theorem
|
| gptkbp:codomain |
gptkb:Identity_functor
|
| gptkbp:domain |
Tensor product with unit object
|
| gptkbp:field |
Category theory
|
| gptkbp:partner |
gptkb:Left_unitor
|
| gptkbp:property |
gptkb:Isomorphism
|
| gptkbp:relatedTo |
gptkb:Monoidal_category
|
| gptkbp:satisfies |
Coherence conditions
|
| gptkbp:symbol |
ρ
|
| gptkbp:bfsParent |
gptkb:Monoidal_category
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Right unitor
|