morphism of finite type

Categories: