Lemma 94.8.2. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $p : \mathcal{X} \to (\mathit{Sch}/S)_{fppf}$ be a category fibred in groupoids. Then $\mathcal{X}$ is representable by an algebraic space over $S$ if and only if the following conditions are satisfied:

$\mathcal{X}$ is fibred in setoids

^{1}, andthe presheaf $U \mapsto \mathop{\mathrm{Ob}}\nolimits (\mathcal{X}_ U)/\! \! \cong $ is an algebraic space.

## Comments (2)

Comment #8378 by DaniĆ«l Apol on

Comment #8983 by Stacks project on

There are also: