Let $X$ be a connected, locally path connected and semilocally simply connected space. Assume furthermore that $X$ has a basepoint $*$ .

A covering $p\co E\to X$ is called based if $E$ is endowed with a basepoint $e$ and $p(e)=*$ . Two based coverings $p_i\co E_i\to X$ , $i=1,2$ are called equivalent if there is a basepoint preserving equivalence $T\co E_1\to E_2$ that covers the identity, i.e. $T$ is a homeomorphism and the following diagram commutes

Under the bijection of the above theorem normal coverings correspond to normal subgroups of $\pi_1(X,e)$ , and in particular the universal covering $\tilde \pi\co \tilde X\to X$ corresponds to the trivial subgroup while the trivial covering $\id\co X\to X$ corresponds to the whole group.

Normal coverings are sometimes called Galois coverings, and the group of deck transformations is someitmes called the Galois group of the covering space. The reason for this is that this theorem provides a direct analogy for the fundamental theorem of Galois theory. This theorem provides a correspondence between subgroups of the Galois group of a cover and covers that are its quotients, just as the fundamental theorem of Galois theory provides a correspondence between subextensions of a field extension and subgroups of its Galois group. Both fundamental theorems can be viewed as special cases of a more general theorem in the category of schemes; the correct tool is the study of étale morphisms and the étale fundamental group.

Proof. [Rough sketch of proof] We describe the based version. Clearly the set of equivalences of two based coverings form a torsor of the group of deck transformations $\Au(p)$ . From our discussion of that group it follows then that equivalent (based) coverings give the same subgroup. Thus the map is well defined. To see that it is a bijection construct its inverse as follows: There is a universal covering $\tilde \pi\co \tilde X\to X$ and a subgroup $\pi$ of $\pi_1(X,*)$ acts on $\tilde X$ by the restriction of the monodromy action. The covering which corresponds to $\pi$ is then $\tilde X/\pi$ .