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.

Suppose $F:C\rightarrow D$ and that $F\dashv U$ is an adjunction and $C^{T}$ the Eilenberg–Moore category for the monad $T=U◦F$, with the corresponding functors $F^{T}:C\rightarrow C^{T}$ and $U^{T}:C^{T}\rightarrow C$.

I have been able to prove that there is a comparison functor $Φ : D →C^{T}$ which satisfies

(1) $U^{T}◦Φ= U$

and

(2) $Φ◦F = F^{T}$

I am having trouble with uniqueness.

Here is what I have so far: Suppose $Φ'$ satisfies (1) and (2).

Let $U\in D$. Then using (1) with $Φ'(D)=(C',\alpha )$, it follows that $U◦Φ'(D)=U(C',\alpha )=C'$ whereas $Φ(D)=(UD,U\varepsilon_{D})$ and so $U◦Φ(D)=U(UD,\varepsilon_{D})=UD$ which says $C'=UD$

Now I need to show that $\alpha=U\varepsilon_{D}$. This is where I'm stuck.

edit: Using the hint below, the fact that the adjunctions have the same unit imply, after using (1) and (2) that

\begin{matrix} \operatorname{Hom}(FC, D) & \xrightarrow{{\phi}} & \operatorname{Hom}(C, UD) \\ \left\downarrow\vphantom{\int}\right. & & \left\downarrow\vphantom{\int}\right.\\ \operatorname{Hom}(F^{T}C, Φ'(D))& \xrightarrow{\phi^{T}} & \operatorname{Hom}(C, U^{T}Φ'(D)) \end{matrix}

commutes.

($\phi$ and $\phi^{T}$ are the isomorphisms giving the adjunctions; the left downward arrow is the map $f\longmapstoΦ'(f)$ and the right downward arrow is the identity on the Hom$(C, UD)$.)

Then, setting $C=UD$ and following $id_{UD}$, you get that $Φ'\epsilon=\epsilon^T Φ'$, which is the hint. The rest follows easily.

share|improve this question
    
You can find a proof in Mac Lane's CWM. –  Martin Brandenburg Jun 4 at 8:34
    
Right. I know these results are well-known, but before looking up the worked-out proof, I want to try it for myself, with a hint or two. –  Chilango Jun 4 at 13:24
    
what does it mean $U\in D$ ? $U$ is a functor and $D$ is a category –  magma Jun 4 at 14:25

1 Answer 1

Just a hint....

First you should realize that

$$Φd=(Ud, h)$$

that is a T-algebra with underlying $Ud$, for any d in $D$. in order to obtain the structure h, observe that the 2 adjunctions have the same unit $\eta$, and deduce that $Φ\epsilon=\epsilon^T Φ$.

Then deduce that $\epsilon^TΦd=\epsilon^T(Ud, h)=h$ and so $Φ\epsilon=\epsilon^T Φ$ implies $U\epsilon_d=h$ so h is determined and $Φ$ is unique.

share|improve this answer
    
Once you pointed put that I needed to prove that $Φ\epsilon=\epsilon^T Φ$, I was able to do it. It was a diagram chase, following identities and using (1) and (2) above. This was very helpful thanks. Where I live I literally have no one to talk math with, thanks for taking the time. –  Chilango Jun 4 at 23:41
    
@Chilango you are welcome, my pleasure :-) –  magma Jun 5 at 5:44

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.