Lift

Let be a covering map, and a map. A lift of along is a map such that the whole thing commutes ie .