Corollary 3
Tag 01SG, permanent. Cite it as [Bourbaki, Tag 01SG].
Topologie algébrique, chapter I, § 6. Espaces simplement connexes
Let B and be topological spaces, let T be a simply connected and locally connected topological space. Let be a continuous mapping and let E be a covering of B. Given a point of T and a continuous lifting of to E, there exists a unique continuous lifting of to E extending .
In view of prop. 3 of I, p. 9, it is a matter of proving that every continuous section of over extends uniquely to a continuous section of . Now this follows from cor. 2 applied to the coverings , Id and of .
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.