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 fundamental group functor. Furthermore is unique (provided it exists of course).
The following diagrams might be useful: To check