Proposition 3
Tag 01S1, permanent. Cite it as [Bourbaki, Tag 01S1].
Topologie algébrique, chapter I, § 6. Espaces simplement connexes
Let B be a topological space. Let be a covering of B and let be a point of E. Let X be a simply connected topological space, let be a continuous mapping and let be a point of X such that . Then there exists a unique continuous lifting of the mapping such that .
The mappings sought correspond bijectively (I, p. 9, prop. 3) to the continuous sections of the covering pr such that . Such a section exists because the space X is simply connected; it is unique because the space X is connected (I, p. 34, cor. 1 of prop. 11).
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.