Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
|
| gptkbp:codomain |
Same category as domain
|
| gptkbp:domain |
Any category
|
| gptkbp:field |
Category theory
|
| gptkbp:heldBy |
gptkb:Endofunctor
Trivial functor |
| gptkbp:mapType |
Each morphism to itself
Each object to itself |
| gptkbp:notation |
Id
1_C |
| gptkbp:preserves |
Composition
Identities |
| gptkbp:bfsParent |
gptkb:Right_unitor
|
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
Identity functor
|