Lemma 4.24.7 (0GLL)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Lemma 4.24.7. Let $u : \mathcal{C} \to \mathcal{D}$ be a left adjoint to the functor $v : \mathcal{D} \to \mathcal{C}$. Let $\eta _ X : X \to v(u(X))$ be the unit and $\epsilon _ Y : u(v(Y)) \to Y$ be the counit. Then

\[ u(X) \xrightarrow {u(\eta _ X)} u(v(u(X)) \xrightarrow {\epsilon _{u(X)}} u(X) \quad \text{and}\quad v(Y) \xrightarrow {\eta _{v(Y)}} v(u(v(Y))) \xrightarrow {v(\epsilon _ Y)} v(Y) \]

are the identity morphisms.

Proof. Omitted. $\square$

Comments (0)

There are also:

1 comment(s) on Section 4.24: Adjoint functors

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment