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