Lemma 21.35.4. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. The bifunctor $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (- , -)$ transforms distinguished triangles into distinguished triangles in both variables.
Proof. This follows from the observation that the assignment
\[ (\mathcal{L}^\bullet , \mathcal{M}^\bullet ) \longmapsto \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\mathcal{L}^\bullet , \mathcal{M}^\bullet ) \]
transforms a termwise split short exact sequences of complexes in either variable into a termwise split short exact sequence. Details omitted. $\square$
Comments (0)
There are also: