Lemma 36.9.3. In Situation 36.9.1. Let $M^\bullet$ be a complex of $A$-modules and denote $\mathcal{F}^\bullet$ the associated complex of $\mathcal{O}_ X$-modules. Then there is a canonical isomorphism of complexes

$\mathop{\mathrm{colim}}\nolimits _ e \text{Tot}(\mathop{\mathrm{Hom}}\nolimits _ A(I^\bullet (f_1^ e, \ldots , f_ r^ e), M^\bullet )) \longrightarrow \text{Tot}(\check{\mathcal{C}}_{alt}^\bullet (\mathcal{U}, \mathcal{F}^\bullet ))$

functorial in $M^\bullet$.

Proof. Immediate from Lemma 36.9.2 and our conventions for taking associated total complexes. $\square$

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).