Adjoint functors can be considered from several different points of view. This article starts with a number of introductory sections considering some of these.

The idea of adjoint functors in general took shape during the 1950s. Like many of the concepts in category theory, it probably arose from the needs of homological algebra, which was at heart devoted to computations. Presentators of the subject would have noticed relations such as

- Hom (
*FB*,*C*) = Hom (*B*,*GC*)

The terminology comes from the Hilbert space idea of adjoint operators *T*, *U* with <*Tx*,*y*> = <*x*,*Uy*>, which is formally similar to the above Hom relation. We say that *F* is *left adjoint* to *G*, and *G* is *right adjoint* to *F*. Since *G* may have itself a right adjoint, quite different from *F* (see below for an example), the analogy breaks down at that point.

If one starts looking for these adjoint pairs of functors, they turn out to be very common in abstract algebra, and elsewhere as well. The example section below provides evidence of this; furthermore, universal constructions, which may be more familiar to some, give rise to numerous adjoint pairs of functors.

In accordance with the thinking of Saunders MacLane, any idea such as adjoint functors that occurs widely enough in mathematics should be studied for its own sake.

By itself, the *generality* of the adjoint functor concept isn't a recommendation to most mathematicians. Concepts are judged according to their use in solving problems, at least as much as for their use in building theories. The tension between these two potential motivations for developing a mathematical concept was especially great during the 1950s when category theory was initially developed. Enter Alexander Grothendieck, who used category theory to take compass bearings in foundational, axiomatic work - in functional analysis, homological algebra and finally algebraic geometry.

It is probably wrong to say that he promoted the adjoint functor concept in isolation: but recognition of the role of adjunction was inherent in Grothendieck's approach. For example, one of his major achievements was the formulation of Serre duality in relative form - one could say loosely, in a continuous family of algebraic varieties. The entire proof turned on the existence of a right adjoint to a certain functor. This is something undeniably abstract, and non-constructive, but also powerful in its own way.

That can only be done, in some sense, by what mathematicians call 'hand-waving'. It can be said, however, that adjoint functors pin down the concept of the *best structure* of a type one is interested in constructing. For example, an elementary question in ring theory is how to add a multiplicative identity to a ring that doesn't have one (the Wikipedia definition actually assumes one: see ring (mathematics) and glossary of ring theory). *The best* way is to add an element '1' to the ring, add nothing extra you don't need (you will need to have *r*+1 for *r* in the ring, clearly), and add no relations in the new ring that aren't forced by axioms. This is rather vague, though suggestive.

There are several ways to make precise this concept of *best structure*. Adjoint functors are one method; the notion of universal properties provide another, essentially equivalent but arguably more concrete approach.

Universal properties are also based on category theory. The idea is to set up the problem in terms of some auxiliary category *C*; and then identify what we want to do as showing that *C* has an initial object. This has an advantage that the *optimisation* - the sense that we are finding the *best* solution - is singled out and recognisable rather like the attainment of a supremum. To do it is something of a knack: for example, take the given ring *R*, and make a category *C* whose ** objects** are ring homomorphisms

The adjoint functor method for defining an multiplicative identity for rings is to look at two categories, *C*_{0} and *C*_{1}, of rings, respectively without and with assumption of multiplicative identity. There is a functor from *C*_{1} to *C*_{0} that forgets about the 1. We are seeking a left adjoint to it. This is a clear, if dry, formulation.

One way to see what is achieved by using either formulation is to try a direct method. (This is favoured, for example, by John Conway.) One simply adds to *R* a new element 1, and calculates on the basis that any equation resulting is valid *if and only if it holds for all rings* that we can create from R and 1. This is the impredicative method: meaning that the ring we are trying to construct is one of the rings quantified over in 'all rings'. Now this is honest in a way that category theory has no intention of being.

The ** answer** regarding the way to get a (unitary) ring from one that is not unitary is simple enough (see examples below); this section has been discussion how to formulate the question.

The major argument in favour of adjoint functors is probably this: if one goes through the universal property or impredicative reasoning often enough, it seems like repeating the same kind of steps.

Every partially ordered set can be viewed as a category (with a single morphism between *x* and *y* if and only if *x* ≤ *y*). A pair of adjoint functors between two partially ordered sets is called a Galois connection. (Provided, that is, it is contravariant: that may require a cosmetic change to one of the orders, to its opposite). See that article for a number of examples: the case of Galois theory of course is a leading one. As for Galois groups, the real interest is is in refining a correspondence to a duality (i.e. order isomorphism with the opposite). A treatment of Galois theory along these lines by Kaplansky was influential in the recognition of the general structure here.

The partial order case collapses the adjunction definitions quite noticeably, but can provide several themes:

- adjunctions may not be dualities or isomorphisms, but are candidates for upgrading to that status
- closure operators may indicate the presence of adjunctions, as corresponding monadss (cf. the Kuratowski closure axioms)
- a very general comment of Martin Hyland is that
*syntax and semantics*are adjoint: take*C*to be the set of all logical theories (axiomatizations), and*D*as the set of all mathematical structures. For a theory*T*in*C*, let*F*(*T*) be the set of all structures that satisfy the axioms*T*; for a set of mathematical structures*S*, let*G*(*S*) be the minimal axiomatization of*S*. We can then say that*F*(*T*) is a subset of*S*if and only if*T*logically implies*G*(*S*): the "semantics functor"*F*is left adjoint to the "syntax functor"*G*. - division is (in general) the attempt to
*invert*multiplication, but many examples, such as the introduction of implication in propositional logic, or division by ring ideals, can be recognised as the attempt to provide an adjoint.

A pair of **adjoint functors** between two categories *C* and *D* consists of two functors *F* : *C* → *D* and *G* : *D* → *C* and a natural equivalence consisting of bijective functions

- φ
_{X,Y}: Mor_{D}(*F*(*X*),*Y*) → Mor_{C}(*X*,*G*(*Y*))

Every adjoint pair of functors defines a *unit* η, a natural transformation from the functor Id_{C} to *GF* consisting of morphisms

- η
_{X}:*X*`->`*GF*(*X*)

- ε
_{Y}:*FG*(*Y*) →*Y*.

**Free objects.** If *F* : **Set** → **Group** is the functor assigning to each set *X* the free group over *X*, and if *G* : **Group** → **Set** is the forgetful functor assigning to each group its underlying set, then the universal property of the free group shows that *F* is left adjoint to *G*. The unit of this adjoint pair is the embedding of a set *X* into the free group over *X*.

Free rings, free abelian groups, free modules etc. follow the same pattern.

**Products.** Let *F* : **Group** → **Group ^{2}** be the functor which assigns to every group

The cartesian product of sets, the product of rings, the product of topological spaces etc. follow the same pattern; it can also be extended in a straightforward manner to more than just two factors.

**Coproducts.** If *F* : **Ab ^{2}** →

Analogous examples are given by the direct sum of vector spaces and modules, by the free product of groups and by the disjoint union of sets.

**Kernels.** Consider the category *D* of homomorphisms of abelian groups. If *f*_{1} : *A*_{1} → *B*_{1} and *f*_{2} : *A*_{2} → *B*_{2} are two objects of *D*, then a morphism from *f*_{1} to *f*_{2} is a pair (*g*_{A}, *g*_{B}) of morphisms such that *g _{B}f*

A suitable variation of this example also shows that the kernel functors for vector spaces and for modules are right adjoints. Analogously, one can show that the cokernel functors for abelian groups, vector spaces and modules are left adjoints.

**Making a ring unitary** This example was discussed in section 3 above. Given a non-unitary ring *R*, a multiplicative identity element can be added by taking *R*x**Z** and defining a **Z**-bilinear product with (r,0)(0,1) = (0,1)(r,0) = (r,0), (r,0)(s,0) = (rs,0), (0,1)(0,1) = (0,1). This constructs a left adjoint to the functor taking a ring to the underlying non-unitary ring.

**Ring extensions.** Suppose *R* and *S* are rings, and ρ : *R* → *S* is a ring homomorphism. Then *S* can be seen as a (left) *R*-module, and the tensor product with *S* yields a functor *F* : *R*-**Mod** → *S*-**Mod**. Then *F* is left adjoint to the forgetful functor *G* : *S*-**Mod** → *R*-**Mod**.

**Tensor products.** If *R* is a ring and *M* is a right *R* module, then the tensor product with *M* yields a functor *F* : *R*-**Mod** → **Ab**. The functor *G* : **Ab** → *R*-**Mod**, defined by *G*(*A*) = Hom_{Z}(*A*, *M*) for every abelian group *A*, is a right adjoint to *F*.

**From monoids and groups to rings** The monoid ring construction gives a functor from monoids to rings. This functor is left adjoint to the functor that associates to a given ring its underlying multiplicative monoid. Similarly, the group ring construction yields a functor from groupss to rings, left adjoint to the functor that assigns to a given ring its group of units. One can also start with a field *K* and consider the category of *K*-algebras instead of the category of rings, to get the monoid and group rings over *K*.

**The Grothendieck construction**. In K-theory, the point of departure is to observe that the category of vector bundles on a topological space has a commutative monoid structure under direct sum. To make an abelian group out of this monoid, one can follow the method of making a presentation of a group, adding formally an additive inverse for each bundle (or equivalence class). Alternatively one can observe that the functor that for each group takes the underlying monoid (ignoring inverses) has a left adjoint. This is a once-for-all construction, in line with the third section discussion above. That is, one can imitate the construction of negative numbers; but there is the other option of an existence theorem. For the case of finitary algebraic structures, the existence by itself can be referred to universal algebra, or model theory; naturally there is also a proof adapted to category theory, too.

**Frobenius reciprocity** in the representation theory of groups: see induced representation. This example foreshadowed the general theory by about half a century.

**Stone-Čech compactification.** Let *D* be the category of compact Hausdorff spaces and *G* : *D* → **Top** be the forgetful functor which treats every compact Hausdorff space as a topological space. Then *G* has a left adjoint *F* : **Top** → *D*, the Stone-Čech compactification. The unit of this adjoint pair yields a continuous map from every topological space *X* into its Stone-Čech compactification. This map is an embedding (i.e. injective, continuous and open) if and only if *X* is a Tychonoff space.

**A functor with a left and a right adjoint.**
Let *G* be the functor from topological spaces to sets that associates to every topological space its underlying set (forgetting the topology, that is). *G* has a left adjoint *F*, creating the discrete space on a set *Y*, and a right adjoint *H* creating the trivial topology on *Y*.

All pairs of adjoint functors arise from universal constructions. The example constructions above can all be spelled out with a univeral property, and in fact some of the relevant articles do so.

Universal constructions are more general than adjoint functor pairs: as mentioned earlier, a universal construction is like an optimization problem; it gives rise to an adjoint pair if and only if this problem has a solution for every object of *D*.

The most important property of adjoints is their continuity: every functor that has a left adjoint (and therefore *is* a right adjoint) is *continuous* (i.e. commutes with limits in the category theoretical sense); every functor that has a right adjoint (and therefore *is* a left adjoint) is *cocontinuous* (i.e. commutes with colimits).

Not every functor *G* : *D* → *C* admits a left adjoint. If *D* is complete, then the functors with left adjoints can be characterized by the **Freyd Adjoint Functor Theorem**: *G* has a left adjoint if and only if it is continuous and for every object *X* of *C* there exists a family of morphisms *f*_{i} : *X* → '\'G*(*Y_{i}*) (where the indices *i* come from a set *I*, not a proper class), such that every morphism *h* : *X* → *G*(*Y*) can be written as *h* = *G*(*t*) o *f* _{}*i