---
date: 2022-04-18 12:16
modification date: Monday 18th April 2022 12:16:50
title: "universally closed morphism"
aliases: [universally closed morphism]
---

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 \mapsvia{f} Y$ is **universally closed** if for all morphisms $Z \rightarrow Y$, the morphism $X \times_{Y} Z \rightarrow Z$ is closed.