Definition 94.8.1. Let S be a scheme contained in \mathit{Sch}_{fppf}. A category fibred in groupoids p : \mathcal{X} \to (\mathit{Sch}/S)_{fppf} is called representable by an algebraic space over S if there exists an algebraic space F over S and an equivalence j : \mathcal{X} \to \mathcal{S}_ F of categories over (\mathit{Sch}/S)_{fppf}.
Comments (0)
There are also: