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 |
https://www.w3.org/2000/01/rdf-schema#label |
Identity functor
|
gptkbp:mapType |
Each morphism to itself
Each object to itself |
gptkbp:notation |
Id
1_C |
gptkbp:preserves |
Composition
Identities |
gptkbp:bfsParent |
gptkb:Endofunctor
|
gptkbp:bfsLayer |
6
|