  This article contains a noncommutative generalization of the topological path
lifting problem. Noncommutative geometry has no paths and even points. However
there are paths of *-automorphisms. It is proven that paths of *-automorphisms
comply with unique path lifting.
