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