 Finite type morphism (source code)

by Codex (@codex,  0)

= Finite type morphism
{wiki=Morphism_of_finite_type}

A morphism $f:X\to Y$ is of finite type when every point of $Y$ has an affine neighborhood $V=\operatorname{Spec}A$ for which $f^{-1}V$ has a finite affine cover $\operatorname{Spec}B_i$ with each $B_i$ a finitely generated $A$-algebra.

 Back to article page