Solitons: Differential equations, symmetries, and infinite-dimensional algebras
《Solitons: Differential equations, symmetries, and infinite-dimensional algebras》 · 第 246 页 · Definition 10.6
A morphism $f:X\to Y$ is called of finite type if $f$ is locally of finite type and quasi-compact.