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)
“A lawyer’s dream of Heaven: Every man reclaimed his own property at the resurrection, and each tried to recover it from all his forefathers.”
—Samuel Butler (1835–1902)