Lemma 22.31.2. In the situation above, the right derived functor of $F$ exists. We denote it $R\mathop{\mathrm{Hom}}\nolimits (N, -) : D(B, \text{d}) \to D(A, \text{d})$.
Proof. We will use Derived Categories, Lemma 13.14.15 to prove this. As our collection $\mathcal{I}$ of objects we will use the objects with property (I). Property (1) was shown in Lemma 22.21.4. Property (2) holds because if $s : I \to I'$ is a quasi-isomorphism of modules with property (I), then $s$ is a homotopy equivalence by Lemma 22.22.3. $\square$
Comments (0)