Adjoint functors

In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint.^[1] Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e., constructions of objects having a certain universal property), such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.

By definition, an adjunction between categories ${\mathcal {C}}$ and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {D}}} is a pair of functors (assumed to be covariant)

${\begin{aligned}F&:{\mathcal {D}}\rightarrow {\mathcal {C}}\\G&:{\mathcal {C}}\rightarrow {\mathcal {D}}\end{aligned}}$

and, for all objects $c$ in ${\mathcal {C}}$ and $d$ in Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {D}}} , a bijection between the respective morphism sets

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {hom} _{\mathcal {C}}(Fd,c)\cong \mathrm {hom} _{\mathcal {D}}(d,Gc)}

such that this family of bijections is natural in $c$ and $d$ .^[1] For locally small categories, naturality here means that there are natural isomorphisms between the pair of functors Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {C}}(F-,c):{\mathcal {D}}\to \mathrm {Set^{\text{op}}} } and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {D}}(-,Gc):{\mathcal {D}}\to \mathrm {Set^{\text{op}}} } for a fixed $c$ in ${\mathcal {C}}$ , and also the pair of functors Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {C}}(Fd,-):{\mathcal {C}}\to \mathrm {Set} } and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {D}}(d,G-):{\mathcal {C}}\to \mathrm {Set} } for a fixed $d$ in Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle {\mathcal {D}}} . For other categories, naturality is defined as a generalisation of this.^[1]

The functor $F$ is called a left adjoint functor or left adjoint to $G$ , while $G$ is called a right adjoint functor or right adjoint to $F$ . We write Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle F\dashv G} .^[1]

An adjunction between categories ${\mathcal {C}}$ and ${\mathcal {D}}$ is somewhat akin to a "weak form" of an equivalence between ${\mathcal {C}}$ and ${\mathcal {D}}$ , and indeed every equivalence gives an adjunction, though the equivalence itself is not necessarily an adjunction.^[2] In many situations, an adjunction can be "upgraded" to an equivalence, by a suitable natural modification of the involved categories and functors.

Terminology and notation

The terms adjoint and adjunct are both used, and are cognates: one is taken directly from Latin, the other from Latin via French. In the classic text Categories for the Working Mathematician, Mac Lane makes a distinction between the two.^[3] Given a family

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \varphi _{cd}:\mathrm {hom} _{\mathcal {C}}(Fd,c)\cong \mathrm {hom} _{\mathcal {D}}(d,Gc)}

of hom-set bijections, we call $\varphi$ an adjunction or an adjunction between $F$ and $G$ .^[1]^[3] If $f$ is an arrow in Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {hom} _{\mathcal {C}}(Fd,c)} , Mac Lane calls Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \varphi f} the right adjunct of $f$ .^[3] The functor $F$ is left adjoint to $G$ , and $G$ is right adjoint to $F$ .^[1]^[3] (Note that $G$ may have itself a right adjoint that is quite different from $F$ ; see below for an example.)

In general, the phrases " $F$ is a left adjoint" and " $F$ has a right adjoint" are equivalent. We call Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} a left adjoint because it is applied to the left argument of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{hom}_{\mathcal{C}}} , and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} a right adjoint because it is applied to the right argument of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathrm{hom}_{\mathcal{D}}} .

If F is left adjoint to G, we also write^[1] Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F\dashv G.}

The terminology comes from the Hilbert space idea of adjoint operators Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle Ty,x\rangle = \langle y,Ux\rangle} , which is formally similar to the above relation between hom-sets. The analogy to adjoint maps of Hilbert spaces can be made precise in certain contexts.^[4]

Introduction and motivation

The slogan is "Adjoint functors arise everywhere".
— Saunders Mac Lane, Categories for the Working Mathematician

Common mathematical constructions are very often adjoint functors. Consequently, general theorems about left/right adjoint functors encode the details of many useful and otherwise non-trivial results. Such general theorems include the equivalence of the various definitions of adjoint functors, the uniqueness of a right adjoint for a given left adjoint, the fact that left/right adjoint functors respectively preserve colimits/limits (which are also found in every area of mathematics), and the general adjoint functor theorems giving conditions under which a given functor is a left/right adjoint.

Solutions to optimization problems

In a sense, an adjoint functor is a way of giving the most efficient solution to some problem via a method that is formulaic. For example, an elementary problem in ring theory is how to turn a rng (which is like a ring that might not have a multiplicative identity) into a ring. The most efficient way is to adjoin an element '1' to the rng, adjoin all (and only) the elements that are necessary for satisfying the ring axioms (e.g. r+1 for each r in the ring), and impose no relations in the newly formed ring that are not forced by axioms. Moreover, this construction is formulaic in the sense that it works in essentially the same way for any rng.

This is rather vague, though suggestive, and can be made precise in the language of category theory: a construction is most efficient if it satisfies a universal property, and is formulaic if it defines a functor. Universal properties come in two types: initial properties and terminal properties. Since these are dual notions, it is only necessary to discuss one of them.

The idea of using an initial property is to set up the problem in terms of some auxiliary category E, so that the problem at hand corresponds to finding an initial object of E. This has an advantage that the optimization—the sense that the process finds the most efficient solution—means something rigorous and recognisable, rather like the attainment of a supremum. The category E is also formulaic in this construction, since it is always the category of elements of the functor to which one is constructing an adjoint.

Back to our example: take the given rng R, and make a category E whose objects are rng homomorphisms $R \to S$ , with S a ring having a multiplicative identity. The morphisms in E between $R \to S 1$ and $R \to S 2$ are commutative triangles of the form ( $R \to S 1, R \to S 2, S 1 \to S 2$ ) where $S 1 \to S 2$ is a ring map (which preserves the identity). (Note that this is precisely the definition of the comma category of R over the inclusion of unitary rings into rng.) The existence of a morphism between $R \to S 1$ and $R \to S 2$ implies that S₁ is at least as efficient a solution as S₂ to our problem: S₂ can have more adjoined elements and/or more relations not imposed by axioms than S₁. Therefore, the assertion that an object $R \to R *$ is initial in E, that is, that there is a morphism from it to any other element of E, means that the ring R* is a most efficient solution to our problem.

The two facts that this method of turning rngs into rings is most efficient and formulaic can be expressed simultaneously by saying that it defines an adjoint functor. More explicitly: Let F denote the above process of adjoining an identity to a rng, so F(R)=R^∗. Let G denote the process of "forgetting" whether a ring S has an identity and considering it simply as a rng, so essentially G(S)=S. Then F is the left adjoint functor of G.

Note however that we haven't actually constructed R^∗ yet; it is an important and not altogether trivial algebraic fact that such a left adjoint functor $R \to R *$ actually exists.

Symmetry of optimization problems

It is also possible to start with the functor F, and pose the following (vague) question: is there a problem to which F is the most efficient solution?

The notion that F is the most efficient solution to the problem posed by G is, in a certain rigorous sense, equivalent to the notion that G poses the most difficult problem that F solves.

This gives the intuition behind the fact that adjoint functors occur in pairs: if F is left adjoint to G, then G is right adjoint to F.

Formal definitions

There are various equivalent definitions for adjoint functors:

The definitions via universal morphisms are easy to state, and require minimal verifications when constructing an adjoint functor or proving two functors are adjoint. They are also the most analogous to our intuition involving optimizations.
The definition via hom-sets makes symmetry the most apparent, and is the reason for using the word adjoint.
The definition via counit–unit adjunction is convenient for proofs about functors that are known to be adjoint, because they provide formulas that can be directly manipulated.

The equivalency of these definitions is quite useful. Adjoint functors arise everywhere, in all areas of mathematics. Since the structure in any of these definitions gives rise to the structures in the others, switching between them makes implicit use of many details that would otherwise have to be repeated separately in every subject area.

Conventions

The theory of adjoints has the terms left and right at its foundation, and there are many components that live in one of two categories C and D that are under consideration. Therefore it can be helpful to choose letters in alphabetical order according to whether they live in the "lefthand" category C or the "righthand" category D, and also to write them down in this order whenever possible.

In this article for example, the letters X, F, f, ε will consistently denote things that live in the category C, the letters Y, G, g, η will consistently denote things that live in the category D, and whenever possible such things will be referred to in order from left to right (a functor F : D → C can be thought of as "living" where its outputs are, in C). If the arrows for the left adjoint functor F were drawn they would be pointing to the left; if the arrows for the right adjoint functor G were drawn they would be pointing to the right.

Definition via universal morphisms

By definition, a functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F: \mathcal{D} \to \mathcal{C}} is a left adjoint functor if for each object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{C}} there exists a universal morphism from Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} . Spelled out, this means that for each object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{C}} there exists an object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G(X)} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} and a morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon_X: F(G(X)) \to X} such that for every object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} and every morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f: F(Y) \to X} there exists a unique morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g: Y \to G(X)} with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon_X \circ F(g) = f} .

The latter equation is expressed by the following commutative diagram:

Diagram of the equation above. Here the counit is a universal morphism.

In this situation, one can show that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} can be turned into a functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G :\mathcal{C} \to \mathcal{D}} in a unique way such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon_X \circ F(G(f)) = f \circ \varepsilon_{X'}} for all morphisms Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f: X' \to X} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{C}} ; Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} is then called a left adjoint to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} .

Similarly, we may define right-adjoint functors. A functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G: \mathcal{C} \to \mathcal{D}} is a right adjoint functor if for each object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} , there exists a universal morphism from Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} . Spelled out, this means that for each object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} , there exists an object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(Y)} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C} and a morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_Y: Y \to G(F(Y))} such that for every object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{C}} and every morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g: Y \to G(X)} there exists a unique morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f: F(Y) \to X} with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G(f) \circ \eta_Y = g} .

Diagram of the above. The existence of the unit, a universal morphism, can prove the existence of an adjunction.

Again, this Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} can be uniquely turned into a functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F: \mathcal{D} \to \mathcal{C}} such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G(F(g)) \circ \eta_Y = \eta_{Y'} \circ g} for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g: Y \to Y'} a morphism in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} ; Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} is then called a right adjoint to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} .

It is true, as the terminology implies, that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} is left adjoint to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} if and only if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} is right adjoint to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} .

These definitions via universal morphisms are often useful for establishing that a given functor is left or right adjoint, because they are minimalistic in their requirements. They are also intuitively meaningful in that finding a universal morphism is like solving an optimization problem.

Definition via hom-sets

Using hom-sets, an adjunction between two categories Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{C}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} can be defined as consisting of two functors Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F : \mathcal{D} \to \mathcal{C}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G : \mathcal{C} \to \mathcal{D}} and a natural isomorphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi:\mathrm{Hom}_\mathcal{C}(F-,-) \to \mathrm{Hom}_\mathcal{D}(-,G-).} This specifies a family of bijections Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi_{Y,X}:\mathrm{Hom}_\mathcal{C}(FY,X) \to \mathrm{Hom}_\mathcal{D}(Y,GX)} for all objects Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X\in\mathcal{C}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y\in\mathcal{D}.}

In this situation, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} is left adjoint to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} is right adjoint to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} .

This definition is a logical compromise in that it is more difficult to establish its satisfaction than the universal morphism definitions, and has fewer immediate implications than the counit–unit definition. It is useful because of its obvious symmetry, and as a stepping-stone between the other definitions.

In order to interpret Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi} as a natural isomorphism, one must recognize Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Hom}_\mathcal{C}(F-,-)} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Hom}_\mathcal{D}(-,G-)} as functors. In fact, they are both bifunctors from Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}^\text{op} \times \mathcal{C}} to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{Set}} (the category of sets). For details, see the article on hom-functors. Spelled out, the naturality of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi} means that for all morphisms Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f : X \to X'} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{C}} and all morphisms Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g : Y' \to Y} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} the following diagram commutes:

Naturality of Φ. The diagram expresses that Hom(g,Gf) ° Φ_{Y,X} = Φ_{Y',X'} ° Hom(Fg,f).

The vertical arrows in this diagram (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Hom}(g,Gf)} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Hom}(Fg,f)} ) are those induced by composition. Formally, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Hom}(Fg, f) : \text{Hom}_\mathcal{C}(FY, X) \to \text{Hom}_\mathcal{C}(FY', X')} is given by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h \mapsto f \circ h \circ Fg} for each Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h \in \text{Hom}_\mathcal{C}(FY, X).} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Hom}(g, Gf)} is similar.

Definition via counit–unit

A third way of defining an adjunction between two categories Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{C}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{D}} consists of two functors Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F : \mathcal{D} \to \mathcal{C}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G : \mathcal{C} \to \mathcal{D}} and two natural transformations Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \varepsilon &: FG \to 1_\mathcal{C} \\ \eta &: 1_\mathcal{D} \to GF\end{align}} respectively called the counit and the unit of the adjunction (terminology from universal algebra), such that the compositions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F\xrightarrow\overset{}{\;F\eta\;}FGF\xrightarrow\overset{}{\;\varepsilon F\,}F} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G\xrightarrow\overset{}{\;\eta G\;}GFG\xrightarrow\overset{}{\;G \varepsilon\,}G} are the identity morphisms Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_F} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_G} on $F$ and $G$ respectively.

In this situation we say that $F$ is left adjoint to $G$ and $G$ is right adjoint to $F$ , and may indicate this relationship by writing Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\varepsilon,\eta):F\dashv G} , or, simply Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F\dashv G} .

In equational form, the above conditions on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\varepsilon,\eta)} are the counit–unit equations Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} 1_F &= \varepsilon F\circ F\eta\\ 1_G &= G\varepsilon \circ \eta G \end{align}} which imply that for each Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X \in \mathcal{C}} and each Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y \in \mathcal{D},} Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} 1_{FY} &= \varepsilon_{FY}\circ F(\eta_Y) \\ 1_{GX} &= G(\varepsilon_X)\circ\eta_{GX}. \end{align}}

Note that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_{\mathcal C}} denotes the identify functor on the category Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal C} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_F} denotes the identity natural transformation from the functor $F$ to itself, and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_{FY}} denotes the identity morphism of the object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle FY} .

File:String diagram adjunction.svg

String diagram for adjunction.

These equations are useful in reducing proofs about adjoint functors to algebraic manipulations. They are sometimes called the triangle identities, or sometimes the zig-zag equations because of the appearance of the corresponding string diagrams. A way to remember them is to first write down the nonsensical equation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1=\varepsilon\circ\eta} and then fill in either $F$ or $G$ in one of the two simple ways that make the compositions defined.

Note: The use of the prefix "co" in counit here is not consistent with the terminology of limits and colimits, because a colimit satisfies an initial property whereas the counit morphisms satisfy terminal properties, and dually for limit versus unit. The term unit here is borrowed from the theory of monads, where it looks like the insertion of the identity $1$ into a monoid.

History

The idea of adjoint functors was introduced by Daniel Kan in 1958.^[5] Like many of the concepts in category theory, it was suggested by the needs of homological algebra, which was at the time devoted to computations. Those faced with giving tidy, systematic presentations of the subject would have noticed relations such as

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Hom}(FX, Y) = \text{Hom}(X, GY)}

in the category of abelian groups, where $F$ was the functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle - \otimes A} (i.e. take the tensor product with $A$ ), and $G$ was the functor $Hom(A,-)$ (this is now known as the tensor-hom adjunction). The use of the equals sign is an abuse of notation; those two groups are not really identical but there is a way of identifying them that is natural. It can be seen to be natural on the basis, firstly, that these are two alternative descriptions of the bilinear mappings from $X \times A$ to $Y$ . That is, however, something particular to the case of tensor product. In category theory the 'naturality' of the bijection is subsumed in the concept of a natural isomorphism.

Examples

Free groups

The construction of free groups is a common and illuminating example.

Let $F : Set \to Grp$ be the functor assigning to each set $Y$ the free group generated by the elements of $Y$ , and let $G : Grp \to Set$ be the forgetful functor, which assigns to each group $X$ its underlying set. Then $F$ is left adjoint to $G$ :

Initial morphisms.

For each set

Y

, the set

GFY

is just the underlying set of the free group

FY

generated by

Y

. Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_Y:Y\to GFY} be the set map given by "inclusion of generators". This is an initial morphism from

Y

to

G

, because any set map from

Y

to the underlying set

GW

of some group

W

will factor through Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_Y:Y\to GFY} via a unique group homomorphism from

FY

to

W

. This is precisely the universal property of the free group on

Y

.

Terminal morphisms.

For each group

X

, the group

FGX

is the free group generated freely by

GX

, the elements of

X

. Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon_X:FGX\to X} be the group homomorphism that sends the generators of

FGX

to the elements of

X

they correspond to, which exists by the universal property of free groups. Then each Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (GX,\varepsilon_X)} is a terminal morphism from

F

to

X

, because any group homomorphism from a free group

FZ

to

X

will factor through Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon_X:FGX\to X} via a unique set map from

Z

to

GX

. This means that

(F, G)

is an adjoint pair.

Hom-set adjunction.

Group homomorphisms from the free group

FY

to a group

X

correspond precisely to maps from the set

Y

to the set

GX

: each homomorphism from

FY

to

X

is fully determined by its action on generators, another restatement of the universal property of free groups. One can verify directly that this correspondence is a natural transformation, which means it is a hom-set adjunction for the pair

(F, G)

.

Counit–unit adjunction.

One can also verify directly that

ε

and

η

are natural. Then, a direct verification that they form a counit–unit adjunction Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\varepsilon,\eta):F\dashv G} is as follows:

The first counit–unit equation: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_F = \varepsilon F\circ F\eta} says that for each set $Y$ the composition Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle FY\xrightarrow\overset{}{\;F(\eta_Y)\;}FGFY\xrightarrow{\;\varepsilon_{FY}\,}FY} should be the identity. The intermediate group $FGFY$ is the free group generated freely by the words of the free group $FY$ . (Think of these words as placed in parentheses to indicate that they are independent generators.) The arrow Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(\eta_Y)} is the group homomorphism from $FY$ into $FGFY$ sending each generator $y$ of $FY$ to the corresponding word of length one ( $y$ ) as a generator of $FGFY$ . The arrow Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon_{FY}} is the group homomorphism from $FGFY$ to $FY$ sending each generator to the word of $FY$ it corresponds to (so this map is "dropping parentheses"). The composition of these maps is indeed the identity on $FY$ .
The second counit–unit equation: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_G = G\varepsilon \circ \eta G} says that for each group $X$ the composition Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle GX\xrightarrow{\;\eta_{GX}\;}GFGX\xrightarrow\overset{}{\;G(\varepsilon_X)\,}GX} should be the identity. The intermediate set $GFGX$ is just the underlying set of $FGX$ . The arrow Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_{GX}} is the "inclusion of generators" set map from the set $GX$ to the set $GFGX$ . The arrow Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G(\varepsilon_X)} is the set map from $GFGX$ to $GX$ , which underlies the group homomorphism sending each generator of $FGX$ to the element of $X$ it corresponds to ("dropping parentheses"). The composition of these maps is indeed the identity on $GX$ .

Free constructions and forgetful functors

Free objects are all examples of a left adjoint to a forgetful functor, which assigns to an algebraic object its underlying set. These algebraic free functors have generally the same description as in the detailed description of the free group situation above.

Diagonal functors and limits

Products, pullbacks, equalizers, and kernels are all examples of the categorical notion of a limit. Any limit functor is right adjoint to a corresponding diagonal functor (provided the category has the type of limits in question), and the counit of the adjunction provides the defining maps from the limit object (i.e. from the diagonal functor on the limit, in the functor category). Below are some specific examples.

Products. Let $Π : Grp 2 \to Grp$ be the functor that assigns to each pair $(X 1, X 2)$ the product group $X 1 \times X 2$ , and let $Δ : Grp \to Grp 2$ be the diagonal functor that assigns to every group $X$ the pair $(X, X)$ in the product category $Grp 2$ . The universal property of the product group shows that Π is right-adjoint to $Δ$ . The counit of this adjunction is the defining pair of projection maps from $X 1 \times X 2$ to $X 1$ and $X 2$ which define the limit, and the unit is the diagonal inclusion of a group X into $X \times X$ (mapping $x$ to $(x, x)$ ).
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. More generally, any type of limit is right adjoint to a diagonal functor.
Kernels. Consider the category D of homomorphisms of abelian groups. If $f 1 : A 1 \to B 1$ and $f 2 : A 2 \to 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 1 = f 2 g A$ . Let $G : D \to Ab$ be the functor which assigns to each homomorphism its kernel and let $F : Ab \to D$ be the functor which maps the group $A$ to the homomorphism $A \to 0$ . Then $G$ is right adjoint to $F$ , which expresses the universal property of kernels. The counit of this adjunction is the defining embedding of a homomorphism's kernel into the homomorphism's domain, and the unit is the morphism identifying a group $A$ with the kernel of the homomorphism $A \to 0$ .
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.

Colimits and diagonal functors

Coproducts, pushouts, coequalizers, and cokernels are all examples of the categorical notion of a colimit. Any colimit functor is left adjoint to a corresponding diagonal functor (provided the category has the type of colimits in question), and the unit of the adjunction provides the defining maps into the colimit object. Below are some specific examples.

Coproducts. If $F : Ab 2 \to Ab$ assigns to every pair $(X 1, X 2)$ of abelian groups their direct sum, and if $G : Ab \to Ab 2$ is the functor which assigns to every abelian group $Y$ the pair $(Y, Y)$ , then $F$ is left adjoint to $G$ , again a consequence of the universal property of direct sums. The unit of this adjoint pair is the defining pair of inclusion maps from $X 1$ and $X 2$ into the direct sum, and the counit is the additive map from the direct sum of $(X, X)$ to back to $X$ (sending an element $(a, b)$ of the direct sum to the element $a + b$ of $X$ ).
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.

Further examples

Algebra

Adjoining an identity to a rng. This example was discussed in the motivation section above. Given a rng $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 rng.
Adjoining an identity to a semigroup. Similarly, given a semigroup $S$ , we can add an identity element and obtain a monoid by taking the disjoint union Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S \sqcup \{1\}} and defining a binary operation on it such that it extends the operation on $S$ and $1$ is an identity element. This construction gives a functor that is a left adjoint to the functor taking a monoid to the underlying semigroup.
Ring extensions. Suppose $R$ and $S$ are rings, and $ρ : R \to 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 \to S - Mod$ . Then $F$ is left adjoint to the forgetful functor $G : S - Mod \to 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 \to Ab$ . The functor $G : Ab \to R - Mod$ , defined by $G (A) = hom Z (M, A)$ for every abelian group $A$ , is a right adjoint to $F$ .
From monoids and groups to rings. The integral 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 integral group ring construction yields a functor from groups 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$ .
Field of fractions. Consider the category $Dom m$ of integral domains with injective morphisms. The forgetful functor $Field \to Dom m$ from fields has a left adjoint—it assigns to every integral domain its field of fractions.
Polynomial rings. Let $Ring *$ be the category of pointed commutative rings with unity (pairs $(A,a)$ where $A$ is a ring, $a \in A$ and morphisms preserve the distinguished elements). The forgetful functor $G : Ring * \to Ring$ has a left adjoint – it assigns to every ring $R$ the pair $(R[x],x)$ where $R[x]$ is the polynomial ring with coefficients from $R$ .
Abelianization. Consider the inclusion functor $G : Ab \to Grp$ from the category of abelian groups to category of groups. It has a left adjoint called abelianization which assigns to every group $G$ the quotient group $G ab = G /[G, G]$ .
The Grothendieck group. 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. One may make an abelian group out of this monoid, the Grothendieck group, by formally adding 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.

Topology

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$ .
Suspensions and loop spaces. Given topological spaces $X$ and $Y$ , the space $[SX, Y]$ of homotopy classes of maps from the suspension $SX$ of $X$ to $Y$ is naturally isomorphic to the space $[X, Ω Y]$ of homotopy classes of maps from $X$ to the loop space $Ω Y$ of $Y$ . The suspension functor is therefore left adjoint to the loop space functor in the homotopy category, an important fact in homotopy theory.
Stone–Čech compactification. Let $KHaus$ be the category of compact Hausdorff spaces and $G : KHaus \to Top$ be the inclusion functor to the category of topological spaces. Then $G$ has a left adjoint $F : Top \to KHaus$ , the Stone–Čech compactification. The unit of this adjoint pair yields a continuous map from every topological space $X$ into its Stone–Čech compactification.
Direct and inverse images of sheaves. Every continuous map $f : X \to Y$ between topological spaces induces a functor $f *$ from the category of sheaves (of sets, or abelian groups, or rings, etc.) on $X$ to the corresponding category of sheaves on $Y$ , the direct image functor. It also induces a functor $f -1$ from the category of sheaves of abelian groups on $Y$ to the category of sheaves of abelian groups on $X$ , the inverse image functor. $f -1$ is left adjoint to $f *$ . Here a more subtle point is that the left adjoint for coherent sheaves will differ from that for sheaves (of sets).
Soberification. The article on Stone duality describes an adjunction between the category of topological spaces and the category of sober spaces that is known as soberification. Notably, the article also contains a detailed description of another adjunction that prepares the way for the famous duality of sober spaces and spatial locales, exploited in pointless topology.

Posets

Every partially ordered set can be viewed as a category (where the elements of the poset become the category's objects and we have a single morphism from $x$ to $y$ if and only if $x \leq y$ ). A pair of adjoint functors between two partially ordered sets is called a Galois connection (or, if it is contravariant, an antitone Galois connection). See that article for a number of examples: the case of Galois theory of course is a leading one. Any Galois connection gives rise to closure operators and to inverse order-preserving bijections between the corresponding closed elements.

As is the case for Galois groups, the real interest lies often in refining a correspondence to a duality (i.e. antitone order isomorphism). 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 monads (cf. the Kuratowski closure axioms)
a very general comment of William Lawvere^[6] is that syntax and semantics are adjoint: take $C$ to be the set of all logical theories (axiomatizations), and $D$ the power set of the set of all mathematical structures. For a theory $T$ in $C$ , let $G (T)$ be the set of all structures that satisfy the axioms $T$ ; for a set of mathematical structures $S$ , let $F (S)$ be the minimal axiomatization of $S$ . We can then say that $S$ is a subset of $G (T)$ if and only if $F (S)$ logically implies $T$ : the "semantics functor" $G$ is right adjoint to the "syntax functor" $F$ .
division is (in general) the attempt to invert multiplication, but in situations where this is not possible, we often attempt to construct an adjoint instead: the ideal quotient is adjoint to the multiplication by ring ideals, and the implication in propositional logic is adjoint to logical conjunction.

Category theory

Equivalences.: If $F : D \to C$ is an equivalence of categories, then we have an inverse equivalence $G : C \to D$ , and the two functors $F$ and $G$ form an adjoint pair. The unit and counit are natural isomorphisms in this case. If $η : id \to GF and ε : GF \to id are natural isomorphisms, then there exist unique natural isomorphisms ε' : GF \to id and η' : id \to GF$ for which $(η, ε')$ and $(η', ε)$ are counit–unit pairs for $F$ and $G$ ; they are Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \varepsilon'&=\varepsilon\circ(F\eta^{-1}G)\circ(FG\varepsilon^{-1})\\ \eta'&=(GF\eta^{-1})\circ(G\varepsilon^{-1}F)\circ\eta \end{align}}
A series of adjunctions.: The functor $π 0$ which assigns to a category its set of connected components is left-adjoint to the functor $D$ which assigns to a set the discrete category on that set. Moreover, $D$ is left adjoint to the object functor $U$ which assigns to each category its set of objects, and finally $U$ is left adjoint to $A$ which assigns to each set the indiscrete category^[7] on that set.
Exponential object.: In a cartesian closed category the endofunctor $C \to C$ given by $-\times A$ has a right adjoint $- A$ . This pair is often referred to as currying and uncurrying; in many special cases, they are also continuous and form a homeomorphism.

Categorical logic

Quantification.

If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \phi_Y} is a unary predicate expressing some property, then a sufficiently strong set theory may prove the existence of the set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y=\{y\mid\phi_Y(y)\}} of terms that fulfill the property. A proper subset Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T\subset Y} and the associated injection of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} into Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} is characterized by a predicate Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \phi_T(y)=\phi_Y(y)\land\varphi(y)} expressing a strictly more restrictive property.

The role of quantifiers in predicate logics is in forming propositions and also in expressing sophisticated predicates by closing formulas with possibly more variables. For example, consider a predicate Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \psi_f} with two open variables of sort Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} . Using a quantifier to close Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} , we can form the set

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{y\in Y\mid \exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}} of all elements Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} for which there is an Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} to which it is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \psi_f} -related, and which itself is characterized by the property Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \phi_{S}} . Set theoretic operations like the intersection Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cap} of two sets directly corresponds to the conjunction Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \land} of predicates. In categorical logic, a subfield of topos theory, quantifiers are identified with adjoints to the pullback functor. Such a realization can be seen in analogy to the discussion of propositional logic using set theory but the general definition make for a richer range of logics.

So consider an object Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} in a category with pullbacks. Any morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f:X\to Y} induces a functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{*} : \text{Sub}(Y) \longrightarrow \text{Sub}(X)} on the category that is the preorder of subobjects. It maps subobjects Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} (technically: monomorphism classes of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T\to Y} ) to the pullback Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X\times_Y T} . If this functor has a left- or right adjoint, they are called Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists_f} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall_f} , respectively.^[8] They both map from Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Sub}(X)} back to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \text{Sub}(Y)} . Very roughly, given a domain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S\subset X} to quantify a relation expressed via Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} over, the functor/quantifier closes Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X\times_Y T} and returns the thereby specified subset of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} .

Example: In Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{Set}} , the category of sets and functions, the canonical subobjects are the subset (or rather their canonical injections). The pullback Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{*}T=X\times_Y T} of an injection of a subset Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} into Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} along Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is characterized as the largest set which knows all about Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} and the injection of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} into Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} . It therefore turns out to be (in bijection with) the inverse image Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{-1}[T]\subseteq X} .

For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S \subseteq X} , let us figure out the left adjoint, which is defined via Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {\operatorname{Hom}}(\exists_f S,T) \cong {\operatorname{Hom}}(S,f^{*}T),} which here just means Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists_f S\subseteq T \leftrightarrow S\subseteq f^{-1}[T].}

Consider Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f[S] \subseteq T } . We see Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S\subseteq f^{-1}[f[S]]\subseteq f^{-1}[T]} . Conversely, If for an Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\in S} we also have Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\in f^{-1}[T]} , then clearly Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)\in T } . So Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S \subseteq f^{-1}[T] } implies Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f[S] \subseteq T } . We conclude that left adjoint to the inverse image functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{*}} is given by the direct image. Here is a characterization of this result, which matches more the logical interpretation: The image of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} under Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists_f } is the full set of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} 's, such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{-1} [\{y\}] \cap S} is non-empty. This works because it neglects exactly those Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y\in Y} which are in the complement of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f[S]} . So Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists_f S = \{ y \in Y \mid \exists (x \in f^{-1}[\{y\}]).\, x \in S \; \} = f[S]. } Put this in analogy to our motivation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{y\in Y\mid\exists x.\,\psi_f(x,y)\land\phi_{S}(x)\}} .

The right adjoint to the inverse image functor is given (without doing the computation here) by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall_f S = \{ y \in Y \mid \forall (x \in f^{-1} [\{y\}]).\, x \in S \; \}. }

The subset Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall_f S} of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} is characterized as the full set of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} 's with the property that the inverse image of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{y\}} with respect to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} is fully contained within Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} . Note how the predicate determining the set is the same as above, except that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \exists} is replaced by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall} .

Probability

The twin fact in probability can be understood as an adjunction: that expectation commutes with affine transform, and that the expectation is in some sense the best solution to the problem of finding a real-valued approximation to a distribution on the real numbers.

Define a category based on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \R} , with objects being the real numbers, and the morphisms being "affine functions evaluated at a point". That is, for any affine function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = ax + b} and any real number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} , define a morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (r, f): r \to f(r)} .

Define a category based on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M(\R)} , the set of probability distribution on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \R} with finite expectation. Define morphisms on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M(\R)} as "affine functions evaluated at a distribution". That is, for any affine function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = ax + b} and any Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu\in M(\R)} , define a morphism Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\mu, f): \mu \to \mu\circ f^{-1}} .

Then, the Dirac delta measure defines a functor: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \delta: x\mapsto \delta_x} , and the expectation defines another functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb E: \mu \mapsto \mathbb E[\mu]} , and they are adjoint: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb E \dashv \delta} . (Somewhat disconcertingly, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb E} is the left adjoint, even though Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb E} is "forgetful" and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \delta} is "free".)

Adjunctions in full

There are hence numerous functors and natural transformations associated with every adjunction, and only a small portion is sufficient to determine the rest.

An adjunction between categories $C$ and $D$ consists of

A functor $F : D \to C$ called the left adjoint
A functor $G : C \to D$ called the right adjoint
A natural isomorphism $Φ : hom C (F -,-) \to hom D (-, G -)$
A natural transformation $ε : FG \to 1 C$ called the counit
A natural transformation $η : 1 D \to GF$ called the unit

An equivalent formulation, where $X$ denotes any object of $C$ and $Y$ denotes any object of $D$ , is as follows:

For every

C

-morphism

f : FY \to X

, there is a unique

D

-morphism

Φ Y, X (f) = g : Y \to GX

, and for every

D

-morphism

g : Y \to GX

, there is a unique

C

-morphism

Φ -1 Y, X (g) = f : FY \to X

in

C

, such that the diagrams below commute:

File:Adjoint functors sym.svg

From this assertion, one can recover that:

The transformations $ε$ , $η$ , and $Φ$ are related by the equations Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} f = \Phi_{Y,X}^{-1}(g) &= \varepsilon_X\circ F(g) & \in & \, \, \mathrm{hom}_C(F(Y),X)\\ g = \Phi_{Y,X}(f) &= G(f)\circ \eta_Y & \in & \, \, \mathrm{hom}_D(Y,G(X))\\ \Phi_{GX,X}^{-1}(1_{GX}) &= \varepsilon_X & \in & \, \, \mathrm{hom}_C(FG(X),X)\\ \Phi_{Y,FY}(1_{FY}) &= \eta_Y & \in & \, \, \mathrm{hom}_D(Y,GF(Y))\\ \end{align} }
The transformations $ε$ , $η$ satisfy the counit–unit equations Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} 1_{FY} &= \varepsilon_{FY} \circ F(\eta_Y)\\ 1_{GX} &= G(\varepsilon_X) \circ \eta_{GX} \end{align}}
Each pair $(GX, ε X)$ is a terminal morphism from $F$ to $X$ in $C$
Each pair $(FY, η Y)$ is an initial morphism from $Y$ to $G$ in $D$

In particular, the equations above allow one to define $Φ$ , $ε$ , and $η$ in terms of any one of the three. However, the adjoint functors $F$ and $G$ alone are in general not sufficient to determine the adjunction. The equivalence of these situations is demonstrated below.

Universal morphisms induce hom-set adjunction

Given a right adjoint functor $G : C \to D$ , in the sense of initial morphisms, one may construct the induced hom-set adjunction by doing the following steps.

Construct a functor Template:Itco : D → C and a natural transformation η.
- For each object $Y$ in $D$ , choose an initial morphism ( $Template:Itco (Y), η Y$ ) from $Y$ to $G$ , so that $η Y : Y \to G (Template:Itco (Y))$ . We have the map of Template:Itco on objects and the family of morphisms $η$ .
- For each $Template:Itco : Y 0 \to Y 1$ , as $(Template:Itco (Y 0), η Y 0)$ is an initial morphism, then factorize $η Y 1 \circ Template:Itco$ with $η Y 0$ and get $Template:Itco (Template:Itco) : Template:Itco (Y 0) \to Template:Itco (Y 1)$ . This is the map of Template:Itco on morphisms.
- The commuting diagram of that factorization implies the commuting diagram of natural transformations, so $η : 1 D \to G \circ Template:Itco$ is a natural transformation.
- Uniqueness of that factorization and that $G$ is a functor implies that the map of Template:Itco on morphisms preserves compositions and identities.
Construct a natural isomorphism Φ : hom_C(Template:Itco−,−) → hom_D(−,G−).
- For each object $X$ in $C$ , each object $Y$ in $D$ , as $(Template:Itco (Y), η Y)$ is an initial morphism, then $Φ Y, X$ is a bijection, where $Φ Y, X (Template:Itco : Template:Itco (Y) \to X) = G (Template:Itco) \circ η Y$ .
- $η$ is a natural transformation, $G$ is a functor, then for any objects $X 0, X 1$ in $C$ , any objects $Y 0, Y 1$ in D}}, any $x : X 0 \to X 1$ , any $y : Y 1 \to Y 0$ , we have $Φ Y 1, X 1 (x \circ Template:Itco \circ Template:Itco (y)) = G(x) \circ G (Template:Itco) \circ G (Template:Itco (y)) \circ η Y 1 = G (x) \circ G (Template:Itco) \circ η Y 0 \circ y = G (x) \circ Φ Y 0, X 0 (\circ) \circ y$ , and then $Φ$ is natural in both arguments.

A similar argument allows one to construct a hom-set adjunction from the terminal morphisms to a left adjoint functor. (The construction that starts with a right adjoint is slightly more common, since the right adjoint in many adjoint pairs is a trivially defined inclusion or forgetful functor.)

counit–unit adjunction induces hom-set adjunction

Given functors $F : D \to C, G : C \to D$ , and a counit–unit adjunction $(ε, η) : F ⊣ G$ , we can construct a hom-set adjunction by finding the natural transformation $Φ : hom C (F -,-) \to hom D (-, G -)$ in the following steps:

For each $f : FY \to X$ and each $g : Y \to GX$ , defineFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\ \Psi_{Y,X}(g) = \varepsilon_X\circ F(g)\end{align}} The transformations Φ and Ψ are natural because η and ε are natural.
Using, in order, that $F$ is a functor, that $ε$ is natural, and the counit–unit equation $1 FY = ε FY \circ F (η Y)$ , we obtainFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \Psi\Phi f &= \varepsilon_X\circ FG(f)\circ F(\eta_Y) \\ &= f\circ \varepsilon_{FY}\circ F(\eta_Y) \\ &= f\circ 1_{FY} = f\end{align}} hence ΨΦ is the identity transformation.
Dually, using that $G$ is a functor, that $η$ is natural, and the counit–unit equation $1 GX = G (ε X) \circ η GX$ , we obtainFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \Phi\Psi g &= G(\varepsilon_X)\circ GF(g)\circ\eta_Y \\ &= G(\varepsilon_X)\circ\eta_{GX}\circ g \\ &= 1_{GX}\circ g = g\end{align}} hence $ΦΨ$ is the identity transformation. Thus $Φ$ is a natural isomorphism with inverse $Φ -1 = Ψ$ .

Hom-set adjunction induces all of the above

Given functors $F : D \to C, G : C \to D$ , and a hom-set adjunction $Φ : hom C (F -,-) \to hom D (-, G -)$ , one can construct a counit–unit adjunction

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\varepsilon,\eta):F\dashv G,}

which defines families of initial and terminal morphisms, in the following steps:

Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon_X=\Phi_{GX,X}^{-1}(1_{GX})\in\mathrm{hom}_C(FGX,X)} for each $X$ in $C$ , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_{GX}\in\mathrm{hom}_D(GX,GX)} is the identity morphism.
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_Y=\Phi_{Y,FY}(1_{FY})\in\mathrm{hom}_D(Y,GFY)} for each $Y$ in $D$ , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_{FY}\in\mathrm{hom}_C(FY,FY)} is the identity morphism.
The bijectivity and naturality of $Φ$ imply that each $(GX, ε X)$ is a terminal morphism from $F$ to $X$ in $C$ , and each $(FY, η Y)$ is an initial morphism from $Y$ to $G$ in $D$ .
The naturality of $Φ$ implies the naturality of $ε$ and $η$ , and the two formulasFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\ \Phi_{Y,X}^{-1}(g) = \varepsilon_X\circ F(g)\end{align}} for each $Template:Itco : FY \to X$ and $Template:Itco : Y \to GX$ (which completely determine $Φ$ ).
Substituting $FY$ for $X$ and $η Y = Φ Y, FY (1 FY)$ for $g$ in the second formula gives the first counit–unit equationFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_{FY} = \varepsilon_{FY}\circ F(\eta_Y),} and substituting $GX$ for $Y$ and ε_X = Φ⁻¹_{GX, X}(1_GX)}} for $f$ in the first formula gives the second counit–unit equationFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1_{GX} = G(\varepsilon_X)\circ\eta_{GX}.}

Properties

Existence

Not every functor $G : C \to D$ admits a left adjoint. If $C$ is a complete category, then the functors with left adjoints can be characterized by the adjoint functor theorem of Peter J. Freyd: $G$ has a left adjoint if and only if it is continuous and a certain smallness condition is satisfied: for every object $Y$ of $D$ there exists a family of morphisms

f i : Y \to G (X i)

where the indices $i$ come from a set $I$ , not a proper class, such that every morphism

h : Y \to G (X)

can be written as

h = G(t) Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \circ} fi

for some $i$ in $I$ and some morphism

t : X i \to X \in C .

An analogous statement characterizes those functors with a right adjoint.

An important special case is that of locally presentable categories. If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F : C \to D} is a functor between locally presentable categories, then

$F$ has a right adjoint if and only if $F$ preserves small colimits
$F$ has a left adjoint if and only if $F$ preserves small limits and is an accessible functor

Uniqueness

If the functor $F : D \to C$ has two right adjoints $G$ and $Template:Prime$ , then $G$ and $Template:Prime$ are naturally isomorphic. The same is true for left adjoints.

Conversely, if $F$ is left adjoint to $G$ , and $G$ is naturally isomorphic to $Template:Prime$ then $F$ is also left adjoint to $Template:Prime$ . More generally, if $⟨ F, G, ε, η⟩$ is an adjunction (with counit–unit $(ε, η)$ ) and {{block indent| $σ : F \to Template:Prime$ {{block indent| $τ : G \to Template:Prime$ are natural isomorphisms then $⟨ Template:Prime, Template:Prime, Template:Prime, Template:Prime ⟩$ is an adjunction where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \eta' &= (\tau\ast\sigma)\circ\eta \\ \varepsilon' &= \varepsilon\circ(\sigma^{-1}\ast\tau^{-1}). \end{align}} Here Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \circ} denotes vertical composition of natural transformations, and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ast} denotes horizontal composition.

Composition

Adjunctions can be composed in a natural fashion. Specifically, if $⟨ F, G, ε, η ⟩$ is an adjunction between C and D and $⟨ Template:Prime, Template:Prime, Template:Prime, Template:Prime ⟩$ is an adjunction between $D$ and $E$ then the functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F \circ F' : E \rightarrow C} is left adjoint to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle G' \circ G : C \to E.} More precisely, there is an adjunction between $F Template:Prime$ and $Template:Prime G$ with unit and counit given respectively by the compositions: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} &1_{\mathcal E} \xrightarrow{\eta'} G' F' \xrightarrow{G' \eta F'} G' G F F' \\ &F F' G' G \xrightarrow{F \varepsilon' G} F G \xrightarrow{\varepsilon} 1_{\mathcal C}. \end{align}} This new adjunction is called the composition of the two given adjunctions.

Since there is also a natural way to define an identity adjunction between a category $C$ and itself, one can then form a category whose objects are all small categories and whose morphisms are adjunctions.

Limit preservation

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).

Since many common constructions in mathematics are limits or colimits, this provides a wealth of information. For example:

applying a right adjoint functor to a product of objects yields the product of the images;
applying a left adjoint functor to a coproduct of objects yields the coproduct of the images;
every right adjoint functor between two abelian categories is left exact;
every left adjoint functor between two abelian categories is right exact.

Additivity

If $C$ and $D$ are preadditive categories and $F : D \to C$ is an additive functor with a right adjoint $G : C \to D$ , then $G$ is also an additive functor and the hom-set bijections

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi_{Y,X} : \mathrm{hom}_{\mathcal C}(FY,X) \cong \mathrm{hom}_{\mathcal D}(Y,GX)} are, in fact, isomorphisms of abelian groups. Dually, if G is additive with a left adjoint F, then F is also additive.

Moreover, if both $C$ and $D$ are additive categories (i.e. preadditive categories with all finite biproducts), then any pair of adjoint functors between them are automatically additive.

Relationships

Universal constructions

As stated earlier, an adjunction between categories $C$ and $D$ gives rise to a family of universal morphisms, one for each object in $C$ and one for each object in $D$ . Conversely, if there exists a universal morphism to a functor $G : C \to D$ from every object of $D$ , then $G$ has a left adjoint.

However, universal constructions are more general than adjoint functors: 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$ (equivalently, every object of $C$ ).

Equivalences of categories

If a functor $F : D \to C$ is one half of an equivalence of categories then it is the left adjoint in an adjoint equivalence of categories, i.e. an adjunction whose unit and counit are isomorphisms.

Every adjunction $⟨ F, G, ε, η ⟩$ extends an equivalence of certain subcategories. Define $C 1$ as the full subcategory of $C$ consisting of those objects $X$ of $C$ for which $ε X$ is an isomorphism, and define $D 1$ as the full subcategory of $D$ consisting of those objects $Y$ of $D$ for which $η Y$ is an isomorphism. Then $F$ and $G$ can be restricted to $D 1$ and $C 1$ and yield inverse equivalences of these subcategories.

In a sense, then, adjoints are "generalized" inverses. Note however that a right inverse of $F$ (i.e. a functor $G$ such that $FG$ is naturally isomorphic to $1 D)$ need not be a right (or left) adjoint of $F$ . Adjoints generalize two-sided inverses.

Monads

Every adjunction $⟨ F, G, ε, η ⟩$ gives rise to an associated monad $⟨ T, η, μ ⟩$ in the category $D$ . The functor Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T : \mathcal{D} \to \mathcal{D}} is given by $T = GF$ . The unit of the monad Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta : 1_{\mathcal{D}} \to T} is just the unit $η$ of the adjunction and the multiplication transformation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu : T^2 \to T\,} is given by $μ = GεF$ . Dually, the triple $⟨ FG, ε, FηG ⟩$ defines a comonad in $C$ .

Every monad arises from some adjunction—in fact, typically from many adjunctions—in the above fashion. Two constructions, called the category of Eilenberg–Moore algebras and the Kleisli category are two extremal solutions to the problem of constructing an adjunction that gives rise to a given monad.

Notes

↑ ^1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 ^1.6 Leinster, Tom (2025-08-26). "2 Adjoints". Basic Category Theory. arXiv:1612.09375. Retrieved 2025-09-02.
↑ Leinster, Tom (2025-08-26), "Remark 2.2.8", Basic Category Theory, arXiv:1612.09375, retrieved 2025-09-02
↑ ^3.0 ^3.1 ^3.2 ^3.3 Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). Springer. pp. 80–82. ISBN 0-387-98403-8. Zbl 0906.18001.
↑ Baez, John C. (1996). "Higher-Dimensional Algebra II: 2-Hilbert Spaces". arXiv:q-alg/9609018.
↑ Kan, Daniel M. (1958). "Adjoint Functors" (PDF). Transactions of the American Mathematical Society. 87 (2): 294–329. doi:10.2307/1993102. JSTOR 1993102.
↑ Lawvere, F. William, "Adjointness in foundations", Dialectica, 1969. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.
↑ "Indiscrete category". nLab.
↑ Mac Lane, Saunders; Moerdijk, Ieke (1992) Sheaves in Geometry and Logic, Springer. ISBN 0-387-97710-4. p. 58

References

Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990). Abstract and Concrete Categories. The joy of cats (PDF). John Wiley & Sons. ISBN 0-471-60922-6. Zbl 0695.18001.
Borceux, Francis (1994). [[[:Template:Google books]] Handbook of Categorical Algebra: Basic category theory] Check |url= value (help). Cambridge University Press. ISBN 978-0-521-44178-0.
Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001.

External links

Adjunctions playlist on YouTube – seven short lectures on adjunctions by Eugenia Cheng of The Catsters
WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, morphisms, categories, functors, natural transformations, universal properties.

Template:Category theory

[:0-1] 1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 ^1.6 Leinster, Tom (2025-08-26). "2 Adjoints". Basic Category Theory. arXiv:1612.09375. Retrieved 2025-09-02.

[2] Leinster, Tom (2025-08-26), "Remark 2.2.8", Basic Category Theory, arXiv:1612.09375, retrieved 2025-09-02

[:1-3] 3.0 ^3.1 ^3.2 ^3.3 Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). Springer. pp. 80–82. ISBN 0-387-98403-8. Zbl 0906.18001.

[4] Baez, John C. (1996). "Higher-Dimensional Algebra II: 2-Hilbert Spaces". arXiv:q-alg/9609018.

[5] Kan, Daniel M. (1958). "Adjoint Functors" (PDF). Transactions of the American Mathematical Society. 87 (2): 294–329. doi:10.2307/1993102. JSTOR 1993102.

[6] Lawvere, F. William, "Adjointness in foundations", Dialectica, 1969. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.

[7] "Indiscrete category". nLab.

[8] Mac Lane, Saunders; Moerdijk, Ieke (1992) Sheaves in Geometry and Logic, Springer. ISBN 0-387-97710-4. p. 58

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

Adjoint functors

Terminology and notation

Introduction and motivation

Solutions to optimization problems

Symmetry of optimization problems

Formal definitions

Conventions

Definition via universal morphisms

Definition via hom-sets

Definition via counit–unit

History

Examples

Free groups

Free constructions and forgetful functors

Diagonal functors and limits

Colimits and diagonal functors

Further examples

Algebra

Topology

Posets

Category theory

Categorical logic

Probability

Adjunctions in full

Universal morphisms induce hom-set adjunction

counit–unit adjunction induces hom-set adjunction

Hom-set adjunction induces all of the above

Properties

Existence

Uniqueness

Composition

Limit preservation

Additivity

Relationships

Universal constructions

Equivalences of categories

Monads

Notes

References

External links

Navigation menu

Search