Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Adjoint functors
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
{{Short description|Relationship between two functors abstracting many common constructions}} {{About||the construction in field theory|Adjunction (field theory)|the construction in topology|Adjunction space}} {{More footnotes needed|date=January 2025}} In [[mathematics]], specifically [[category theory]], '''adjunction''' is a relationship that two [[functor]]s may exhibit, intuitively corresponding to a weak form of equivalence between two related [[category (mathematics)|categories]]. Two functors that stand in this relationship are known as '''adjoint functors''', one being the '''left adjoint''' and the other the '''right adjoint'''. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain [[universal property]]), such as the construction of a [[free group|free group on a set]] in [[algebra]], or the construction of the [[Stone–Čech compactification]] of a [[topological space]] in [[topology]]. By definition, an adjunction between categories <math>\mathcal{C}</math> and <math>\mathcal{D}</math> is a pair of functors (assumed to be [[Covariant functor|covariant]]) :<math>F: \mathcal{D} \rightarrow \mathcal{C}</math> and <math>G: \mathcal{C} \rightarrow \mathcal{D}</math> and, for all objects <math>c</math> in <math>\mathcal{C}</math> and <math>d</math> in <math>\mathcal{D}</math>, a [[bijection]] between the respective morphism sets :<math>\mathrm{hom}_{\mathcal{C}}(Fd,c) \cong \mathrm{hom}_{\mathcal{D}}(d,Gc)</math> such that this family of bijections is [[natural transformation|natural]] in <math>c</math> and <math>d</math>. Naturality here means that there are [[natural isomorphism]]s between the pair of functors <math>\mathcal{C}(F-,c) : \mathcal{D} \to \mathrm{Set^{\text{op}}}</math> and <math>\mathcal{D}(-,Gc) : \mathcal{D} \to \mathrm{Set^{\text{op}}}</math> for a fixed <math>c</math> in <math>\mathcal{C}</math>, and also the pair of functors <math>\mathcal{C}(Fd,-) : \mathcal{C} \to \mathrm{Set}</math> and <math>\mathcal{D}(d,G-) : \mathcal{C} \to \mathrm{Set}</math> for a fixed <math>d</math> in <math>\mathcal{D}</math>. The functor <math>F</math> is called a '''left adjoint functor''' or '''left adjoint to <math>G</math>''', while <math>G</math> is called a '''right adjoint functor''' or '''right adjoint to <math>F</math>'''. We write <math>F\dashv G</math>. An adjunction between categories <math>\mathcal{C}</math> and <math>\mathcal{D}</math> is somewhat akin to a "weak form" of an [[Equivalence of categories|equivalence]] between <math>\mathcal{C}</math> and <math>\mathcal{D}</math>, and indeed every equivalence is an adjunction. In many situations, an adjunction can be "upgraded" to an equivalence, by a suitable natural modification of the involved categories and functors.
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)