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)