Last modified date: <%+ tp.file.last_modified_date() %>

- Tags: - #todo/untagged - Refs: - #todo/add-references - Links: - #todo/create-links

universally closed morphism

A morphism \(X \xrightarrow{f} Y\) is universally closed if for all morphisms \(Z \rightarrow Y\), the morphism \(X \times_{Y} Z \rightarrow Z\) is closed.