Homotopy Lifting Property
If we have a homotopy H : X × → Y and a cover p : Y → Y and we are given a map h0 : X → Y such that H0 = p ○ h0 (h0 is called a lift of h0), then we can lift all H to a map H : X × → Y such that p ○ H = H. The homotopy lifting property is used to characterize fibrations.
Read more about this topic: Homotopy
Famous quotes containing the words lifting 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)
“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)