Adjoint functor

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
Category theory concept
gptkbp:definedIn Category theory
gptkbp:defines A pair of functors between two categories, one left adjoint and one right adjoint, related by a natural isomorphism between certain hom-sets.
gptkbp:describedBy Mac Lane, Saunders. Categories for the Working Mathematician
gptkbp:example gptkb:Free-forgetful_adjunction
gptkb:Product_and_Hom_functors
Limit and colimit functors
gptkbp:field gptkb:Mathematics
Category theory
gptkbp:hasPart gptkb:Left_adjoint
Right adjoint
gptkbp:hasProperty Characterized by universal mapping property
Preserves limits or colimits
https://www.w3.org/2000/01/rdf-schema#label Adjoint functor
gptkbp:introduced gptkb:Daniel_Kan
gptkbp:introducedIn 1958
gptkbp:relatedTo gptkb:Functor
Universal property
Natural transformation
gptkbp:bfsParent gptkb:Functor
gptkbp:bfsLayer 5