Generalization: The Homotopy Lifting Extension Property
There is a common generalization of the homotopy lifting property and the homotopy extension property. Given a pair of spaces, for simplicity we denote . Given additionally a map, one says that has the homotopy lifting extension property if:
- for any homotopy, and
- for any lifting of ,
there exists a homotopy which extends (i.e., such that ).
The homotopy lifting property of is obtained by taking, so that above is simply .
The homotopy extension property of is obtained by taking to be a constant map, so that is irrelevant in that every map to E is trivially the lift of a constant map to the image point of .
Read more about this topic: Homotopy Lifting Property
Famous quotes containing the words lifting, extension and/or property:
“It was something like love
From another world that seized her
From behind, and she gave, not lifting her head
Out of dew, without ever looking, her best
Self to that great need.”
—James Dickey (b. 1923)
“A dense undergrowth of extension cords sustains my upper world of lights, music, and machines of comfort.”
—Mason Cooley (b. 1927)
“It is a well-settled principle of the international code that where one nation owes another a liquidated debt which it refuses or neglects to pay the aggrieved party may seize on the property belonging to the other, its citizens or subjects, sufficient to pay the debt without giving just cause of war.”
—Andrew Jackson (1767–1845)