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:
“This fair homestead has fallen to us, and how little have we done to improve it, how little have we cleared and hedged and ditched! We are too inclined to go hence to a “better land,” without lifting a finger, as our farmers are moving to the Ohio soil; but would it not be more heroic and faithful to till and redeem this New England soil of the world?”
—Henry David Thoreau (1817–1862)
“Predatory capitalism created a complex industrial system and an advanced technology; it permitted a considerable extension of democratic practice and fostered certain liberal values, but within limits that are now being pressed and must be overcome. It is not a fit system for the mid- twentieth century.”
—Noam Chomsky (b. 1928)
“It is better to write of laughter than of tears, for laughter is the property of man.”
—François Rabelais (1494–1553)