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.