Lemma 21.34.3. Let (\mathcal{C}, \mathcal{O}) be a ringed site. Given complexes \mathcal{K}^\bullet , \mathcal{L}^\bullet , \mathcal{M}^\bullet of \mathcal{O}-modules there is a canonical morphism
\text{Tot}\left( \mathcal{K}^\bullet \otimes _\mathcal {O} \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\mathcal{M}^\bullet , \mathcal{L}^\bullet ) \right) \longrightarrow \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\mathcal{M}^\bullet , \text{Tot}(\mathcal{K}^\bullet \otimes _\mathcal {O} \mathcal{L}^\bullet ))
of complexes of \mathcal{O}-modules functorial in all three complexes.
Comments (0)
There are also: