classification of covering spaces
Let be a connected, locally path connected and semilocally simply connected space. Assume furthermore that has a basepoint .
A covering is called based if is endowed with a basepoint and . Two based coverings , are called equivalent if there is a basepoint preserving equivalence that covers the identity, i.e. is a homeomorphism and the following diagram commutes