Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question

1 Answer 1

up vote 8 down vote accepted

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.

share|improve this answer
    
Thanks very much! –  David Carchedi May 27 '10 at 6:21
    
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? –  David Carchedi May 27 '10 at 6:28
    
Yep, I think so! More generally, $G$ will always be full and faithful on the essential image of $F$, and hence reflect isomorphisms there. –  Peter LeFanu Lumsdaine May 27 '10 at 15:34

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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