The Stacks project

Proof. The statement makes sense as the functor $j : (\mathit{Sch}/S)_{fppf} \to (\mathit{Sch}/S')_{fppf}$ is the localization functor associated to the object $S/S'$ of $(\mathit{Sch}/S')_{fppf}$. By Stacks, Lemma 8.13.2 the only thing to show is that the constructions A and B preserve the subcategories of algebraic stacks. For example, if $\mathcal{X} = [U/R]$ then construction A applied to $\mathcal{X}$ just produces $\mathcal{X}' = \mathcal{X}$. Conversely, if $\mathcal{X}' = [U'/R']$ the morphism $p$ induces morphisms of algebraic spaces $U' \to S$ and $R' \to S$, and then $\mathcal{X} = [U'/R']$ but now viewed as a stack over $S$. Hence the lemma is clear. $\square$