Lift (mathematics)
Lift (mathematics)
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 that factors through
g, i.e.
h ° g =
f.