Lemma 65.28.5. A morphism which is locally of finite presentation is locally of finite type. A morphism of finite presentation is of finite type.

Proof. Let $f : X \to Y$ be a morphism of algebraic spaces which is locally of finite presentation. This means there exists a diagram as in Lemma 65.22.1 with $h$ locally of finite presentation and surjective vertical arrow $a$. By Morphisms, Lemma 29.21.8 $h$ is locally of finite type. Hence $X \to Y$ is locally of finite type by definition. If $f$ is of finite presentation then it is quasi-compact and it follows that $f$ is of finite type. $\square$

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).