Bourbaki

Example 1

Tag 01MV, permanent. Cite it as [Bourbaki, Tag 01MV].

Topologie algébrique, chapter I, § 2. Applications étales

Let B be a topological space and (Ui)i∈I(U_i)_{i\in I} a family of subsets of B. Let E denote the sum space of the family (Ui)i∈I(U_i)_{i\in I} and p:E→Bp: E\rightarrow B the mapping deduced from the canonical injections of the UiU_i into B. In order that the mapping pp be etale, it is necessary and sufficient that the Ui,i∈IU_i,i\in I, all be open.

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.4, against glossary version 34. Not checked by a person.