morphism of finite type