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:
“Thales claimed that everything was water. He also put wine into water to sterilize it. Did he really believe he was putting water into water to sterilize it? Parmenides, like most Greeks, knew that wine was not water. But while lifting a glass of wine to his lips, he denied that motion was possible. Did he really believe that the glass was not moving when he lifted it?”
—Avrum Stroll (b. 1921)
“The medium is the message. This is merely to say that the personal and social consequences of any medium—that is, of any extension of ourselves—result from the new scale that is introduced into our affairs by each extension of ourselves, or by any new technology.”
—Marshall McLuhan (1911–1980)
“When a strong man, fully armed, guards his castle, his property is safe. But when one stronger than he attacks him and overpowers him, he takes away his armor in which he trusted and divides his plunder.”
—Bible: New Testament, Luke 11:21.22.