Definition 29.45.1 (04DD)—The Stacks project

Processing math: 100%

Definition 29.45.1. A morphism $f : X \to Y$ of schemes is called a universal homeomorphism if the base change $f' : Y' \times _ Y X \to Y'$ is a homeomorphism for every morphism $Y' \to Y$ .

Comments (2)

Comment #7020 by Rubén Muñoz--Bertrand on February 06, 2022 at 14:46

Typo: the second word "morphisms" should be singluar.

Comment #7237 by Johan on April 30, 2022 at 11:51

Thanks and fixed here.

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).

Comments (2)

Post a comment