Lemma 4.24.3. Let u be a left adjoint to v as in Definition 4.24.1.
If v \circ u is fully faithful, then u is fully faithful.
If u \circ v is fully faithful, then v is fully faithful.
Bhargav Bhatt, private communication.
Lemma 4.24.3. Let u be a left adjoint to v as in Definition 4.24.1.
If v \circ u is fully faithful, then u is fully faithful.
If u \circ v is fully faithful, then v is fully faithful.
Proof. Proof of (2). Assume u \circ v is fully faithful. Say we have X, Y in \mathcal{D}. Then the natural composite map
is a bijection, so v is at least faithful. To show full faithfulness, we must show that the second map above is injective. But the adjunction between u and v says that
is a bijection, where the first map is natural one and the second map comes from the counit u(v(Y)) \to Y of the adjunction. So this says that \mathop{\mathrm{Mor}}\nolimits (v(X), v(Y)) \to \mathop{\mathrm{Mor}}\nolimits (u(v(X)), u(v(Y))) is also injective, as wanted. The proof of (1) is dual to this. \square
Comments (0)