morphism of finite type
A morphism of schemes is locally of finite type if
for every open cover by affine schemes, ;
and every cover by affine schemes , fitting into a commuting diagram (this always exists, see coverage)
for all ,
we have that the morphism of algebras formally dual to exhibits as a finitely generated algebra over .
If for fixed the range only over a finite set, then the morphism is said to be of finite type.
Revised on November 25, 2013 00:32:18
by Urs Schreiber