In algebraic geometry, a morphism of schemes f from X to Y is called quasi-separated if the diagonal map from X to X ×Y X is quasi-compact (meaning that the inverse image of any quasi-compact open set is quasi-compact). A scheme X is called quasi-separated if the morphism to Spec Z is quasi-separated.
In algebraic geometry, a morphism of schemes f from X to Y is called quasi-separated if the diagonal map from X to X ×Y X is quasi-compact (meaning that the inverse image of any quasi-compact open set is quasi-compact). A scheme X is called quasi-separated if the morphism to Spec Z is quasi-separated.
Source: Wikipedia "Quasi-separated morphism" · CC BY-SA 4.0
Share this article: X · Bluesky