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 be a mapping. In order that every descent datum relative to on a covering of X be effective, and that the quotient space be a covering of Y, it is necessary that be strict and that be an open and closed subset of X.
In fact, let us identify the X-space X with and endow it with its canonical descent datum relative to . The quotient space is identified with , endowed with the quotient topology of the topology of X for the equivalence relation defined by . If this is a covering of Y, the space is then identified with an open and closed subset of Y and the mapping 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.