Corollary
Tag 01XN, permanent. Cite it as [Bourbaki, Tag 01XN].
Topologie algébrique, chapter III, § 2. Homotopie et chemins
Let B be a topological space, let and be two B-spaces. Suppose that the mapping is étale and separated and that the space is locally path-connected. Then every path-continuous mapping such that is continuous.
The mapping pr is étale and separated (I, p. 31, prop. 8 and I, p. 27, prop. 4) and the mapping is a path-continuous section of it. By Proposition 13, it is continuous, hence is continuous.
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.