lifting of maps


Let p:E→B and f:X→B be (continuousMathworldPlanetmath) maps. Then a lifting of f to E is a (continuous) map f~:X→E such that p∘f~=f. The terminology is justified by the following commutative diagramMathworldPlanetmath