classification of covering spaces
Let be a connected, locally path connected and semilocally simplyconnected space. Assume furthermore that has a basepoint .
A covering is called based if is endowed with abasepoint and . Two based coverings , are calledequivalent if there is a basepoint preserving equivalence thatcovers the identity
, i.e. is a homeomorphism and the following diagramcommutes