Contents

Statement

A detailed proof may be found in Sec. 4.5 of Vol. 2 of Borceux (see especially Theorem 4.5.6 on p. 226 and Ex. 4.8.6 on p. 252). Also (Johnstone, prop. 1.1.3) For a sketch of proof, see ahead.

Sketch of proof

We may assume the situation of the following diagram (with $VQ=RU$):

where $𝕋=⟨T,\epsilon :1_{𝒞}\Rightarrow T,\mu ⟩$ is a monad on $𝒞$, $𝕊=⟨S,\zeta :1_{𝒟}\Rightarrow S,\eta ⟩$ is a monad on $𝒟$, $U$ and $V$ are the forgetful functors, and $F$ and $G$ are the free algebra functors.

Let us write $\tau :FU\Rightarrow 1_{{𝒞}^{𝕋}}$ for the counit of the adjunction $F⊣U$ and $\sigma :GV\Rightarrow 1_{{𝒟}^{𝕊}}$ for the counit of the adjunction $G⊣V$. As usual, we have $T=UF$, $S=VG$, $\mu =U\tau F$, and $\eta =V\sigma G$.

Finally, let $L$ be a left adjoint to $R$ (which exists by assumption), and let $\alpha :1_{𝒟}\Rightarrow RL$ and $\beta :\mathrm{LR}\Rightarrow 1_{𝒞}$ be the unit and counit (respectively) of the adjunction $L⊣R$.

We would like to construct a functor $K:{𝒟}^{𝕊}\to {𝒞}^{𝕋}$. To get a hint of what $K$ should look like, let us assume for a moment that such a $K$ already exists. In this case, we have $KG⊣VQ(=RU)$. But $FL$ is also left adjoint to $RU$, and by the uniqueness of a left adjoint we must have $KG=FL$ (at least up to a natural isomorphism).

From this, we already know how to define $K$ on free algebras. Also, being a left adjoint, $K$ preserves in particular all coequalizers. But every $𝕊$-algebra $⟨D,\xi :\mathrm{SD}\to D⟩$ is the (object part) of a reflexive coequalizer, namely, the canonical presentation

Applying $K$ and using $\mathrm{KG}=\mathrm{FL}$, we see that $K⟨D,\xi ⟩$ should be the object part of a reflexive coequalizer in ${𝒞}^{𝕋}$ of the form

(recall that we assume that ${𝒞}^{𝕋}$ has coequalizers of reflexive pairs).

To eventually define $K⟨D,\xi ⟩$ as a coequalizer (as above), we first need some reasonable guess for the ?-arrow. For this, we will need a lemma.

We may now return to our task of defining the ?-arrow in the diagram preceding the lemma. We would like to get from $FLS(D)$ to $FL(D)$, and for this, we will construct a natural transformation $FLS\Rightarrow FL$ in the following way. First, we have

Applying $L$ and composing with $\beta TL$, we get

Applying $F$ and composing with $\tau FL$, we finally get

Let us call the resulting natural transformation $\omega$, that is,

Now we take the sought for ?-arrow to be ${\omega }_D$, and define $K⟨D,\xi ⟩$ as the object of some fixed coequalizer of ${\omega }_D$ and $FL\xi$:

In order to do this, we must first verify that the parallel arrows above have a common section (since we only assume that ${𝒞}^{𝕋}$ has coequalizers of reflexive pairs). To find a guess for a common section, note that the common section for the parallel pair in the above canonical presentation in ${𝒟}^{𝕊}$ is $G{\zeta }_{V⟨D,\xi ⟩}=G{\zeta }_D$, and if $K$ exists, then applying $K$ gives $KG{\zeta }_D=FL{\zeta }_D$. Having this guess, it is now straightforward to verify that $FL{\zeta }_D$ is indeed a common section, as required.

So, we have defined an object function of a would be left adjoint $K$. To make it into a functor left adjoint to $Q$, we will build a universal arrow from $⟨D,\xi ⟩$ to $Q$, whose object part is $K⟨D,\xi ⟩$ (Theorem IV.1.2(ii) of Categories Work).

To get an arrow $⟨D,\xi ⟩\to QK⟨D,\xi ⟩$ , suppose for a moment that we have a natural transformation $\phi :G\Rightarrow QFL$ such that $\phi \circ \sigma G=Q\omega \circ \phi S$. Then the left square in the following diagram commutes:

Since both rows are forks, it follows that $Qx\circ {\phi }_D$ has the same composition with the arrows of the upper
parallel pair, and hence there exists a unique arrow $\chi :⟨D,\xi ⟩\to QK⟨D,\xi ⟩$ making the right square commutative (recall that the upper row is a coequalizer).

It is now possible to prove that the pair $⟨K⟨D,\xi ⟩,\chi ⟩$ is a universal arrow from $⟨D,\xi ⟩$ to $Q$, showing that $K$ is indeed (the object function) of a left adjoint (for details, see the proof of Theorem 4.5.6, pp. 226-227 in Borceux).

But we still have to prove the existence of a natural transformation $\phi :G\Rightarrow QFL$ such that $\phi \circ \sigma G=Q\omega \circ \phi S$. For this, we define $\phi :=\sigma QFL\circ GR\epsilon L\circ G\alpha$. Since $V$ is faithful, to prove the required property of $\phi$, it is enough to prove that $V\phi \circ V\sigma G=VQ\omega \circ V\phi S$, and this is a long, yet straightforward, computation (noting that $V\phi =\lambda L\circ \mathrm{VG}\alpha$ and using the commutative diagram from Lemma 1; see Lemma 4.5.3, p. 224 of Borceux).

Examples

Forgetful functors between varieties of algebras

Since varieties of algebras are cocomplete and monadic over $\mathrm{Set}$, the corollary implies that forgetful functors between varieties of algebras (e.g., the forgetful functor $\mathrm{Rng}\to \mathrm{Ab}$) are monadic.

Sufficient conditions for cocompleteness of monadic categories

Let $𝒥$ be an arbitrary category, and consider the commutative diagram

where $U$ is monadic, $\Delta$ is the diagonal functor and $U^{𝒥}=U\circ -$. If $F$ is left adjoint
to $U$, then $F^{𝒥}$ is left adjoint to $U^{𝒥}$ (using the unit and counit of the original adjunction, one can construct appropriate natural transformations that satisfy the triangular identities, see, e.g., p. 119 of Categories Work). Also, the conditions of the monadicity theorem for $U$ imply those for $U^{𝒥}$ (basically because the definition of a split fork involves only compositions and identities, and because natural transformations are composed componentwise).

Now, if $𝒞$ is $𝒥$-cocomplete (so that the bottom horizontal functor has a left adjoint) and $𝒜$ has coequalizers of reflexive pairs, then the adjoint lifting theorem implies that $𝒜$ is $𝒥$-cocomplete. In particular, if $𝒜$ has coequalizers of reflexive pairs and $𝒞$ is small-cocomplete, then $𝒜$ is small cocomplete.

Related pages

• The adjoint lifting theorem is a corollary of the adjoint triangle theorem.

References

Section 4.5 of volume 2 of

• Francis Borceux, Handbook of Categorical Algebra , in 3 vols.

• Peter Johnstone, Adjoint lifting theorems for categories of algebras , Bull. London Math. Soc., 7 (1975), 294-297.

Section A1.1 of

• Peter Johnstone, Sketches of an Elephant