query: Retraction formulation of the homotopy extension property
positive_passages.docid: 156904
positive_passages.text: Homotopy Extension Property: necessary and sufficient condition
negative_passages.docid: 5802
negative_passages.text: Proving the universal mapping property for polynomial rings
negative_passages.docid: 81550
negative_passages.text: Linking two theorems: on algebraic closure and on minimal splitting field
negative_passages.docid: 18687
negative_passages.text: First and second homotopy groups of a connected Lie group
negative_passages.docid: 106238
negative_passages.text: non-forking extension is equivalent to sameness of morley rank
negative_passages.docid: 28272
negative_passages.text: Does such localization of integral extension preserve inclusion?
negative_passages.docid: 8799
negative_passages.text: Mapping homotopic to the identity map has a fixed point
negative_passages.docid: 78963
negative_passages.text: Homotopy lifting property of $\mathbb{R} \to S^1$ in Hatcher
negative_passages.docid: 95187
negative_passages.text: The set of homotopy classes
negative_passages.docid: 147793
negative_passages.text: A variation on the induced topology (subspace topology)
negative_passages.docid: 102485
negative_passages.text: Showing that a topological space is ${\rm T}_1$
negative_passages.docid: 103923
negative_passages.text: Double orthogonal complement is equal to topological closure
negative_passages.docid: 117104
negative_passages.text: Is the punctured plane homotopy equivalent to the circle?
negative_passages.docid: 59289
negative_passages.text: Nested Sequence of Topological Space and the Coherent Topology; Munkres Topology 35.9
negative_passages.docid: 53176
negative_passages.text: Intuitive Approach to de Rham Cohomology
negative_passages.docid: 156606
negative_passages.text: Universal covering spaces of homotopy equivalent spaces are homotopy equivalent
negative_passages.docid: 27757
negative_passages.text: $\mathbb{R}\to\mathbb{R}$ Diffeomorphism with special property