A general path-lifting theorem, which fails in the context of topological spaces, is shown to hold for toposes, for locales (a slight generalization of topological spaces), and hence for complete separable metric spaces. This result generalizes the known fact that any connected locally connected topos (respectively complete separable metric space) is path-connected. In [MW] we proved that every...