Morphism of finite type

Morphisms of finite type are an important class of morphisms of schemes.

Definition

A morphism of schemes $f:X\to Y$ is of finite type if it is quasi-compact and locally of finite type.