Lemma 101.27.4. A morphism which is locally of finite presentation is locally of finite type. A morphism of finite presentation is of finite type.
Lemma 101.27.4. A morphism which is locally of finite presentation is locally of finite type. A morphism of finite presentation is of finite type.
Proof. Combine Remark 101.16.5 with Morphisms of Spaces, Lemma 67.28.5. \square
Comments (0)
There are also: