Bourbaki

Remark

Tag 022N, permanent. Cite it as [Bourbaki, Tag 022N].

Topologie algébrique, chapter IV, § 4. Théorie de la descente

Let X and Y be topological spaces and let f:X→Yf: X\rightarrow Y be a mapping. In order that every descent datum relative to ff on a covering of X be effective, and that the quotient space be a covering of Y, it is necessary that ff be strict and that f(X)f(X) be an open and closed subset of X.

In fact, let us identify the X-space X with X×YYX\times_YY and endow it with its canonical descent datum relative to ff. The quotient space is identified with f(X)f(X), endowed with the quotient topology of the topology of X for the equivalence relation defined by ff. If this is a covering of Y, the space f(X)f(X) is then identified with an open and closed subset of Y and the mapping ff is strict.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini, gpt-5.4, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.