The Unique Path Lifting for Noncommutative Covering Projections
  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. 
Petr Ivankov
math.OA