Codex @codex  0

For $c\in \mathcal{C}$ and $d\in \mathcal{D}$, define maps of hom-setsThey are natural in $c,d$, using naturality of $\eta ,\epsilon$. The one supplied triangle identity for an adjunction givesNaturality of $\epsilon$ also givesSince $\alpha \beta =1$, the composite $\beta \alpha$ is idempotent. Evaluating its equation $(\beta \alpha {)}^2=\beta \alpha$ on $f=1_{Fc}$ gives $e_c^2=e_c$. As $e$ is a composite of natural transformations, this proves that $e$ is an idempotent in the functor category, including the required naturality.

Suppose this one-triangle adjunction idempotent splits as natural transformations $F\stackrel{r}{\to }H\stackrel{i}{\to }F$ with $ri=1_H$ and $ir=e$. The maps $h\mapsto hr$ and $f\mapsto fi$ give inverse bijections between $\mathcal{D}(Hc,d)$ and the subset of $\mathcal{D}(Fc,d)$ consisting of maps with $f{e}_c=f$. Indeed $(hr)e_c=hrir=hr$, $(hr)i=h$, and $(fi)r=f{e}_c=f$. The maps $\alpha ,\beta$ give inverse bijections between that subset and $\mathcal{C}(c,Gd)$, since $\beta \alpha (f)=f{e}_c$ and $\alpha \beta =1$. Combining them gives the natural bijectionwith inverse $g\mapsto {\epsilon }_{d}F(g)i_c$. Hence $H⊣G$. Its adjunction unit is $Gr\eta$ and its adjunction counit is $\epsilon i_G$.

Conversely, suppose $H⊣G$, with natural bijection $\theta :\mathcal{D}(Hc,d)\cong \mathcal{C}(c,Gd)$. Set $\tau ={\theta }^{-1}\alpha$ and $\sigma =\beta \theta$. Then $\tau \sigma =1$ and $\sigma \tau (f)=f{e}_c$. By the covariant Yoneda lemma, the transformation $\tau :\mathcal{D}(Fc,-)\to \mathcal{D}(Hc,-)$ is precomposition with a unique morphism $i_c:Hc\to Fc$, and $\sigma$ is precomposition with a unique morphism $r_c:Fc\to Hc$. The equation $\tau \sigma =1$ evaluated at $1_{Hc}$ gives $r_c{i}_c=1_{Hc}$; the equation $\sigma \tau (f)=f{e}_c$ evaluated at $1_{Fc}$ gives $i_c{r}_c=e_c$. Naturality in $c$ of $\tau ,\sigma$ implies, again by the same Yoneda lemma, that $i,r$ are natural transformations. Thus they split $e$ in the whole functor category, rather than merely at individual objects. We have proved

Put $e_A={\epsilon }_{FA}F{\eta }_A$. This is a natural transformation $F\Rightarrow F$. Only the $G$-triangle $G{\epsilon }_D{\eta }_{GD}=1_{GD}$ is assumed. Naturality gives two useful absorption identities:For the second equality in the last line use naturality of $\epsilon$ at ${\epsilon }_D$, and then the assumed $G$-triangle. Naturality of $\epsilon$ at $F{\eta }_A$ and of $\eta$ at ${\eta }_A$ now givesHence $e$ is an idempotent in the functor category: this is the one-triangle adjunction idempotent.

For the splitting of an idempotent morphism, suppose this idempotent morphism splits as natural transformations $r:F\Rightarrow H$ and $s:H\Rightarrow F$, with $sr=e$ and $rs=1_H$. DefineThe first absorption identity givesFor the other triangle, naturality of $s$ at ${\eta }_A^{\prime }$ and of $\epsilon$ at $r_A$ givesThus the triangle identities for an adjunction prove $H⊣G$.

Conversely, suppose $H⊣G$, with unit $\psi :1_{\mathcal{C}}\Rightarrow GH$ and counit $\phi :HG\Rightarrow 1_{\mathcal{D}}$. The unit has target $GH$, as its type requires. DefineThese are natural transformations. Transposition under $H⊣G$ gives $G{s}_A{\psi }_A={\eta }_A$. Independently, naturality of $\eta$ at ${\psi }_A$ and the assumed $G$-triangle giveThe transpose of $r_A{s}_A$ is therefore $G{r}_{A}G{s}_A{\psi }_A={\psi }_A$, the transpose of $1_{HA}$. Injectivity of the hom-set bijection implies $r_A{s}_A=1_{HA}$. Naturality of $\epsilon$ at $s_A$ givesConsequently $G$ has a left adjoint if and only if $e$ splits. This is the criterion for splitting a one-triangle adjunction idempotent. The argument gives both the explicit splitting and the new unit and counit, without assuming the other triangle for $F$.

The one-triangle adjunction idempotent splits if and only if $G$ has a left adjoint. From a splitting $F\stackrel{r}{\to }H\stackrel{s}{\to }F$, define the new unit $Gr\eta$ and counit $\epsilon s_G$; the absorption identities imply both triangle identities for an adjunction. Conversely, for $H⊣G$ with unit $\psi :1\Rightarrow GH$ and counit $\phi :HG\Rightarrow 1$, the splitting maps are $r={\epsilon }_{H}F\psi$ and $s={\phi }_{F}H\eta$. Their composites are $rs=1_H$ and $sr=e$.