Lifting of a map to a covering space