Contravariant functor

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:Functor
gptkb:mathematical_concept
gptkbp:contrastsWith gptkb:Covariant_functor
gptkbp:example gptkb:Hom_functor
gptkb:Dual_space_functor
gptkbp:field Category theory
gptkbp:formalDefinition Functor F: C → D such that F(f∘g) = F(g)∘F(f)
gptkbp:hasProperty Preserves composition up to reversal
Preserves identities
https://www.w3.org/2000/01/rdf-schema#label Contravariant functor
gptkbp:mapType Category to category
gptkbp:reverses Direction of morphisms
gptkbp:usedIn gptkb:Mathematics
Computer science
gptkbp:bfsParent gptkb:Functor
gptkbp:bfsLayer 5