We say that two functors and are adjoint if they form an adjunction in the 2-category Cat of categories. This means that they are equipped with natural transformations and satisfying the triangle identities, that is the compositions and are identities. The left or right adjoint of any functor, if it exists, is unique up to unique isomorphism.
In the case of Cat, there are a number of equivalent characterizations of an adjunction, some of which are given below.
In other words, for all and there is a bijection of sets
naturally in and . This isomorphism is the adjunction isomorphism and the image of an element under this isomorphism is its adjunct.
Given such an adjunction isomorphism, and can be recovered as the adjuncts of identity morphisms. The Yoneda lemma ensures that the entire adjunction isomorphism can be recovered from them by composition: the adjunct of is , and the adjunct of is . The triangle identities are precisely what is necessary to ensure that this is an isomorphism.
There is then a unique way to define on arrows so as to make these isomorphisms natural in as well.
In more fancy language, by precomposition defines a functor
If for all this presheaf is representable, then it is functorially so in that there exists a functor such that
This definition has the advantage that it yields useful information even if the adjoint functor does not exist globally, i.e. as a functor on all of :
it may happen that
is representable for some but not for all . The representing object may still usefully be thought of as , and in fact it can be viewed as a right adjoint to relative to the inclusion of the full subcategory determined by those s for which is representable; see relative adjoint functor for more.
This global versus local evaluation of adjoint functors induces the global/local pictures of the definitions
as discussed there.
Given , and , a universal arrow from to is an initial object of the comma category . That is, it consists of an object and a morphism – the unit – such that for any , any morphism factors through the unit as
for a unique – the adjunct of .
In particular, we have a bijection
which it is easy to see is natural in . Again, in this case there is a unique way to make into a functor so that this isomorphism is natural in as well.
Note that this definition is simply obtained by applying the Yoneda lemma to the definition in terms of representable functors.
To derive this characterization starting with a natural hom-isomorphism let be the image of under the bijection and consider the naturality square
Let also the unit be the image of the identity under the hom-isomorphism and chase this identity through the commuting diagram to obtain
Example This definition in terms of universal factorizations through the unit and counit is of particular interest in the case that is a full and faithful functor exhibiting as a reflective subcategory of . In this case we may think of as a localization and of objects in the essental image of as local objects. Then the above says that:
defines a category with and with hom set given by
(also called the heteromorphisms).
This category naturally comes with a functor to the interval category
Now, every functor induces a profunctor
and every functor induces a profunctor
The functors and are adjoint precisely if the profunctors that they define in the above way are equal. This in turn is the case if .
We say that is the cograph of the functor . See there for more on this.
Functors and are adjoint precisely if we have a commutative diagram
where the downwards arrows are the maps induced by the projections of the comma categories. This definition of adjoint functors was introduced by Lawvere in his Ph.D. thesis, and was the original motivation for comma categories.
This diagram can be recovered directly from the image under the equivalence described at 2-sided fibration of the isomorphism of induced profunctors (see above at “In terms of Hom isomorphism”). Its relation to the hom-set definition of adjoint functors can thus be understood within the general paradigm of Grothendieck construction-like correspondences.
The above characterization of adjoint functors in terms of categories over the interval is used in section 5.2.2 of
(motivated from the discussion of correspondences in section 2.3.1)
to give a definition of adjunction between (infinity,1)-functors.
Let and be quasi-categories. An adjunction between and is
For more on this see
In this case, the universal 2-cell corresponds to the unit of the adjunction; the counit and the verification of the triangular identities can all be obtained through properties of Kan extensions and absoluteness.
It is also possible to express this in terms of Kan liftings: has a right adjoint if and only if:
In this case, we get the counit as given by the universal cell , while the rest of the data and properties can be derived from it through the absolute Kan lifting assumption.
Dually, we have that for , it has a left adjoint precisely if
or, in terms of left Kan liftings:
The formulations in terms of liftings generalize to relative adjoints by allowing an arbitrary functor in place of the identity; see there for more.
Let be a pair of adjoint functors. Then
The argument that shows the preservation of colimits by is analogous.
Let be a pair of adjoint functors. Then the following holds:
The following are equivalent:
being an injection for all objects . Then use that, by adjointness, we have an isomorphism
is the component map of the functor :
Therefore is injective for all , hence is faithful, precisely if is an epimorphism for all . The characterization of full is just the same reasoning applied to the fact that is a split monomorphism iff for all objects the induced function
is a surjection.
For the characterization of faithful by monic units notice that analogously (as discussed at monomorphism) is a monomorphism if for all objects the function
is an injection. Analogously to the previous argument we find that this is equivalent to
being an injection. So is faithful precisely if all are monos. For full, it’s just the same applied to split epimorphism iff the induced function
is a surjection, for all objects .
The proof of the other statements proceeds analogously.
Parts of this statement can be strenghened:
This appears as (Johnstone, lemma 1.1.1).
Using the given isomorphism, we may transfer the comonad structure on to a comonad structure on . By the Eckmann-Hilton argument the endomorphism monoid of is commutative. Therefore, since the coproduct on the comonad is a left inverse to the counit (by the co-unitality property applied to this degenerate situation), it is in fact a two-sided inverse and hence the -counit is an isomorphism. Transferring this back one finds that also the counit of the comand , hence of the adjunction is an isomorphism.
Then the value of the left adjoint on any object may be computed by a limit:
over the comma category (whose objects are pairs and whose morphisms are arrows in making the obvious triangle commute in ) of the projection functor
Because with this there is for every an obvious morphism
and hence an obvious morphism of cone tips
It is easy to check that these would be the unit and counit of an adjunction .
See adjoint functor theorem for more.
Every adjunction induces a monad and a comonad . There is in general more than one adjunction which gives rise to a given monad this way, in fact there is a category of adjunctions for a given monad. The initial object in that category is the adjunction over the Kleisli category of the monad and the terminal object is that over the Eilenberg-Moore category of algebras. (e.g. Borceux, vol 2. prop. 4.2.2) The latter is called the monadic adjunction.
The central point about examples of adjoint functors is:
Adjoint functors are ubiquitous .
To a fair extent, category theory is all about adjoint functors and the other universal constructions: Kan extensions, limits, representable functors, which are all special cases of adjoint functors – and adjoint functors are special cases of these.
Listing examples of adjoint functors is much like listing examples of integrals in analysis: one can and does fill books with these. (In fact, that analogy has more to it than meets the casual eye: see coend for more).
Keeping that in mind, we do list some special cases and special classes of examples that are useful to know. But any list is necessarily wildly incomplete.
In this case may be regarded as a localization. The fact that the adjunction provides universal factorization through unit and counit in this case means that every morphism into a local object factors through the localization of .
A pair of adjoint functors where and have finite limits and preserves these finite limits is a geometric morphism. These are one kind of morphisms between toposes. If in addition is full and faithful, then this is a geometric embedding.
The left and right adjoint functors and (if they exist) to a functor between functor categories obtained by precomposition with a functor of diagram categories are called the left and right Kan extension functors along
between and the category of presheaves on , where
the nerve functor is given by
and the realization functor is given by the coend
A famous examples of this is obtained for Top, the simplex category and the functor that sends to the standard topological -simplex. In this case the nerve functor is the singular simplicial complex functor and the realization is ordinary geometric realization.
adjoint functor, adjunction
and was popularized by
For other textbook reference see any of the references listed at category theory, for instance
A video of a pedagogical introduction to adjoint functors is provided by
The history of the idea that adjoint functors formalize aspects of dialectics is recounted in
For more on this see at adjoint modality.