| dbo:abstract
|
- In category theory, a branch of mathematics, the formal criteria for adjoint functors are criteria for the existence of a left or right adjoint of a given functor. One criterion is the following, which first appeared in Peter J. Freyd's 1964 book Abelian Categories, an Introduction to the Theory of Functors: Freyd's adjoint functor theorem — Let be a functor between categories such that is complete. Then the following are equivalent (for simplicity ignoring the set-theoretic issues): 1.
* G has a left adjoint. 2.
* preserves all limits and for each object x in , there exist a set I and an I-indexed family of morphisms such that each morphism is of the form for some morphism . Another criterion is: Kan criterion for the existence of a left adjoint — Let be a functor between categories. Then the following are equivalent. 1.
* G has a left adjoint. 2.
* G preserves limits and, for each object x in , the limit exists in . 3.
* The right Kan extension of the identity functor along G exists and is preserved by G. Moreover, when this is the case then a left adjoint of G can be computed using the left Kan extension. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2311 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:mathStatement
|
- Let be a functor between categories such that is complete. Then the following are equivalent :
# G has a left adjoint.
# preserves all limits and for each object x in , there exist a set I and an I-indexed family of morphisms such that each morphism is of the form for some morphism . (en)
- Let be a functor between categories. Then the following are equivalent.
# G has a left adjoint.
# G preserves limits and, for each object x in , the limit exists in .
# The right Kan extension of the identity functor along G exists and is preserved by G.
Moreover, when this is the case then a left adjoint of G can be computed using the left Kan extension. (en)
|
| dbp:name
|
- Freyd's adjoint functor theorem (en)
- Kan criterion for the existence of a left adjoint (en)
|
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- In category theory, a branch of mathematics, the formal criteria for adjoint functors are criteria for the existence of a left or right adjoint of a given functor. One criterion is the following, which first appeared in Peter J. Freyd's 1964 book Abelian Categories, an Introduction to the Theory of Functors: Freyd's adjoint functor theorem — Let be a functor between categories such that is complete. Then the following are equivalent (for simplicity ignoring the set-theoretic issues): Another criterion is: (en)
|
| rdfs:label
|
- Formal criteria for adjoint functors (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is rdfs:seeAlso
of | |
| is foaf:primaryTopic
of | |
