Definition 73.7.6. Let $S$ be a scheme. A big fppf site *$(\textit{Spaces}/S)_{fppf}$* is any site constructed as follows:

Choose a big fppf site $(\mathit{Sch}/S)_{fppf}$ as in Topologies, Section 34.7.

As underlying category take the category $\textit{Spaces}/S$ of algebraic spaces over $S$ (see discussion in Section 73.2 why this is a set).

Choose any set of coverings as in Sets, Lemma 3.11.1 starting with the category $\textit{Spaces}/S$ and the class of fppf coverings of Definition 73.7.1.

## Comments (0)