This post is part of a series on category theory, see Overview of Blog Posts for a list of all posts. As always, knowing the background of every single example is not required to understand the general concept. All categories are assumed to be locally small.
In this post, we shall study another fundamental notion of category theory that arises with remarkable ubiquity: adjoint functors. Given a functor, one can think of an adjoint as a very weak form of an inverse. There are close connections to representable functors, limits and equivalences. Knowing the basics about adjunctions of functors can be quite useful as they enjoy a non-empty set of nice properties. For illustrative purposes, we shall start by studying the special case of adjunctions between partially ordered sets, which are called Galois connections.
Definition C8.1 Let and be partially ordered sets (i.e. each comes equipped with a reflexive,transitive and antisymmetric relation), then a map is called
- isotone, if for all we have .
- antitone, if for all we have .
Remark If one considers and as categories (note that every partially ordered set is in particular preordered, so cf. example C1.5), then isotone maps correspond to covariant functors and antitone maps correspond to contravariant functors.
Definition C8.2 Let and be partially ordered sets, then a covariant (or contravariant, respectively) Galois connection from to consists of the following data:
- An isotone (or antitone, respectively) map
- An isotone (or antitone, respectively) map
Such that the following condition holds:
- For all and , we have
Example C8.3 Let be a map. Then the power sets and are partially ordered by inclusion, and we have isotone maps and and it holds that for all , so this is an example of a Galois connection.
Example C8.4 Let be a group and let be a normal subgroup. Then consider the partially ordered sets of all subgroups of and , respectively. Let be the canonical projection map. Then one can define maps and . As in the last example, we have , so this is an example of a Galois connection.
Example C8.5 Let and be commutative rings and let be a ring homomorphism. Then we can consider the sets of all ideals of and , respectively, denoted by and . and are partially ordered by inclusion and we have isotone maps (the ideal generated by ) , called extension and contraction. One has that for all , so this yields another example of a Galois connection.
Example C8.6 The eponymous example of a Galois connection comes from Galois theory. Let be any field extension. Then one can consider and the set of all subgroups of , denoted by and the set of all intermediate fields , both partially ordered by inclusion. Then one has antitone maps and . One checks that , so that this is a contravariant Galois connection.
Example C8.7 Now for a geometric example. Let be an algebraically closed field. Then the set of subsets is partially ordered by inclusion. On the other hand, consider the set of all ideals in , , partially ordered by inclusion. then we have antitone maps and . We have that . The sets are sets that “cut out” via polynomial equations. The example is geometric in the sense that many common geometric subsets of say (although this is not algebraically closed) can be defined via polynomial equations, such as circles, lines, parabolas, hyperbolas, conics etc.
To see that the notion of Galois connections is useful, let’s prove something.
Lemma C8.8 Let and be partially ordered sets and , be isotone maps that form a Galois connection, i.e. . Then we have for all and for all .
Proof We have and hence as . Applying using isotonicity, we obtain . On the other hand, we get that and hence as . Thus by antisymmetry, we obtain . The other statement is proved analogously.
Corollary C8.9 Let and be partially ordered sets and , be antitone maps that form a contravariant Galois connection, i.e. . Then for all and for all .
Proof Replace by the opposite category to obtain a covariant Galois connection, now apply the previous result.
Definition C8.10 Let and be partially ordered sets and , be either two isotone or two antitone maps that form a Galois connection. Then call closed if and only if for some . Similarly, call closed if and only if for some .
Corollary C8.11 Let and be partially ordered sets and , be either two isotone or two antitone maps that form a Galois connection, i.e. . Then the maps and induce a bijection between the closed elements of and the closed elements of . Furthermore, is closed if and only if and is closed if and only if .
Proof Clear from lemma C8.8 and C8.9 by the equations and .
Definition C8.12 Let and be partially ordered sets and , be either two isotone or two antitone maps that form a Galois connection, i.e. . Then the maps and are called closure operators.
Remark To motivate the terminology, note that is the smallest closed element of containing .
Example C8.13 Let be a group and be a normal subgroup and consider the Galois connection from example C8.4. As the projection is surjective, we have for any subgroup of , so every subgroup of is closed. On the other hand, it’s easy to see that for a subgroup of , we have if and only if , in general is the subgroup generated by and . It follows that and induce order-preserving bijections between subgroups of and subgroups of containing by corollary 8.11, which recovers a well-known fact from group theory.
Example C8.14 Let be a field extension, then applying corollary 8.11 to the Galois connection from example C8.6, we obtain an order-reversing bijection between intermediate extensions of the form for some subgroup and subgroups of of the form for some intermediate extension . If is algebraic and Galois, then one can show that every intermediate extension is closed, and that the closed subgroups are the subgroups which are closed in the topology which has a basis at the identity by for all intermediate extensions such that has finite degree. The correspondence between intermediate extensions and closed subgroups is the main result of Galois theory. (In the finite case, the topology is discrete and hence every subgroup is closed.)
Example C8.15 Let be an algebraically closed field and let be a natural number. Then consider the Galois connection between subsets of and ideals in . One can show that the subsets of of the form for an ideal form the closed subsets of a topology on , called the Zariski topology. Hilbert’s Nullstellensatz may be stated in the form . An ideal is called radical if . From the formalism of Galois connections, in particular corollary 8.16, we obtain an order-reversing bijection between subsets in that are cut out by polynomials and radical ideals in . The difficult part here is computing the closure operator, the rest is a formality. This is an important bridge between algebra and geometry.
Adjunctions via Hom-Sets
Definition C8.16 Let and be categories and let and be functors. Then an adjunction of the pair is given by a natural isomorphism of functors . If an adjunction exists, and are called adjoint, denoted by . In this case, is called left adjoint to and is called right adjoint to .
Exercise Verify that the notion of an adjunction specializes to that of a Galois connection in the case of partially ordered sets.
Example C8.17 Consider the category of commutative rings and the full subcategory of reduced commutative rings . We have a forgetful functor . We also have a functor that sends a ring to the associated reduced ring , the quotient by the nilradical. As every ring homomorphism from any commutative ring to a reduced commutative ring factors uniquely through , we obtain a natural bijection between ring homomorphisms and ring homomorphisms , so that the functor is left adjoint to the forgetful functor .
Example C8.18 Let and be rings and let be a -bimodule. Then we have a functor given by , this functor has a left adjoint given by the tensor product .
Example C8.19 Consider the category of small categories. We have a functor which sends a small category to its set of objects. Given a set we can form the discrete category on (see example C1.4 for details). Now a functor for some category is determined uniquely by a map : As the only morphisms in are identities, the action of a functor on morphisms is determined completely by the action on objects. Thus is left adjoint to .
Example C8.20 Let be the following category: objects are pairs , where is a commutative ring and is a multiplicatively closed subset and morphisms are ring homomorphisms such that . Let be the category of commutative rings. We have a functor sending to . The universal property of localization may be stated by saying that this functor has a left adjoint given by .
Example C8.21 Let be a complete normed field, such as , (or even , etc.). Now consider the category of normed vector spaces over with bounded linear maps as morphisms, denoted by and the full subcategory of complete normed spaces, i.e. Banach spaces over . We have a forgetful functor . We also have the completion functor . As bounded linear maps are uniformly continuous and every normed space is dense in its completion, we get that for a normed space and a complete normed space , every bounded linear map extends uniquely to a bounded linear map , where denotes the completion of . This shows that the completion functor is left adjoint to the forgetful functor .
An analogy with linear algebra
The terminology “adjunction” comes from an analogy with linear algebra. Let and be categories. Then these come equipped with their respective Hom-functors , . One can think of these Hom functor as being analogous to inner products. Then the Yoneda lemma tells us that these inner products are non-degenerate. In this analogy, for two functors and , having a natural isomorphism corresponds to having an equality for two inner product spaces and linear maps , , which is what defines to be the adjoint map to .