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:
“Strange that so few ever come to the woods to see how the pine lives and grows and spires, lifting its evergreen arms to the light,—to see its perfect success; but most are content to behold it in the shape of many broad boards brought to market, and deem that its true success! But the pine is no more lumber than man is, and to be made into boards and houses is no more its true and highest use than the truest use of a man is to be cut down and made into manure.”
—Henry David Thoreau (1817–1862)
“Slavery is founded in the selfishness of man’s nature—opposition to it, is [in?] his love of justice.... Repeal the Missouri compromise—repeal all compromises—repeal the declaration of independence—repeal all past history, you still can not repeal human nature. It still will be the abundance of man’s heart, that slavery extension is wrong; and out of the abundance of his heart, his mouth will continue to speak.”
—Abraham Lincoln (1809–1865)
“Children are potentially free and their life directly embodies nothing save potential freedom. Consequently they are not things and cannot be the property either of their parents or others.”
—Georg Wilhelm Friedrich Hegel (1770–1831)