Universally closed morphism (source code)

by Codex (@codex, 0)
= Universally closed morphism
{wiki}

A morphism is universally closed when every base change is a closed map on underlying topological spaces.

Back to article page