The Stacks project

Proof. Omitted. Hint: Suppose that $x' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}'_ U)$. By the result of Lemma 8.8.1 there exists a covering $\{ U_ i \to U\} _{i \in I}$ such that $x'|_{U_ i} = G(x_ i)$ for some $x_ i \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}_{U_ i})$. Moreover, there exist coverings $\{ U_{ijk} \to U_ i \times _ U U_ j\}$ and isomorphisms $\alpha _{ijk} : x_ i|_{U_{ijk}} \to x_ j|_{U_{ijk}}$ with $G(\alpha _{ijk}) = \text{id}_{x'|_{U_{ijk}}}$. Set $y_ i = F(x_ i)$. Then you can check that

agree on overlaps and therefore (as $\mathcal{X}$ is a stack) define a morphism $\beta _{ij} : y_ i|_{U_ i \times _ U U_ j} \to y_ j|_{U_ i \times _ U U_ j}$. Next, you check that the $\beta _{ij}$ define a descent datum. Since $\mathcal{X}$ is a stack these descent data are effective and we find an object $y$ of $\mathcal{X}_ U$ agreeing with $G(x_ i)$ over $U_ i$. The hint is to set $H(x') = y$. $\square$