Lemma 70.5.15. Let $S$ be a scheme. Let $Y$ be an algebraic space over $S$. Let $X = \mathop{\mathrm{lim}}\nolimits X_ i$ be a directed limit of algebraic spaces over $Y$ with affine transition morphisms. Assume

$Y$ quasi-compact and quasi-separated,

$X_ i$ quasi-compact and quasi-separated,

the transition morphisms $X_{i'} \to X_ i$ are finite,

$X_ i \to Y$ locally of finite type

$X \to Y$ integral.

Then $X_ i \to Y$ is finite for $i$ large enough.

## Comments (0)