Lemma 85.21.3. Let $\mathcal{C}$ be a site with fibre products 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. Then we have a canonical isomorphism

for $E \in D(\mathcal{C}/X)$.

## Comments (0)