Lemma 8.7.1. Let $\mathcal{C}$ be a site. Let $p : \mathcal{S} \to \mathcal{C}$ and $p' : \mathcal{S}' \to \mathcal{C}$ be stacks over the site $\mathcal{C}$. Let $F : \mathcal{S} \to \mathcal{S}'$ be a $1$-morphism of stacks over $\mathcal{C}$.

The inertia $\mathcal{I}_{\mathcal{S}/\mathcal{S}'}$ and $\mathcal{I}_\mathcal {S}$ are stacks over $\mathcal{C}$.

If $\mathcal{S}, \mathcal{S}'$ are stacks in groupoids over $\mathcal{C}$, then so are $\mathcal{I}_{\mathcal{S}/\mathcal{S}'}$ and $\mathcal{I}_\mathcal {S}$.

If $\mathcal{S}, \mathcal{S}'$ are stacks in setoids over $\mathcal{C}$, then so are $\mathcal{I}_{\mathcal{S}/\mathcal{S}'}$ and $\mathcal{I}_\mathcal {S}$.

## Comments (0)

There are also: