Definition. Morpisms of (locally) finite type [00BQ]

A morphism is locally of finite type if for every affine open subset and every affine open subset , the induces morphism (induced by makes a finitely generated -algebra. A morphism of locally finite type is of finite type if it also quasicompact.