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:
“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)
“The charming landscape which I saw this morning is indubitably made up of some twenty or thirty farms. Miller owns this field, Locke that, and Manning the woodland beyond. But none of them owns the landscape. There is property in the horizon which no man has but he whose eye can integrate all parts, that is, the poet. This is the best part of these men’s farms, yet to this their warranty-deeds give no title.”
—Ralph Waldo Emerson (1803–1882)