Endofunctor

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:Functor
gptkb:mathematical_concept
gptkbp:codomain Category C
gptkbp:definedIn A functor mapping a category to itself
gptkbp:domain Category C
gptkbp:example gptkb:Identity_functor
gptkb:Power_set_functor
List functor
gptkbp:field Category theory
gptkbp:hasProperty Preserves composition
Preserves identity morphisms
https://www.w3.org/2000/01/rdf-schema#label Endofunctor
gptkbp:relatedTo gptkb:Monads
Natural transformation
Automorphism
gptkbp:usedIn gptkb:Mathematics
Computer science
gptkbp:bfsParent gptkb:Functor
gptkbp:bfsLayer 5