The Stacks project

Proof. Let $Y \to X$ be a morphism of schemes. We have to show that the base changes $g_ i : Y_ i \to Y$ form an effective epimorphism. To do this, assume given a scheme $T$ and morphisms $h_ i : Y_ i \to T$ with $h_ i \circ \text{pr}_1 = h_ j \circ \text{pr}_2$ on $Y_ i \times _ Y Y_ j$. Choose an affine open covering $Y = \bigcup V_\alpha $. Set $V_{\alpha , i}$ equal to the inverse image of $V_\alpha $ in $Y_ i$. Then we see that $V_{\alpha , i} \to V_\alpha $ is the base change of $f_ i$ by $V_\alpha \to X$. Thus by assumption the family of restrictions $h_ i|_{V_{\alpha , i}}$ come from a morphism of schemes $h_\alpha : V_\alpha \to T$. We leave it to the reader to show that these agree on overlaps and define the desired morphism $Y \to T$. See discussion in Schemes, Section 26.14. $\square$