Lemma 8.9.1. Let $\mathcal{C}$ be a site. Let $p : \mathcal{S} \to \mathcal{C}$ be a category fibred in groupoids over $\mathcal{C}$. There exists a stack in groupoids $p' : \mathcal{S}' \to \mathcal{C}$ and a $1$-morphism $G : \mathcal{S} \to \mathcal{S}'$ of categories fibred in groupoids over $\mathcal{C}$ (see Categories, Definition 4.35.6) such that

for every $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, and any $x, y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}_ U)$ the map

\[ \mathit{Mor}(x, y) \longrightarrow \mathit{Mor}(G(x), G(y)) \]induced by $G$ identifies the right hand side with the sheafification of the left hand side, and

for every $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, and any $x' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}'_ U)$ there exists a covering $\{ U_ i \to U\} _{i \in I}$ such that for every $i \in I$ the object $x'|_{U_ i}$ is in the essential image of the functor $G : \mathcal{S}_{U_ i} \to \mathcal{S}'_{U_ i}$.

Moreover the stack in groupoids $\mathcal{S}'$ is determined up to unique $2$-isomorphism by these conditions.

## Comments (0)