Lemma 8.5.2. Let $\mathcal{C}$ be a site. Let $p : \mathcal{S} \to \mathcal{C}$ be a category over $\mathcal{C}$. The following are equivalent

$\mathcal{S}$ is a stack in groupoids over $\mathcal{C}$,

$\mathcal{S}$ is a stack over $\mathcal{C}$ and all fibre categories are groupoids, and

$\mathcal{S}$ is fibred in groupoids over $\mathcal{C}$ and is a stack over $\mathcal{C}$.

## Comments (0)