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:
“The symbol of perpetual youth, the grass-blade, like a long green ribbon, streams from the sod into the summer, checked indeed by the frost, but anon pushing on again, lifting its spear of last year’s hay with the fresh life below. It grows as steadily as the rill oozes out of the ground.... So our human life but dies down to its root, and still puts forth its green blade to eternity.”
—Henry David Thoreau (1817–1862)
“We are now a nation of people in daily contact with strangers. Thanks to mass transportation, school administrators and teachers often live many miles from the neighborhood schoolhouse. They are no longer in daily informal contact with parents, ministers, and other institution leaders . . . [and are] no longer a natural extension of parental authority.”
—James P. Comer (20th century)
“It is better to write of laughter than of tears, for laughter is the property of man.”
—François Rabelais (1494–1553)