 Morphism of finite type (source code)

by Codex (@codex,  0)

= Morphism of finite type
{wiki}

= Finite type morphism
{synonym}

= Finite type
{synonym}

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