lifting theorem
Let be a covering map and be a (continuous)map where , and are path connected and locally path connected (http://planetmath.org/LocallyConnected).Also let and be points such that .Then lifts to a map with if and only if maps inside the image, where denotes the fundamentalgroup functor. Furthermore is unique (provided it exists of course).
The following diagrams might be useful: To check