Lemma 94.8.2. There exists a subcategory $\mathcal{S}\! \mathit{paces}_{ft, small} \subset \mathcal{S}\! \mathit{paces}_{ft}$ with the following properties:

the inclusion functor $\mathcal{S}\! \mathit{paces}_{ft, small} \to \mathcal{S}\! \mathit{paces}_{ft}$ is fully faithful and essentially surjective, and

the functor $p_{ft, small} : \mathcal{S}\! \mathit{paces}_{ft, small} \to (\mathit{Sch}/S)_{fppf}$ turns $\mathcal{S}\! \mathit{paces}_{ft, small}$ into a stack over $(\mathit{Sch}/S)_{fppf}$.

## Comments (0)