Lemma 13.30.3. Let $F : \mathcal{A} \to \mathcal{B}$ and $G : \mathcal{B} \to \mathcal{A}$ be functors of abelian categories such that $F$ is a right adjoint to $G$. If the derived functors $RF : D(\mathcal{A}) \to D(\mathcal{B})$ and $LG : D(\mathcal{B}) \to D(\mathcal{A})$ exist, then $RF$ is a right adjoint to $LG$.
Proof. Immediate from Lemma 13.30.2. $\square$
Comments (0)