Examples of functors which have both adjoints

Question

I'm familiar with a few examples of adjoint functor triples $F\dashv G\dashv H$:

• equivalences of categories
• left/right Kan extensions
• induction/coinduction from a ring homomorphism
• the forgetful functor from Top to Set

I'm curious if there are other simple examples I haven't heard about. Of the four listed, I actually find the last example most interesting, in both simplicity and that the two categories involved are actually very specific, rather than broad classes.

Answer 1

There is a simple example between the category of graphs $\mathbf{Gph}$ and the category of sets $\mathbf{Set}$, see this post. To summarise it: we have the forgetful functor $U: \mathbf{Gph} \to \mathbf{Set}$. It has a left adjoint $F: \mathbf{Set} \to \mathbf{Gph}$, which assigns to a set $X$ the graph $F(X)$ with vertex set $X$ and no edges. Then there is also $C: \mathbf{Gph} \to \mathbf{Set}$ that sends a graph to the set of its connected components. We have $C \dashv F \dashv U$.

Interestingly, we can add a fourth functor to this list. Consider $G: \mathbf{Set} \to \mathbf{Gph}$ that sends a set $X$ to the graph $G(X)$ with vertex set $X$ and edges between any two vertices (and on functions it does nothing). Then $U$ is left adjoint to $G$.

A similar example would be to consider the category of preorders and order-preserving maps $\mathbf{PreOrd}$. Then the forgetful functor $U: \mathbf{PreOrd} \to \mathbf{Set}$ has both a left and right adjoint. Similar to the graphs example the left adjoint adds no order relations to our set, while the right adjoint adds all order relations.

It is worth noting that this last example fails if we would consider the category of partial orders instead. In fact, the forgetful functor from partial orders to the category of sets has no right adjoint, see this post.

Answer 2

There is a series of adjunctions between several functors of interest between $\mathbf{Ab}$ and $\mathbf{Ab}^{\rightarrow}$, where the second is the category where an object is a homomorphism $X \to Y$ of abelian groups, and a morphism is a commutative square. From left to right, these functors are:

• $\operatorname{coker} : \mathbf{Ab}^{\rightarrow} \to \mathbf{Ab}$.
• $\mathbf{Ab} \to \mathbf{Ab}^{\rightarrow}, X \mapsto (0 \to X)$.
• $\operatorname{codom} : \mathbf{Ab}^{\rightarrow} \to \mathbf{Ab}, (X \to Y) \mapsto Y$.
• $\mathbf{Ab} \to \mathbf{Ab}^{\rightarrow}, X \mapsto (X \overset{\operatorname{id}_X}{\rightarrow} X)$.
• $\operatorname{dom} : \mathbf{Ab}^{\rightarrow} \to \mathbf{Ab}, (X \to Y) \mapsto X$.
• $\mathbf{Ab} \to \mathbf{Ab}^{\rightarrow}, X \mapsto (X \to 0)$.
• $\operatorname{ker} : \mathbf{Ab}^{\rightarrow} \to \mathbf{Ab}$.

Therefore, any element of this list other than the endpoints will be an answer to the original question.

(In fact, this will work for any abelian category in place of $\mathbf{Ab}$. And then, the symmetry of this list is related to the fact that the opposite category of an abelian category is also an abelian category, and the functor $X \mapsto \operatorname{id}_X$ is self-dual.)