 Uniqueness of a universal covering space

For a path-connected locally path-connected base, any two based universal covers lift to one another. The two composites and the respective identity maps are based lifts of the same covering maps, so uniqueness of lifts makes the composites identities. The lift is therefore a homeomorphism.