Welcome back to the series! This time we’ll be discussing a concept I’ve repeatedly alluded to, but deliberately danced around: that of adjunctions / adjoint functors. Adjunctions are one of the most common and useful constructions in category theory. In the words of Saunders Mac Lane, "Adjoint functors arise everywhere" - and we will see several examples in the course of this series. Before we dive in to the definition and start proving theorems, I want to provide a high-level overview.

Suppose we have categories and . An adjunction from to consists of a pair of functors and , which are related in a way we will make explicit later. The functor is called the left adjoint, and the right adjoint - this relationship may be written . An adjunction is often described as a weaker form of equivalence of categories. This is mainly because the functors which constitute an equivalence of categories each preserve both limits and colimits, but we will see later that for adjunctions, preserves colimits and preserves limits. However, I think this characterization can be a bit misleading: equivalence is usually thought of as a relationship between two categories, while adjunction is better conceptualized as a relationship between a pair of functors. The functors themselves make up an “adjoint pair”, and the relationship between the ambient categories is usually less central.

It is important to remember that hom-functors are contravariant in the first argument and covariant in the second - this means that the diagrams expressing the naturality of in each argument look different. Let and be arrows; then for to be natural in each argument, the following diagrams must commute. The first diagram expresses naturality in the first argument, and the second diagram expresses naturality in the second.

With this in mind, we are ready to see an example extended from some previous discussion. In the first post in this series, we defined the diagonal functor which maps objects and arrows to pairs thereof. Now suppose that is a category which has all binary coproducts. This allows us to define the coproduct as a functor as well:

It is relatively simple to verify that is indeed a functor. And recall from the end of entry #1 in this series that since is a universal arrow from to , we have a natural isomorphism, say , from to . For an arrow in , this natural isomorphism is determined by . From here, we would like to show that the functors and form an adjoint pair . We are already most of the way there - all that remains to be shown is that the set of isomorphisms we have denoted by also constitute a natural isomorphism in the first argument. To do so, let be an arrow in and be a fixed object in . We must show that the following diagram commutes:

To do this, let ; we must show that . Expanding out the definition of in each case, this is true if and only if

By the definition of , we have and , so this is clearly true. Therefore the functors and do in fact form an adjunction together with the isomorphisms . But it turns out that we can make this result even more general: every time we have a universal arrow to a functor from each object of its codomain, that functor will have a left adjoint.

*Proof.* First, we must construct the functor
. To define
on objects, we will make the obvious choice
. To define
on arrows, let
be an arrow in
. Then since
is an arrow from
to
, the universal arrow
gives us a unique arrow
such that the following diagram commutes:

In this case, we will let . Next, we must demonstrate that is in fact a functor, i.e. that it preserves identities and composition. Seeing that preserves identities is rather simple - we know that . As is defined as the unique arrow from to with this property, we have . To see that preserves composition of arrows, let and be arrows in . Then , , and are defined as the unique arrows with appropriate domains and codomains such that each of the following diagrams commutes.

Using the commutativity of the first two diagrams and the fact that preserves composition of arrows, we can show that

But as this is the unique property satisfied by , we must have , meaning that is indeed a functor. At this point, it should also be clear that the arrows make up a natural transformation ; this fact is essentially built into our construction of .

To proceed further, we need to produce the natural isomorphism which completes the adjunction. By theorem 2 in the first post in this series, each universal arrow determines a natural isomorphism . For an arrow in , the mapping is defined by . All that we must do is show that this family of isomorphisms is also natural in the first argument . To do so, let be a fixed object in , and let be an arrow in . We must show that the following diagram commutes:

In order to demonstrate this, let . Along the upper path through the diagram, is mapped to , which is equal to . Along the lower path through the diagram, is mapped to , which is equal to . But since , which is true by the very definition of we have given, these two results are in fact equal, meaning the diagram commutes. Therefore