«

Definition. Quasicompact morphism [00BV]

A morphism of schemes is quasicompact if for every affine open subset , the preimage is quaiscompact.

Backlinks

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.