There's a well known theorem due to Beck that characterizes when an adjunction is monadic, that is, if $F$ is left adjoint to $G$, $G:D \to C$, $GF:=T$ is always a monad on $C$, and the adjunction is called monadic, essentially, when $D$ is the Eilenberg–Moore category $C^T$ of $T$algebras and $G$ is the forgetful functor. (For the precise definition see http://ncatlab.org/nlab/show/monadic+adjunction). I was wondering if there was a similar characterization to determine when $D$ is the Kleisli category of FREE $T$algebras?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
There is a unique functor $\mathbf{Kl}(GF) \rightarrow \mathbf{D}$ commuting with the adjunctions from $\mathbf{C}$, since the Kleisli category is initial among adjunctions inducing the given monad; and this functor is always full and faithful, since $\mathbf{Kl}(GF)(A,B) \cong \mathbf{C}(A,GFB) \cong \mathbf{D}(FA,FB)$. So this functor will be an equivalence iff it is essentially surjective, and an isomorphism iff it is bijective on objects. But its object map is just the object map of $F$. So $\mathbf{Kl}(FG)$ is equivalent to $\mathbf{D}$ compatibly with the adjunctions from $\mathbf{C}$ precisely when $F$ is essentially surjective, and isomorphic just when $F$ is bijective on objects. 

