15
$\begingroup$

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?

$\endgroup$

1 Answer 1

19
$\begingroup$

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.

$\endgroup$
2
  • 1
    $\begingroup$ So, I guess this implies that if $F$ is left adjoint to $G$ and $G$ does not reflect isos, then $F$ cannot be essentially surjective? $\endgroup$ May 27, 2010 at 6:28
  • $\begingroup$ Yep, I think so! More generally, $G$ will always be full and faithful on the essential image of $F$, and hence reflect isomorphisms there. $\endgroup$ May 27, 2010 at 15:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.