The Stacks project

Proof. It is clear that (2) implies (3). Parts (1) and (2) are equivalent by Lemma 94.12.4. Hence it suffices to prove (2). First, we note that $\mathcal{S}_ F$ is stack in sets since $F$ is a sheaf (Stacks, Lemma 8.6.3). A fortiori it is a stack in groupoids. Second the diagonal morphism $\mathcal{S}_ F \to \mathcal{S}_ F \times \mathcal{S}_ F$ is the same as the morphism $\mathcal{S}_ F \to \mathcal{S}_{F \times F}$ which comes from the diagonal of $F$. Hence this is representable by algebraic spaces according to Lemma 94.9.4. Actually it is even representable (by schemes), as the diagonal of an algebraic space is representable, but we do not need this. Let $U$ be a scheme and let $h_ U \to F$ be a surjective étale morphism. We may think of this as a surjective étale morphism of algebraic spaces. Hence by Lemma 94.10.3 the corresponding $1$-morphism $(\mathit{Sch}/U)_{fppf} \to \mathcal{S}_ F$ is surjective and étale. $\square$