lift

A morphism which some given morphism factors through; i.e. given a pair of morphisms f:X→Y and g:Z→Y, a morphism h such that f=g∘h. (In this case h is said to be a lift of f via Z or via g).