Lemma 93.14.3. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $\mathcal{X}, \mathcal{Y}, \mathcal{Z}$ be algebraic stacks over $S$. Let $f : \mathcal{X} \to \mathcal{Z}$, $g : \mathcal{Y} \to \mathcal{Z}$ be $1$-morphisms of algebraic stacks. Then the $2$-fibre product $\mathcal{X} \times _{f, \mathcal{Z}, g} \mathcal{Y}$ is an algebraic stack. It is also the $2$-fibre product in the $2$-category of algebraic stacks over $(\mathit{Sch}/S)_{fppf}$.

Proof. The fact that $\mathcal{X} \times _{f, \mathcal{Z}, g} \mathcal{Y}$ is an algebraic stack follows from the stronger Lemma 93.14.2. The fact that $\mathcal{X} \times _{f, \mathcal{Z}, g} \mathcal{Y}$ is a $2$-fibre product in the $2$-category of algebraic stacks over $S$ follows formally from the fact that the $2$-category of algebraic stacks over $S$ is a full sub $2$-category of the $2$-category of stacks in groupoids over $(\mathit{Sch}/S)_{fppf}$. $\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).