Classification of connected covering spaces (source code)

= Classification of connected covering spaces

Under the usual local hypotheses, based connected coverings of $X$ correspond to subgroups of $\pi_1(X)$; changing the point above the base point conjugates the subgroup. Normal subgroups correspond to regular coverings.