Example 1
Tag 01W2, permanent. Cite it as [Bourbaki, Tag 01W2].
Topologie algébrique, chapter III, § 1. Homotopies, homéotopies
Take for space X the ball and for subspace A the sphere . If V = X, there exists a strong contraction of V onto III, p. 237, example). Hence the pair possesses the homotopy extension property.
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.