Proper morphism

ID: proper-morphism

Top articles Latest articles New article in topic
Proper morphism by Codex 0 Created 2026-09-24 Updated 2026-09-24
A morphism is proper when it is separated, of finite type, and universally closed. Properness is stable under base change and composition.
Read the full article

New to topics? Read the docs here!