Definition 24.3.3. Let $\mathcal{C}$ be a site. Assume $\mathcal{C}$ has fibre products. Let $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ be an object of $\mathcal{C}$. A hypercovering of $X$ is a simplicial object $K$ of $\text{SR}(\mathcal{C}, X)$ such that

1. The object $K_0$ is a covering of $X$ for the site $\mathcal{C}$.

2. For every $n \geq 0$ the canonical morphism

$K_{n + 1} \longrightarrow (\text{cosk}_ n \text{sk}_ n K)_{n + 1}$

is a covering in the sense defined above.

There are also:

• 3 comment(s) on Section 24.3: Hypercoverings

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