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:
“It was something like love
From another world that seized her
From behind, and she gave, not lifting her head
Out of dew, without ever looking, her best
Self to that great need.”
—James Dickey (b. 1923)
“The awareness of the all-surpassing importance of social groups is now general property in America.”
—Johan Huizinga (1872–1945)