lifting of maps


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