0
$\begingroup$

Let $F: \mathcal{C} \rightarrow \mathcal{D}$ be left adjoint to $G: \mathcal{D} \rightarrow \mathcal{C}$. Consider the unit $\eta$ and counit $\varepsilon$ of this adjunction.

Is it true that $GFG \varepsilon_B \circ \eta_{GFGB} = 1_{GFGB}$?

There is a split co-equaliser diagram in my notes, but I suspect that a couple of the arrows might be the wrong way round - the above morphism is equal to $\eta_{GB} \circ G\varepsilon_B$, which is backwards from the $\Delta$ identities. Any help would be appreciated.

  • 0
    [See this answer](http://meta.math.stackexchange.com/a/9401/79365) regarding commutative diagrams on this site.... Also, what is to be done with this question, are you still looking for an answer?2013-06-15

0 Answers 0