## Adjoint Functors (Pt. I)

**Point of Post: **In this post we discuss the notion of adjoint functors, giving the two definitions via both Hom set adjunction and counit-unit adjunction.

**Motivation**

As is standard when talking about adjoint functors we begin with a quote by the late Saunders Mac Lane: “The slogan is ‘Adjoint functors arise everywhere'”. Mr. Mac Lane was surely not lying because (as I hope is clear by the end of this post) some of the functors we are most well-acquainted with are left or right adjoints. What exactly are adjoint functors? While there are tons-and-tons of motivations for what these ubiquitous little demons are, there is one though that stands forefront in my mind. The idea is that adjoint functors are kind of like generalized inverses–in the sense that while they are not actually invertible, they share many of the same functional properties of invertible functors. Namely, let’s assume that we have a functor . It is entirely unreasonable to assume that this is a literal isomorphism (it has a two-sided functor inverse). It is slightly less unreasonable to hope that is going to be an equivalence, which means that and for some functor . That said, having an equivalence of categories is a BIG deal thus we shouldn’t expect the average functor on the street to be an equivalence. Moreover, in both of the cases of a functor being an isomorphism (having a literal inverse) and being an equivalence the focus is really more on the categories. If I said to you that is an isomorphism or probably the most important thing that jumps to mind is “ and are isomorphic” or and are equivalent”. Thus, if we are looking for generalizations of the functional properties of invertible or near invertible functors perhaps it behooves us to shy away from looking directly at the categories and instead look at how we want our functors to act on “elements” of the categories. Namely, let’s sit here for a second and try to think of what is a very desirable property that an invertible functor has.

Well, recalling our mantra that we should only care about the morphisms in a category it seems then that a step in the discovery of this desirable is to figure out what invertible or near invertible functors do to morphisms. Well, let’s just mess around with the idea and see what comes up. Well, what we know is that there is a natural isomorphism for each an object . Ok, so, morphisms, morphisms. Hmm, well what does this tell us about looking at morphisms between and other objects of . Ok, so we want to see what we can say about . Hmm, well nothing immediately jumps out. But, there is something we can do which is pretty nice. Since our is an equivalence it is easy to prove that must be isomorphic to some object in the image of . Thus, we want to figure out what our equivalence enable us to say about . Well, since there is no harm in replacing with so that we are really trying to figure out what we can say about . But the cool thing is that since is an equivalence we have that induces bijections on Hom sets, and thus . Moreover, if one follows the details of the construction above one can prove that this isomorphism is natural in both and .

While this is clearly a very nice property for two functors to have it is not at all clear that it’s the correct generlization of invertible functors. Hopefully though, the ubiquitousness of functors satisfying this property (as illustrated below) will convince the reader.

**Adjoint Functors**

Let and be two categories and and to functors. We say that is an a*djoint pair, *denoted , if for each object in and in there exists a bijection

which is natural in each variable–diagrammatically this means the following two diagrams commute

for each arrow and each arrow . In this case we say that is *right adjoint to *and is *left adjoint to . * If is any functor, we say is *left adjoint *if there exists with . We similarly define a *right adjoint functor.*

Let’s give some examples of adjoint functors:

Let be the category of integral domains with injective ring maps as morphisms. Since every ring map between fields is necessarily injective we see that there is a forgetful functor . We claim that is right adjoint. What this means, again, is that we need to be able to find a functor which is left adjoint to . Indeed, the functor we are seeking is the field of fraction functor which sends every integral domain to its field of fractions and sends every injective ring map to the induced ring map guaranteed composing the map guaranteed by the universal property of fraction fields with the localization map . Now to show that we need to show that there is an isomorphism

which is natural in both and . To see this merely take to which is just the guaranteed map after we make the identification . To prove that this is natural in both entries we first check that if we have an injective ring map that . To do this take a and some , we then check that

and

To check the other naturality we assume we have some field map , we then need to check that (since ). To do this we again let be arbitrary in and check that

and

Thus, we see that as desired.

**References:
**

[1] Mac, Lane Saunders. *Categories for the Working Mathematician*. New York: Springer-Verlag, 1994. Print.

[2] Adámek, Jirí, Horst Herrlich, and George E. Strecker. *Abstract and Concrete Categories: the Joy of Cats*. New York: John Wiley & Sons, 1990. Print.

[3] Berrick, A. J., and M. E. Keating. *Categories and Modules with K-theory in View*. Cambridge, UK: Cambridge UP, 2000. Print.

[4] Freyd, Peter J. *Abelian Categories.* New York: Harper & Row, 1964. Print.

[5] Mitchell, Barry. *Theory of Categories.* New York: Academic, 1965. Print.

[6] Herrlich, Horst, and George E. Strecker. *Category Theory: An Introduction*. Lemgo: Heldermann, 2007. Print.

[…] Adjoint Functors (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by Adjoint Functors (Pt. II) « Abstract Nonsense | April 15, 2012 |

[…] be a right adjoint functor. Then, is […]

Pingback by Continuous and Cocontinuous Functors « Abstract Nonsense | April 15, 2012 |

[…] suggests that there may be some sort of adjunction hiding in the background. And, indeed, this is true. Namely, the functor is a left adjoint to the […]

Pingback by The Tensor Algebra and the Exterior Algebra (Pt. I) « Abstract Nonsense | May 20, 2012 |