Lemma 21.17.3. Let (\mathcal{C}, \mathcal{O}) be a ringed site. Let \mathcal{K}^\bullet be a K-flat complex. Then the functor
K(\textit{Mod}(\mathcal{O})) \longrightarrow K(\textit{Mod}(\mathcal{O})), \quad \mathcal{F}^\bullet \longmapsto \text{Tot}(\mathcal{F}^\bullet \otimes _\mathcal {O} \mathcal{K}^\bullet )
transforms quasi-isomorphisms into quasi-isomorphisms.
Comments (0)