Lemma 8.6.8. Let $\mathcal{C}$ be a site. Let $\mathcal{S}$ be a stack in groupoids over $\mathcal{C}$ and let $\mathcal{S}_ i$, $i = 1, 2$ be stacks in setoids over $\mathcal{C}$. Let $f_ i : \mathcal{S}_ i \to \mathcal{S}$ be $1$-morphisms. Then the $2$-fibre product
is a stack in setoids over $\mathcal{C}$.
Comments (0)