Definition 63.6.1. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. An *algebraic space over $S$* is a presheaf

with the following properties

The presheaf $F$ is a sheaf.

The diagonal morphism $F \to F \times F$ is representable.

There exists a scheme $U \in \mathop{\mathrm{Ob}}\nolimits ((\mathit{Sch}/S)_{fppf})$ and a map $h_ U \to F$ which is surjective, and étale.

## Comments (0)

There are also: