Definition 66.53.2. Let $S$ be a scheme. A morphism $f : X \to Y$ of algebraic spaces over $S$ is called a universal homeomorphism if and only if for every morphism of algebraic spaces $Z \to Y$ the base change $Z \times _ Y X \to Z$ induces a homeomorphism $|Z \times _ Y X| \to |Z|$.

There are also:

• 1 comment(s) on Section 66.53: Universal homeomorphisms

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).