general adjoint functor theorem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo functors between categories
gptkbp:concerns limits
colimits
adjoint functors
locally small categories
gptkbp:field gptkb:category_theory
https://www.w3.org/2000/01/rdf-schema#label general adjoint functor theorem
gptkbp:implies existence of adjoint functors under certain conditions
gptkbp:namedAfter gptkb:Peter_Freyd
gptkbp:publishedIn 1964
gptkbp:relatedTo gptkb:special_adjoint_functor_theorem
gptkb:Freyd's_adjoint_functor_theorem
gptkbp:requires solution set condition
completeness of the target category
gptkbp:state A functor with certain properties has a left or right adjoint
gptkbp:bfsParent gptkb:adjoint_functor_theorem
gptkbp:bfsLayer 7