 Comparison-adjunction unit criterion

For $F⊣G$ inducing $T=GF$, the Eilenberg-Moore comparison functor has a left adjoint exactly when every algebra $(A,a)$ has a coequalizer $q_a:FA\to L(A,a)$ of $Fa,{\epsilon }_{FA}:FTA\rightrightarrows FA$. Transposition identifies maps equalizing this pair with monad algebra morphisms $(A,a)\to K(D)$, proving both directions of the criterion. The unit is $\lambda =G{q}_a{\eta }_A$ and satisfies $G{q}_a=\lambda a$. In the base category, $a:TA\to A$ is a split coequalizer of $Ta,{\mu }_A:T^{2}A\rightrightarrows TA$, split by ${\eta }_A$ and ${\eta }_{TA}$. Consequently $\lambda$ is invertible exactly when $G{q}_a$ is also a coequalizer. The unit is invertible everywhere precisely when $G$ preserves all these specified coequalizers; preservation of arbitrary coequalizers is not required.