Lemma 21.33.1. 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 an isomorphism

$\mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\mathcal{K}^\bullet , \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\mathcal{L}^\bullet , \mathcal{M}^\bullet )) = \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet (\text{Tot}(\mathcal{K}^\bullet \otimes _\mathcal {O} \mathcal{L}^\bullet ), \mathcal{M}^\bullet )$

of complexes of $\mathcal{O}$-modules functorial in $\mathcal{K}^\bullet , \mathcal{L}^\bullet , \mathcal{M}^\bullet$.

Proof. Omitted. Hint: This is proved in exactly the same way as More on Algebra, Lemma 15.70.1. $\square$

There are also:

• 2 comment(s) on Section 21.33: Hom complexes

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).