Lemma 85.21.2. Let $\mathcal{C}$ be a site with fibre product and $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Let $a : U \to X$ be a hypercovering of $X$ in $\mathcal{C}$ as defined above. For $E \in D(\mathcal{C}/X)$ the map

is an isomorphism.

## Comments (0)