Lemma 64.16.4. Let $\mathit{Sch}_{fppf}$ be a big fppf site. Let $S \to S'$ be a morphism of this site. Let $F'$ be a sheaf on $(\mathit{Sch}/S')_{fppf}$. The following are equivalent:

The restriction $F'|_{(\mathit{Sch}/S)_{fppf}}$ is an algebraic space over $S$, and

the sheaf $h_ S \times F'$ is an algebraic space over $S'$.

## Comments (0)