In the branch of mathematics called category theory, given a morphism f from an object X to an object Y, and a morphism g from an object Z to Y, a lift (or lifting) of f to Z is a morphism h from X to Z such that gh = f.
A basic example in topology is lifting a path in one space to a path in a covering space. Consider, for instance, mapping opposite points on a sphere to the same point, a continuous map from the sphere covering the projective plane. A path in the projective plane is a continuous map from the unit interval, . We can lift such a path to the sphere by choosing one of the two sphere points mapping to the first point on the path, then maintain continuity. In this case, each of the two starting points forces a unique path on the sphere, the lift of the path in the projective plane. Thus in the category of topological spaces with continuous maps as morphisms, we have
Lifts are ubiquitous; for example, the definition of fibrations (see homotopy lifting property) and the valuative criteria of separated and proper maps of schemes are formulated in terms of existence and (in the last case) unicity of certain lifts.
Famous quotes containing the word lift:
“When will the veil be lifted that casts so black a night over the universe? God of Israel, lift at last the gloom: For how long will you be hidden?”
—Jean Racine (16391699)