Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm studying monadicity and comonadicity and I´m stuck with the following: Let $L\dashv R:X\rightarrow Y$ be an adjunction with unit $\eta$ and counit $\varepsilon$. The induced monad on $Y$ is $M=(RL,\eta,R\varepsilon L)$. Let $Y^{M}$ be the category of $M$-algebras and $F\dashv U:Y^{M}\rightarrow Y$ the free-forgetful adjunction.

Now let $C$ be the comonad on $X$ induced by $L\dashv R$ and $C'$ the comonad on $Y^{M}$ induced by $F\dashv U$. Let $X_{C}$ and $(Y^{M})_{C'}$ be the respective categories of coalgebras. Is it true that if $R$ is monadic then $X_{C}$ and $(Y^{M})_{C'}$ are equivalent? What I know so far is that the comparison functor $K:X\rightarrow Y^{M}$ induces, quite naturally, a functor $\overline{K}:X_{C}\rightarrow(Y^{M})_{C'}$ but I can´t get past this. I'll appreciate any help with this, thanks.

share|improve this question
1  
Have you looked at your favorite example of an adjunction? –  Martin Brandenburg Mar 14 '13 at 4:25
    
If $R$ is monadic then you may as well assume $X = Y^M$, but that does somewhat trivialise the question. So perhaps what you should do is show that $C$ and $C'$ are equivalent in a suitable sense. –  Zhen Lin Mar 14 '13 at 8:37
    
Hello user66685, welcome to Mathematics.SE . I would suggest you take a moment to think about a more personalized nickname than the automatic one you have been assigned –  magma Mar 14 '13 at 12:09
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.