Locally of finite type
ID: locally-of-finite-type
A morphism of schemes is locally of finite type if, over every affine open subscheme , its inverse image is covered by affine schemes with a finitely generated -algebra. It is of finite type exactly when it is also a quasi-compact morphism.
New to topics? Read the docs here!