For continuous maps and , a continuous lift of through is a continuous map with . Existence and uniqueness require additional hypotheses; the lifting criterion for a covering space states a useful existence criterion when is a covering map and is path-connected and locally path-connected.
New to topics? Read the docs here!