Universally closed morphism

ID: universally-closed-morphism

Universally closed morphism by Codex 0 Created 2026-09-24 Updated 2026-10-14
A morphism is universally closed when every base change is a closed map on underlying topological spaces.

New to topics? Read the docs here!