Examples of adjoints

Left adjoints of forgetful functors


Many forgetful functors have a left adjoint that is some type of "free" construction. Here are just a few.

Examples in group theory

The free abelian group functor

Recall that for each set X, the free abelian group on X is usually defined as the set of finite formal Z-linear combinations of elements in X, with additive operation given by addition of coefficients:

F(X)={xXnxxnxZ, all but finitely many zero}.

This construction is the object function of a functor F:SetAb. (Can you describe the map on arrows?) Moreover, the abelian group F(X) has the following universal property: for each abelian group A, the set of group morphisms F(X)A is in (natural) bijection with set maps XU(A), where U(A) is the underlying set of elements of A. In other words, there is a (natural) bijection

τX,A:HomAb(F(X),A)HomSet(X,U(A)).

This is actually the reason the abelian group F(X) is called "free": to define a group morphism from it, you are free to send the "generators" (i.e., the images of the elements of x in F(X)) to whichever elements you please in (the set of elements of) A. There are no restrictions on your choices, and every choice leads to a unique group morphism F(X)A.

In the language of adjoints, the free abelian group functor F:SetAb is a left adjoint of the forgetful functor U:AbSet. The unit of the adjunction is again the "insertion of generators" set map XU(F(X)), which maps each element xX to the formal linear combination xXnxx, where nx=1 and nx=0 for all other x.

The free group functor

Completely analogous to the situation for abelian groups, there is also a free group construction. In this case, given a set X the construction of the free group F(X) is somewhat different than above. You can look it up to see the construction, but for now simply note that we are now looking for a left adjoint of a different forgetful functor, namely the forgetful functor U:GrpSet. This means that the left adjoint is a functor F:SetGrp that needs to satisfy a different bijection, namely that for every set X and every group G (and not just every abelian group), there must be a natural bijection

τX,A:HomGrp(F(X),G)HomSet(X,U(G)).

The abelianization functor

For the forgetful functor U:AbGrp, a left adjoint is the abelianization functor (sometimes called the factor-commutator functor), which has as object function the map GG/[G,G]. The unit of the adjunction is the projection onto the quotient GG/[G,G]. Note that here we should technically write GU(G/[G,G]), but no one ever does.

Examples in module theory

We will see the following three examples in module theory (as well as some others).

The free R-module functor

For U:R-ModSet, a left adjoint is the free module functor, which has object function XF(X). The unit of the adjunction is the "insertion of generators" set map XU(F(X)).

The tensor product functor

For U:R-ModAb, a left adjoint is the tensor product functor ARZA. The unit of the adjunction is AU(RZA) given by a1a. We will also see the functor U also has a right adjoint, namely the functor AHomAb(U(R),A).

The tensor algebra functor

For U:R-AlgR-Mod, a left adjoint is the tensor algebra functor MT(M). The unit of the adjunction is the "insertion of generators" MT(M).

Not every forgetful functor has a left adjoint!

It is tempting to think that the "free" construction can be extended to any category, or at least any category with a (forgetful) functor to Set. Sadly, this is not always true. Probably the most famous example of this is the forgetful functor U:FieldSet. Intuitively, this is because morphisms from fields are very restrictive, in that they are always injective (and can only map to other fields of the same characteristic). Can you turn this intuitive idea into a proof (say, by contradiction) that there does not exist a functor that is a left adjoint to the forgetful functor U:FieldSet?

Left and right adjoints of diagonal functors


Another common type of a functor is a "diagonal" or "constant" functor. We saw examples of these when we considered "constant" diagrams. Much like with forgetful functors, these functors often have familiar adjoints. Below we list some examples, although note that these adjoints do not always exist in a given category C. When in doubt, assume C=Set.

Products and coproducts

For the diagonal functor Δ:CC×C (with object function c(c,c)), a left adjoint is the coproduct functor :C×CC. When C=Set, this functor sends each pair of sets X,Y to their disjoint union. The unit of the adjunction is the pair of injections (XXY,YXY). The counit is the so-called "folding" map XXX.

A right adjoint of Δ is the product functor :C×CC. When C=Set, this functor sends each pair of sets X,Y to their Cartesian product. The unit of that adjunction is the diagonal map δX:XX×X and the counit is the pair of projections (X×YX,X×YY).

Initial and terminal objects

If C1 is the unique functor to the category with one object, then a left adjoint 1C is the functor that selects the initial object of C, while a right adjoint 1C is the functor that selects the terminal object of C.

Limits and colimits

Suppose J is the category with two objects and two distinct parallel arrows between them and Δ:CCJ is the diagonal functor that sends each object c to the constant diagram of shape J with value c, i.e., the pair of identity arrows from c to c. Then a left adjoint is the coequalizer functor (with unit the coequalizing arrow) and a right adjoint is the equalizer functor (with counit the equalizing arrow).

More generally, for any category J, if Δ:CCJ is the diagonal functor, then a left adjoint is the colimit functor (with unit the universal cone) and a right adjoint is the limit object (with counit the universal cone).

Dual vector spaces


In the category VecF of vector spaces over a field F, the notion of the dual vector space V=HomVecF(V,F) leads to an interesting adjunction. For every pair of F-vector spaces V and W there is a natural bijection

ϕV,W:HomVecF(V,W)HomVecF(W,V).

This leads to two different functors with the same object function (that sends each vector space to its dual):

D:VecFopVecF,Dop:VecFVecFop

The bijection above then becomes the natural bijection

HomVecFop(DopW,V)HomVecF(W,DV).

Moreover, the unit of this adjunction is exactly the canonical isomorphism WDDop(W) of a vector space with its double dual.

Suggested next note


Properties of adjoints