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!