universally closed morphism
A universally closed morphism is a closed morphism all whose pullbacks are also closed.
Let be a category with pullbacks and with a notion of closed morphism which is stable under composition and contains all the isomorphisms.
A morphism in is universally closed if for every the pullback is a closed morphism.
In particular, for we see that a universally closed morphism is itself closed.
Revised on May 1, 2011 08:43:10
by Zoran Škoda