Definition 93.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}$.

There are also:

• 2 comment(s) on Section 93.8: Categories fibred in groupoids representable by algebraic spaces

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).