Lemma 8.6.7. Let $\mathcal{C}$ be a site. Let $\mathcal{S}, \mathcal{T}$ be stacks in groupoids over $\mathcal{C}$ and let $\mathcal{R}$ be a stack in setoids over $\mathcal{C}$. Let $f : \mathcal{T} \to \mathcal{S}$ and $g : \mathcal{R} \to \mathcal{S}$ be $1$-morphisms. If $f$ is faithful, then the $2$-fibre product

$\mathcal{T} \times _{f, \mathcal{S}, g} \mathcal{R}$

is a stack in setoids over $\mathcal{C}$.

Proof. Immediate from the explicit description of the $2$-fibre product in Categories, Lemma 4.32.3. $\square$

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