\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{covering space}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{topology}{}\paragraph*{{Topology}}\label{topology}

[[!include topology - contents]]

\hypertarget{bundles}{}\paragraph*{{Bundles}}\label{bundles}

[[!include bundles - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{BasicProperties}{Basic properties}\dotfill \pageref*{BasicProperties} \linebreak
\noindent\hyperlink{relation_to_tale_spaces}{Relation to \'e{}tale spaces}\dotfill \pageref*{relation_to_tale_spaces} \linebreak
\noindent\hyperlink{LiftingProperties}{Lifting properties}\dotfill \pageref*{LiftingProperties} \linebreak
\noindent\hyperlink{monodromy}{Monodromy}\dotfill \pageref*{monodromy} \linebreak
\noindent\hyperlink{reconstructing_covering_spaces_from_monodromy}{Reconstructing covering spaces from monodromy}\dotfill \pageref*{reconstructing_covering_spaces_from_monodromy} \linebreak
\noindent\hyperlink{FundamentalTheoremOfCoveringSpaces}{Fundamental theorem of covering spaces}\dotfill \pageref*{FundamentalTheoremOfCoveringSpaces} \linebreak
\noindent\hyperlink{universal_covering_space}{Universal covering space}\dotfill \pageref*{universal_covering_space} \linebreak
\noindent\hyperlink{Examples}{Examples}\dotfill \pageref*{Examples} \linebreak
\noindent\hyperlink{HomotopyFibs}{Universal covering space in terms of homotopy fibers}\dotfill \pageref*{HomotopyFibs} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

A \textbf{covering space} (or \textbf{wrapping space}) is a [[bundle]] $p: E \to B$ in which is locally trivial and with [[discrete space|discrete]] fiber.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

A [[continuous function]] $p: E \to B$ is a covering space over $B$ if for each point $x \in B$, there exists an [[open neighborhood]] $U$ of $x$ which is \textbf{evenly covered} by $p$ in that the [[pullback]] of $p$ over $U$ is isomorphic to a product bundle with discrete fiber $E_x = p^{-1}(x)$:

\begin{displaymath}
\itexarray{
U \times E_x & \cong & p^{-1}(U) & \to & E\\
& \pi \searrow & \downarrow & & \downarrow p\\
& & U & \hookrightarrow & B
}
\end{displaymath}
(the square is a pullback and the isomorphism maps $(x, e \in E_x) \mapsto e$).

Covering spaces over $B$ form an evident [[full subcategory]] $Cov/B \hookrightarrow Top/B$ of the [[slice category]] of [[Top]] over $B$, the \emph{[[category of covering spaces]]}. These may be put together to form a [[replete subcategory|replete]], [[wide subcategory|wide]] subcategory $Cov$ of $Top$, so that $Cov/B$ is an [[over category]], just as the notation suggests.

\begin{remark}
\label{}\hypertarget{}{}
Different points in $B$ may have non-isomorphic fibers. However, if open sets $U$ and $V$ are evenly covered by $p: E \to B$ and have nonempty intersection, then there are canonical identifications

\begin{displaymath}
E_x \cong E_z \cong E_y
\end{displaymath}
between typical fibers over $x \in U$, $y \in V$, and $z \in U \cap V$. If $B$ is path-connected, then all the fibers match up to isomorphism (by the unique path-lifting lemma (lemma \ref{CoveringSpacePathLifting} below)).

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
Fibers of a covering space may be empty. Some authors choose to forbid that, adding the condition that $p$ be a surjection, but the resulting category of covering projections over a space $B$ is not as nice as it would be without that condition.

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
The terms ``covering space'' and ``covering projection'', while traditional, are certainly not optimal: they mislead by being too close to (open) ``[[cover|coverings]]''. [[James Dolan]] has suggested ``wrapping space'' as an alternative (as in the image of thread wrapping around a spool, to evoke the archetypal example of a covering projection, $p: \mathbb{R} \to S^1: x \mapsto \exp(i x)$).

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
There is a generalization to ``semi-coverings'' (\hyperlink{Brazas12}{Brazas12}). Semicoverings satisfy the ``[[2 out of 3]] rule''. I.e,, if $f=g h$ and two of $f,g,h$ are semicoverings , then so is the third. This is not true for covering maps.

\end{remark}
\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

\hypertarget{BasicProperties}{}\subsubsection*{{Basic properties}}\label{BasicProperties}

\begin{prop}
\label{CoveringProjectionsAreOpenMaps}\hypertarget{CoveringProjectionsAreOpenMaps}{}
\textbf{(covering projections are [[open maps]])}

If $p \colon E \to X$ is a covering space projection, then $p$ is an [[open map]].

\end{prop}
\begin{proof}
By definition of covering space there exists an [[open cover]] $\{U_i \subset X\}_{i \in I}$ and [[homeomorphisms]] $p^{-1}(U_i) \simeq U_i \times Disc(F_i)$ for all $i \in I$. Since the [[projections]] out of a [[product topological space]] are [[open maps]] (\href{product+topological+space#ProjectionsAreOpenMaps}{this prop.}), it follows that $p$ is an open map when restricted to any of the $p^{-1}(U_i)$. But a general open subset $W \subset E$ is the union of its restrictions to these subspaces:

\begin{displaymath}
W = \underset{i \in I}{\cup} (W \cap p^{-1}(U_i))
  \,.
\end{displaymath}
Since images preserve unions (\href{interactions+of+images+and+pre-images+with+unions+and+intersections#PreservationOfUnionsAndIntersectionsOfSets}{this prop.}) it follows that

\begin{displaymath}
p(W) = \underset{i \in I}{\cup} p(W \cap p^{-1}(U_i))
\end{displaymath}
is a union of open sets, and hence itself open.

\end{proof}
\begin{lemma}
\label{CoveringSpaceFiberwiseDiagonalOpenAndClosed}\hypertarget{CoveringSpaceFiberwiseDiagonalOpenAndClosed}{}
\textbf{([[fiber product|fiber-wise]] [[diagonal]] of covering space is [[open subset|open]] and [[closed subset|closed]])}

Let $E \overset{p}{\to} X$ be a covering space. Consider the [[fiber product]]

\begin{displaymath}
E \times_X E \coloneqq \{ (e_1, e_2) \in E \times E \;\vert\; p(e_1) = p(e_2) \}
\end{displaymath}
hence (by the discussion at \href{Top#UniversalConstructions}{Top - Univeral constructions}) the [[topological subspace]] of the [[product space]] $E \times E$, as shown on the right. By the [[universal property]] of the [[fiber product]], there is the [[diagonal]] [[continuous function]]

\begin{displaymath}
\itexarray{
    E &\longrightarrow& E \times_X E
    \\
    e &\mapsto& (e,e)
  }
  \,.
\end{displaymath}
Then the [[image]] of $E$ under this function is an [[open subset]] and a [[closed subset]]:

\begin{displaymath}
\Delta(E) \subset E \times_X E
  \;\;\;
  \text{is open and closed}
  \,.
\end{displaymath}
\end{lemma}
\begin{proof}
First to see that it is an open subset. It is sufficient to show that for any $e \in E$ there exists an open neighbourhood of $(e,e) \in E \times_X E$.

Now by definition of covering spaces, there exists an open neighbourhood $U_{p(e)} \subset X$ of $p(e) \in X$ such that

\begin{displaymath}
\itexarray{
    U_{p(e)} \times Disc(p^{-1}(p(e))) 
      && \overset{\simeq}{\longrightarrow} && E\vert_{U_{p(e)}}
    \\
    & {}_{\mathllap{pr_1}}\searrow && \swarrow_{\mathrlap{p}}
    \\
    && U_{p(e)}
  }
  \,.
\end{displaymath}
It follows that $U_{p(e)} \times \{e\} \subset E$ is an open neighbourhood. Hence by the nature of the [[product topology]], $U_{p(e)} \times U_{p(e)} \subset E \times E$ is an open neighbourhood of $(e,e)$ in $E \times E$ and hence by the nature of the [[subspace topology]] the restriction

\begin{displaymath}
(E \times_X E) \cap (U_{p(e)} \times U_{p(e)}) \subset E \times_X E
\end{displaymath}
is an open neighbourhood of $(e,e)$ in $E \times_X E$.

Now to see that the diagonal is closed, hence that the complement $(E \times_X E) \setminus \Delta(E)$ is an open subset, it is sufficient to show that every point $(e_1, e_2)$ with $e_1 \neq e_2$ but $p(e_1) = p(e_2)$ has an open neighbourhood in this complement.

As before, there is an open neighbourhood $U \subset X$ of $p(e_1) = p(e_2)$ over which the cover trivializes, and hence $U \times \{e_1\}, U \times \{e_2\} \subset E$ are open neighbourhoods of $e_1$ and $e_2$, respectively. These are disjoint by the assumption that $e_1 \neq e_2$. As above, this means that the intersection

\begin{displaymath}
(E \times_X E) \cap ( (U \times \{e_1\}) \times (U \times \{e_2\}) )
  \subset
  (E \times_X E) \setminus \Delta(E)
\end{displaymath}
is an open subset of the complement of the diagonal in the fiber product.

\end{proof}
\hypertarget{relation_to_tale_spaces}{}\subsubsection*{{Relation to \'e{}tale spaces}}\label{relation_to_tale_spaces}

Every covering space (even in the more general sense not requiring any connectedness axiom) is an [[etale space]], but not vice versa:

\begin{itemize}%
\item for a covering space the inverse image of some open set in the base $B$ needs to be, by the definition, a disjoint union of homeomorphic open sets in $E$; however the `size' of the neighborhoods over various $e$ in the same stalk required in the definition of \'e{}tal\'e{} space may differ, hence the intersection of their projections does not need to be an open set, if there are infinitely many points in the stalk.


\item even if the stalks of the etale space are finite, it need not be locally trivial. For instance the disjoint union $\coprod_i Ui$ of a collection of open subsets of a space $X$ with the obvious projection $(\coprod_i U_i) \to X$ is etale, but does not have a typical fiber: the fiber over a given point has cardinality the number of open sets $U_i$ that contain this particular point.



\end{itemize}
\hypertarget{LiftingProperties}{}\subsubsection*{{Lifting properties}}\label{LiftingProperties}

We discuss [[left lifting properties]] satisfied by covering spaces.

\begin{enumerate}%
\item \hyperlink{CoveringSpacePathLifting}{path-lifting property},


\item \hyperlink{HomotopyLiftingPropertyOfCoveringSpaces}{homotopy-lifting propery},


\item the \hyperlink{TheTheoremLifting}{lifting theorem}.



\end{enumerate}
\begin{lemma}
\label{LiftsOverConnectedSpaceIntoCoveringSpaceAreUniqueRelativePoint}\hypertarget{LiftsOverConnectedSpaceIntoCoveringSpaceAreUniqueRelativePoint}{}
\textbf{([[lifts]] out of [[connected topological space|connected space]] into [[covering spaces]] are unique relative to any point)}

Let

\begin{enumerate}%
\item $E \overset{p}{\to} X$ be a covering space,


\item $Y$ a [[connected topological space]]


\item $f \;\colon\; Y \longrightarrow X$ a [[continuous function]].


\item $\hat f_1, \hat f_2 \;\colon\; Y \longrightarrow E$ two [[lifts]] of $f$, in that the following [[commuting diagram|diagram commutes]]:

\begin{displaymath}
\itexarray{
    && E
    \\
    & {}^{\mathllap{\hat f_i}}\nearrow & \downarrow^{\mathrlap{p}}
    \\
    Y &\underset{f}{\longrightarrow}& X
  }
\end{displaymath}
for $i \in \{1,2\}$.



\end{enumerate}
If there exists $y \in Y$ such that $\hat f_1(y) = \hat f_2(y)$ then the two lifts already agree everywhere: $\hat f_1 = \hat f_2$.

\end{lemma}
\begin{proof}
By the [[universal property]] of the [[fiber product]]

\begin{displaymath}
E \times_X E \coloneqq \left\{ (e_1, e_2) \in E \times E \;\vert\; p(e_1) = p(e_2) \right\} \subset E \times E
\end{displaymath}
the two lifts determine a single continuous function of the form

\begin{displaymath}
(\hat f_1, \hat f_2) 
    \;\colon\;
  Y \longrightarrow E \times_X E
  \,.
\end{displaymath}
Write

\begin{displaymath}
\Delta(E)  \coloneqq \left\{ (e,e) \in E \times_X E \;\vert\; e \in E  \right\}
\end{displaymath}
for the [[diagonal]] on $E$ in the fiber product. By lemma \ref{CoveringSpaceFiberwiseDiagonalOpenAndClosed} this is an open subset and a closed subset of the fiber product space. Hence by continuity of $(\hat f_1, \hat f_2)$ also its pre-image

\begin{displaymath}
(\hat f_1, \hat f_2)^{-1}(\Delta(E)) \subset Y
\end{displaymath}
is both closed and open, hence also its [[complement]] is open in $Y$.

Moreover, the assumption that the functions $\hat f_1$ and $\hat f_2$ agree in at least one point means that the above pre-image is [[inhabited set|non-empty]]. Therefore the assumption that $Y$ is [[connected topological space|connected]] implies that this pre-image coincides with all of $Y$. This is the statement to be proven.

\end{proof}
\begin{lemma}
\label{CoveringSpacePathLifting}\hypertarget{CoveringSpacePathLifting}{}
\textbf{(path lifting property)}

Let $p \colon E \to X$ be any [[covering space]]. Given

\begin{enumerate}%
\item $\gamma \colon [0,1] \to X$ a [[path]] in $X$,


\item $\hat x_0 \in E$ be a lift of its starting point, hence such that $p(\hat x_0) = \gamma(0)$



\end{enumerate}
then there exists a unique path $\hat \gamma \colon [0,1] \to E$ such that

\begin{enumerate}%
\item it is a lift of the original path: $p \circ \hat \gamma = \gamma$;


\item it starts at the given lifted point: $\hat \gamma(0) = \hat x_0$.



\end{enumerate}
In other words, every [[commuting diagram]] in [[Top]] of the form

\begin{displaymath}
\itexarray{
    \{0\} &\overset{\hat x_0}{\longrightarrow}& E
    \\
    \downarrow && \downarrow^{\mathrlap{p}}
    \\
    [0,1] &\underset{\gamma}{\longrightarrow}& X
  }
\end{displaymath}
has a unique [[lift]]:

\begin{displaymath}
\itexarray{
    \{0\} &\overset{\hat x_0}{\longrightarrow}& E
    \\
    \downarrow 
      &{}^{\mathllap{\hat \gamma}}\nearrow&
    \downarrow^{\mathrlap{p}} 
    \\
    [0,1] &\underset{\gamma}{\longrightarrow}& X
  }
  \,.
\end{displaymath}
\end{lemma}
\begin{proof}
First consider the case that the covering space is trival, hence of the [[Cartesian product]] form

\begin{displaymath}
pr_1 \;\colon\;  X \times Disc(S) \longrightarrow X
  \,.
\end{displaymath}
By the [[universal property]] of the [[product topological spaces]] in this case a lift $\hat \gamma \colon [0,1] \to X \times Disc(S)$ is equivalently a [[pair]] of continuous functions

\begin{displaymath}
pr_1(\hat \gamma) \colon [0,1] \to X  \phantom{AAAA} pr_2(\hat \gamma) \colon [0,1] \to Disc(S)
  \,,
\end{displaymath}
Now the lifting condition explicitly fixes $pr_1(\hat \gamma) = \gamma$. Moreover, a continuous function into a [[discrete topological space]] $Disc(S)$ is [[locally constant function|locally constant]], and since $[0,1]$ is a [[connected topological space]] this means that $pr_2(\hat \gamma)$ is in fact a [[constant function]] (\href{connected+space#LocallyConstantFunctionsOnConnectedSpaces}{this example}), hence uniquely fixed to be $pr_2(\hat \gamma) = \hat x_0$.

This shows the statement for the case of trivial covering spaces.

Now consider any covering space $p \colon E \to X$. By definition of covering spaces, there exists for every point $x \in X$ a [[open neighbourhood]] $U_x \subset X$ such that the restriction of $E$ to $U_x$ becomes a trivial covering space:

\begin{displaymath}
p^{-1}(U_x) \simeq U_x \times Disc(p^{-1}(x))
  \,.
\end{displaymath}
Consider such a choice

\begin{displaymath}
\{U_x \subset X\}_{x \in X}
  \,.
\end{displaymath}
This is an [[open cover]] of $X$. Accordingly, the [[pre-images]]

\begin{displaymath}
\left\{
    \gamma^{-1}(U_x)
    \subset 
    [0,1]
  \right\}_{x \in X}
\end{displaymath}
constitute an open cover of the [[topological interval]] $[0,1]$.

Now the [[closed interval]] is a [[compact topological space]], so that this cover has a finite open subcover. By the [[Euclidean space|Euclidean]] [[metric topology]], each element in this finite subcover is a disjoint union of open intervals. The collection of all these open intervals is an open refinement of the original cover, and by compactness it once more has a finite subcover, now such that each element of the subcover is guaranteed to be a single open interval.

This means that we find a [[finite number]] of points

\begin{displaymath}
t_0 \lt t_1 \lt \cdots \lt_{n+1} \in [0,1]
\end{displaymath}
with $t_0 = 0$ and $t_{n+1} = 1$ such that for all $0 \lt j \leq n$ there is $x_j \in X$ such that the corresponding path segment

\begin{displaymath}
\gamma([t_j, t_{j+1}]) \subset X
\end{displaymath}
is contained in $U_{x_j}$ from above.

Now assume that $\hat \gamma\vert_{[0,t_j]}$ has been found. Then by the triviality of the covering space over $U_{x_j}$ and the first argument above, there is a unique lift of $\gamma\vert_{[t_j, t_{j+1}]}$ to a continuous function $\hat \gamma|_{[t_j,t_{j+1}]}$ with starting point $\hat \gamma(t_j)$. Since $[0,t_{j+1}]$ is the [[pushout]] $[0,t_j] \underset{\{t_j\}}{\sqcup} [t_j,t_{j+1}]$ (\href{Top#TopologicalnSphereIsPushoutOfBoundaryOfnBallInclusionAlongItself}{this example}), it follows that $\hat \gamma|_{[0,t_j]}$ and $\hat \gamma\vert_{[t_j,t_{j+1}]}$ uniquely glue to a continuous function $\hat \gamma\vert_{[0,t_{j+1}]}$ which lifts $\gamma\vert_{[0,t_{j+1}]}$.

By [[induction]] over $j$, this yields the required lift $\hat \gamma$.

Conversely, given any lift, $\hat \gamma$, then its restrictions $\hat \gamma\vert_{[t_j, t_{j+1}]}$ are uniquely fixed by the above inductive argument. Therefore also the total lift is unique. Altrnatively, uniqueness of the lifts is a special case of lemma \ref{LiftsOverConnectedSpaceIntoCoveringSpaceAreUniqueRelativePoint}.

\end{proof}
\begin{prop}
\label{HomotopyLiftingPropertyOfCoveringSpaces}\hypertarget{HomotopyLiftingPropertyOfCoveringSpaces}{}
\textbf{([[homotopy lifting property]] of [[covering spaces]] against [[locally connected topological spaces|locally connected spaces]])}

Let

\begin{enumerate}%
\item $E \overset{p}{\to} X$ be a covering space;


\item $Y$ a topological space.



\end{enumerate}
Then every [[lifting problem]] of the form

\begin{displaymath}
\itexarray{
    Y &\overset{\hat f}{\longrightarrow}& E
    \\
    {}^{\mathllap{ (id_y, const_0)}}\downarrow && \downarrow^{\mathrlap{p}}
    \\
    Y \times [0,1] &\underset{\eta}{\longrightarrow}& X
  }
\end{displaymath}
has a unique [[lift]]

\begin{displaymath}
\itexarray{
    Y &\overset{\hat f}{\longrightarrow}& E
    \\
    {}^{\mathllap{ (id_y, const_0)}}\downarrow 
     &{}^{\mathllap{\hat \eta}}\nearrow& 
    \downarrow^{\mathrlap{p}}
    \\
    Y \times [0,1] &\underset{\eta}{\longrightarrow}& X
  }
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
Let $\{U_i \subset X\}_{i \in I}$ be an open cover over which the covering space trivializes. Then the pre-images $\{\eta^{-1}(U_i) \subset Y \times [0,1]\}_{i \in I}$ is an open cover of the product space. By nature of the [[product space|product space topology]] and the [[Euclidean topology]] on $[0,1]$, each of the $\eta^{-1}(U_i)$ is a union of Cartesian products $V_j \times I_j$ with $V_i \subset Y$ an open subset of $Y$ and $I_i \subset [0,1]$ an interval. Hence there is an open cover of the form

\begin{displaymath}
\{
    V_j \times I_j \subset Y \times [0,1]
  \}_{j \in J}
\end{displaymath}
with the property that for each $j$ there exists $i \in I$ with $\eta(V_j \times I_j) \subset U_i$.

Now by the fact that $[0,1]$ is a [[compact topological space]], for each $y \in Y$ there exists a finite set $K_y \subset J$ such that

\begin{displaymath}
\{ V_k \times I_k \}_{k \in K_y \subset K}
\end{displaymath}
still restricts to a cover of $\{y\} \times [I]$. Since $K$ is finite, the intersection

\begin{displaymath}
V_y \;\coloneqq\; \underset{k \in K_y}{\cap}
\end{displaymath}
is still open, and so also

\begin{displaymath}
\{ V_y \times I_k \}_{k \in K_y}
\end{displaymath}
still restricts to a cover of $\{y\} \times [0,1]$.

This means that the same argument as for the path lifting in lemma \ref{CoveringSpacePathLifting} provides a unique lift $\widehat{\eta\vert_{V_y \times [0,1]}}$ for each $y \in Y$.

Moreover, for $y_1, y_2 \in Y$ two points, these lifts clearly have to agree on $V_{y_1} \cap V_{y_2}$.

Since $\{V_y \times [0,1] \subset Y \times [0,1]\}_{y \in Y}$ is an open cover, means that there is a unique function $\hat \eta$ that restricts to all these local lifts (\href{Top#ClosedSubspacesGluing}{this prop}). This is the required lift.

\end{proof}
\begin{remark}
\label{CoveringSpacesAreSerreFibrationsButNotInGeneralHurewiczFibrations}\hypertarget{CoveringSpacesAreSerreFibrationsButNotInGeneralHurewiczFibrations}{}
\textbf{(covering spaces are [[Hurewicz fibrations]])}

Continuous functions with the [[right lifting property]] against functions of the form $Y \overset{(id,const_0)}{\longrightarrow} Y \times [0,1]$ are called \emph{[[Hurewicz fibrations]]}.

Hence prop. \ref{HomotopyLiftingPropertyOfCoveringSpaces} says that covering projections are in particular Hurewicz fibrations.

\end{remark}
\begin{example}
\label{CoveringSpacesHomotopyLifting}\hypertarget{CoveringSpacesHomotopyLifting}{}
\textbf{(lift homotopy of paths for given lifts of paths)}

Let $p \colon E \to X$ be a [[covering space]]. Then given a [[homotopy]] relative the starting point between two [[paths]] in $X$,

\begin{displaymath}
\eta \;\colon\; \gamma_1 \Rightarrow \gamma_2
\end{displaymath}
there is for every lift $\hat \gamma_1, \hat \gamma_2$ of these two paths to paths in $E$ with the same starting point a unique homotopy

\begin{displaymath}
\hat \eta \;\colon\; \hat \gamma_1 \Rightarrow \hat \gamma_2
\end{displaymath}
between the lifted paths that lifts the given homotopy:

For [[commuting squares]] of the form

\begin{displaymath}
\itexarray{
    ([0,1] \times \{0\}) \cup (\{0,1\} \times [0,1])
      &\overset{(\gamma_1, \gamma_2)}{\longrightarrow}&
    E
    \\
    {}^{\mathllap{}}\downarrow 
      &{}^{\mathllap{\hat \eta}}\nearrow& 
    \downarrow^{\mathrlap{p}}
    \\
    [0,1] \times [0,1] &\underset{\eta}{\longrightarrow}& X
  }
\end{displaymath}
there is a unique diagonal [[lift]] in the lower diagram, as shown.

Moreover if the homotopy $\eta$ also fixes the endpoint, then so does the lifted homotopy $\hat \eta$.

\end{example}
\begin{proof}
There are horizontal [[homeomorphisms]] such that the following diagram commutes

\begin{displaymath}
\itexarray{
     [0,1] 
       &\overset{\simeq}{\longrightarrow}&
     ([0,1] \times \{0\}) \cap ( \{0,1\} \times [0,1] )
     \\
     \downarrow
     &&
     \downarrow
     \\
     [0,1] \times [0,1] &\underset{\simeq}{\longrightarrow}& [0,1] \times [0,1]
  }
  \,.
\end{displaymath}
With this the statement follows from \ref{HomotopyLiftingPropertyOfCoveringSpaces}.

\end{proof}
\begin{example}
\label{IfFundamentalGroupsIncludeThenfLoopsLiftToLoops}\hypertarget{IfFundamentalGroupsIncludeThenfLoopsLiftToLoops}{}
Let $(E,e) \overset{p}{\longrightarrow} (X,x)$ be a [[pointed topological space|pointed]] [[covering space]] and let $f \colon (Y,y) \longrightarrow (X,x)$ be a point-preserving [[continuous function]] such that the image of the [[fundamental group]] of $(Y,y)$ is contained within the image of the fundamental group of $(E,e)$ in that of $(X,x)$:

\begin{displaymath}
f_\ast(\pi_1(Y,y)) \subset p_\ast(\pi_1(E,e))
  \phantom{AA}
  \subset 
  \pi_1(X,x)
  \,.
\end{displaymath}
Then for $\ell_Y$ a [[path]] in $(Y,y)$ that happens to be a [[loop]], every lift of its image path $f \circ \ell$ in $(X,x)$ to a path $\widehat{f\circ \ell_Y}$ in $(E,e)$ is also a loop there.

\end{example}
\begin{proof}
By assumption, there is a loop $\ell_E$ in $(E,e)$ and a homotopy fixing the endpoints of the form

\begin{displaymath}
\eta_{X} \;\colon\; p \circ \ell_E \Rightarrow f\circ \ell_Y
  \,.
\end{displaymath}
Then by the homotopy lifting property as in example \ref{CoveringSpacesHomotopyLifting}, there is a homotopy in $(E,e)$ fixing the starting point, of the form

\begin{displaymath}
\eta_{E} \;\colon\; \ell_E \Rightarrow \widehat{f \circ \ell_Y}
\end{displaymath}
and lifting the homotopy $\eta_X$. Since $\eta_X$ in addition fixes the endpoint, the uniqueness of the path lifting (lemma \ref{CoveringSpacePathLifting}) implies that also $\eta_{E}$ fixes the endpoint. Therefore $\eta_E$ is in fact a homotopy between loops, and so $\widehat{f \circ \ell_Y}$ is indeed a loop.

\end{proof}
\begin{prop}
\label{TheTheoremLifting}\hypertarget{TheTheoremLifting}{}
\textbf{(lifting theorem)}

Let

\begin{enumerate}%
\item $p \colon E \to X$ be a [[covering space]];


\item $e \in E$ a point, with $x \coloneqq p(e)$ denoting its image,


\item $Y$ be a [[connected topological space|connected]] and [[locally path-connected topological space|locally path-connected]] [[topological space]];


\item $y \in Y$ a point


\item $f \colon (Y,y) \longrightarrow (X,x)$ a [[continuous function]] such that $f(y) = x$.



\end{enumerate}
Then the following are equivalent:

\begin{enumerate}%
\item There exists a unique lift $\hat f$ in the diagram

\begin{displaymath}
\itexarray{
    && (E,e)
    \\
    & {}^{\mathllap{\hat f}}\nearrow & \downarrow^{\mathrlap{p}}
    \\
    (Y,y) &\underset{f}{\longrightarrow}& (X,x)
  }
\end{displaymath}
of [[pointed topological spaces]].


\item The [[image]] of the [[fundamental group]] of $Y$ under $f$ in that of $X$ is contained in the image of the fundamental group of $E$ under $p$:

\begin{displaymath}
f_\ast(\pi_1(Y,y)) \subset p_\ast( \pi_1(E,e) )
  \,
\end{displaymath}


\end{enumerate}
Moreover, if $Y$ is path-connected, then the lift in the first item is unique.

\end{prop}
\begin{proof}
The implication $1) \Rightarrow 2)$ is immediate. We need to show that the second statement already implies the first.

Since $Y$ is connected and locally path-connected, it is also a [[path-connected topological space]] (\href{locally+path-connected+space#ForLocallyPathConnectedTheConnectedComponentsCoincideWithThePathConnectedComponents}{this prop.}). Hence for every point $y' \in Y$ there exists a [[path]] $\gamma$ connecting $y$ with $y'$ and hence a path $f \circ \gamma$ connecting $x$ with $f(y')$. By the path-lifting property (lemma \ref{CoveringSpacePathLifting}) this has a unique lift

\begin{displaymath}
\itexarray{
    \{0\} &\overset{e}{\longrightarrow}& E
    \\
    \downarrow &{}^{\mathllap{\widehat{f \circ \gamma}}}\nearrow& \downarrow^{\mathrlap{p}}
    \\
    [0,1]
     &\underset{f \circ \gamma}{\longrightarrow}&
    X
  }
  \,.
\end{displaymath}
Therefore

\begin{displaymath}
\hat f(y') \coloneqq \widehat{f \circ \gamma}(1)
\end{displaymath}
is a lift of $f(y')$.

We claim now that this pointwise construction is independent of the choice $\gamma$, and that as a function of $y'$ it is indeed continuous. This will prove the claim.

Now by the path lifting lemma \ref{CoveringSpacePathLifting} the lift $\widehat{\f \circ \gamma}$ is unique given $f \circ \gamma$, and hence $\hat f(y')$ depends at most on the choice of $\gamma$.

Hence let $\gamma' \colon [0,1] \to Y$ be another path in $Y$ that connects $y$ with $y'$. We need to show that then $\widehat{f \circ \gamma'} = \widehat{f \circ \gamma}$.

First observe that if $\gamma'$ is related to $\gamma$ by a [[homotopy]], so that then also $f \circ \gamma'$ is related to $f \circ \gamma$ by a homotopy, then this is the statement of the homotopy lifting property as in example \ref{CoveringSpacesHomotopyLifting}.

Next write $\bar\gamma'\cdot \gamma$ for the [[path concatenation]] of the path $\gamma$ with the [[reverse path]] of the path $\gamma'$, hence a loop in $Y$, so that $f \circ (\bar\gamma'\cdot \gamma)$ is a loop in $X$. The assumption that $f_\ast(\pi_1(Y,y)) \subset p_\ast(\pi_1(E,e))$ implies (example \ref{IfFundamentalGroupsIncludeThenfLoopsLiftToLoops}) that the path $\widehat{f \circ (\bar \gamma' \cdot \gamma)}$ which lifts this loop to $E$ is itself a loop in $E$.

By uniqueness of path lifting, this means that the lift of

\begin{displaymath}
f \circ ( \gamma' \cdot (\bar\gamma' \cdot \gamma) )
  =
  (f \circ \gamma') \cdot (f \circ (\bar \gamma' \cdot \gamma) )
\end{displaymath}
coincides at $1 \in [0,1]$ with that of $f \circ \gamma'$ at 1. But $\gamma' \cdot (\bar \gamma' \cdot \gamma)$ is homotopic (via reparameterization) to just $\gamma$. Hence it follows now with the first statement that the lift of $f \circ \gamma'$ indeed coincides with that of $f \circ \gamma$.

This shows that the above prescription for $\hat f$ is well defined.

It only remains to show that the function $\hat f$ obtained this way is continuous.

Let $y' \in Y$ be a point and $W_{\hat f(y')} \subset E$ an open neighbourhood of its image in $E$. It is sufficient to see that there is an open neighbourhood $V_{y'} \subset Y$ such that $\hat f(V_y) \subset W_{\hat f(y')}$.

Let $U_{f(y')} \subset X$ be an open neighbourhood over which $p$ trivializes. Then the restriction

\begin{displaymath}
p^{-1}(U_{f(y')}) \cap W_{\hat f(y')} 
    \;\subset\; 
  U_{f(y')} \times Disc(p^{-1}(f(y')))
\end{displaymath}
is an open subset of the product space. Consider its further restriction

\begin{displaymath}
\left( U_{f(y')} \times \{\hat f(y')\} \right)
    \cap 
  \left( 
    p^{-1}(U_{f(y')}) \cap W_{\hat f(y')}
  \right)
\end{displaymath}
to the [[leaf]]

\begin{displaymath}
U_{f(y')} \times \{\hat f(y')\} \;\subset\; U_{f(y')} \times p^{-1}(f(y'))
\end{displaymath}
which is itself an open subset. Since $p$ is an [[open map]] (\href{covering+space#CoveringProjectionsAreOpenMaps}{this prop.}), the subset

\begin{displaymath}
p\left(
    \left(
      U_{f(y')} \times \{\hat f(y')\}
    \right)
      \cap 
    \left( 
      p^{-1}(U_{f(y')}) \cap W_{\hat f(y')}
    \right) 
  \right)
  \subset X
\end{displaymath}
is open, hence so is its pre-image

\begin{displaymath}
f^{-1}
  \left(
    p
      \left(
        \left(
          U_{f(y')} \times \{\hat f(y')\}
        \right)
          \cap 
        \left( 
          p^{-1}(U_{f(y')}) \cap W_{\hat f(y')}
        \right) 
    \right)
  \right)
    \;\subset\; 
  Y
  \,.
\end{displaymath}
Since $Y$ is assumed to be [[locally path-connected topological space|locally path-connected]], there exists a path-connected open neighbourhood

\begin{displaymath}
V_{y'}
    \subset 
  f^{-1}\left(p\left(
    \left(U_{f(y')} \times \{\hat f(y')\}\right)
      \cap 
    \left( 
      p^{-1}(U_{f(y')}) \cap W_{\hat f(y')}
    \right) 
  \right)
  \right)
  \,.
\end{displaymath}
By the uniqueness of pah lifting, the image of that under $\hat f$ is

\begin{displaymath}
\begin{aligned}
    \hat f(V_{y_'}) 
    & = 
    f(V_{y'}) \times \{\hat f(y')\} 
    \\
     & \subset
    p\left(
      \left(U_{f(y')} \times \{\hat f(y')\}\right)
        \cap 
      \left( 
        p^{-1}(U_{f(y')}) \cap W_{\hat f(y')}
      \right) 
    \right) \times \{\hat f(y')\}
    \\
    & \simeq
      \left( U_{f(y')} \times \{\hat f(y')\} \right)
        \cap 
      \left( 
        p^{-1}(U_{f(y')}) \cap W_{\hat f(y')}
      \right)   
     \\
     & \subset W_{\hat f(y')}
  \end{aligned}
  \,.
\end{displaymath}
This shows that the lifted function is continuous. Finally that this continuous lift is unique is the statement of lemma \ref{LiftsOverConnectedSpaceIntoCoveringSpaceAreUniqueRelativePoint}.

\end{proof}
\hypertarget{monodromy}{}\subsubsection*{{Monodromy}}\label{monodromy}

\begin{defn}
\label{CoveringSpaceMonodromy}\hypertarget{CoveringSpaceMonodromy}{}
\textbf{([[monodromy]] of a covering space)}

Let $X$ be a [[topological space]] and $E \overset{p}{\to} X$ a [[covering space]]. Write $\Pi_1(X)$ for the [[fundamental groupoid]] of $X$.

Define a [[functor]]

\begin{displaymath}
Fib_E
    \;\colon\;
  \Pi_1(X)
    \longrightarrow
  Set
\end{displaymath}
to the [[category]] [[Set]] of [[sets]] as follows:

\begin{enumerate}%
\item to a point $x \in X$ assign the [[fiber]] $p^{-1}(\{x\}) \in Set$;


\item to the [[homotopy class]] of a [[path]] $\gamma$ connecting $x \coloneqq \gamma(0)$ with $y \coloneqq \gamma(1)$ in $X$ assign the function $p^{-1}(\{x\}) \longrightarrow p^{-1}(\{y\})$ which takes $\hat x \in p^{-1}(\{x\})$ to the endpoint of a path $\hat \gamma$ in $E$ which lifts $\gamma$ through $p$ with starting point $\hat \gamma(0) = \hat x$

\begin{displaymath}
\itexarray{
    p^{-1}(x) &\overset{}{\longrightarrow}& p^{-1}(y)
    \\
    (\hat x = \hat \gamma(0)) &\mapsto& \hat \gamma(1)
  }
  \,.
\end{displaymath}


\end{enumerate}
This construction is well defined for a given representative $\gamma$ due to the unique path-lifting property of covering spaces (\href{covering+space#CoveringSpacePathLifting}{this lemma}) and it is independent of the choice of $\gamma$ in the given homotopy class of paths due to the homotopy-lifting property (\href{covering+space#CoveringSpacesHomotopyLifting}{this lemma}). Similarly, these two lifting properties give that this construction respects composition in $\Pi_1(X)$ and hence is indeed a [[functor]].

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
Given a [[homomorphism]] between two [[covering spaces]] $E_i \overset{p_i}{\to} X$, hence a [[continuous function]] $f \colon E_1 \to E_2$ which respects [[fibers]] in that the [[diagram]]

\begin{displaymath}
\itexarray{
    E_1 && \overset{f}{\longrightarrow} && E_2
    \\
    & {}_{\mathllap{p_1}}\searrow && \swarrow_{\mathrlap{p_2}}
    \\
    && X
  }
\end{displaymath}
[[commuting diagram|commutes]], then the component functions

\begin{displaymath}
f\vert_{\{x\}} \;\colon\; p_1^{-1}(\{x\}) \longrightarrow p_2^{-1}(\{x\})
\end{displaymath}
are compatible with the monodromy $Fib_{E}$ (def. \ref{CoveringSpaceMonodromy}) along any [[path]] $\gamma$ between points $x$ and $y$ from def. \ref{CoveringSpaceMonodromy} in that the following [[diagrams]] of [[sets]] [[commuting diagram|commute]]

\begin{displaymath}
\itexarray{
     p_1^{-1}(x) &\overset{f\vert_{\{x\}}}{\longrightarrow}& p_2^{-1}(x)
     \\
     {}^{\mathllap{Fib_{E_1}([\gamma])}}\downarrow
       &&
     \downarrow^{\mathrlap{ Fib_{E_2}([\gamma]) }}
     \\
     p_1^{-1}(y) &\underset{f\vert_{\{y\}}}{\longrightarrow}& p_2^{-1}(\{y\})
  }
  \,.
\end{displaymath}
This means that $f$ induces a [[natural transformation]] between the monodromy functors of $E_1$ and $E_2$, respectively, and hence that constructing monodromy is itself a functor from the [[category]] of [[covering spaces]] of $X$ to that of [[permutation representations]] of the [[fundamental groupoid]] of $X$:

\begin{displaymath}
Fib
   \;\colon\;
  Cov(X)
    \longrightarrow
  Set^{\Pi_1(X)}
  \,.
\end{displaymath}
\end{prop}
\begin{example}
\label{CoveringSpaceFundamentalGroupoid}\hypertarget{CoveringSpaceFundamentalGroupoid}{}
\textbf{([[fundamental groupoid]] of covering space)}

Let $E \overset{p}{\longrightarrow} X$ be a covering space.

Then the [[fundamental groupoid]] $\Pi_1(E)$ of the total space $E$ is [[equivalence of categories|equivalently]] the [[Grothendieck construction]] of the [[monodromy]] functor $Fib_E \;\colon\; \Pi_1(X) \to Set$

\begin{displaymath}
\Pi_1(E)
   \;\simeq\;
  \int_{\Pi_1(X)} Fib_E
\end{displaymath}
whose

\begin{itemize}%
\item [[objects]] are pairs $(x,\hat x)$ consisting of a point $x \in X$ and en element $\hat x \in Fib_E(x)$;


\item [[morphisms]] $[\hat \gamma] \colon (x,\hat x) \to (x', \hat x')$ are morphisms $[\gamma] \colon x \to x'$ in $\Pi_1(X)$ such that $Fib_E([\gamma])(\hat x) = \hat x'$.



\end{itemize}
\end{example}
\begin{proof}
By the uniqueness of the path-lifting, lemma \ref{CoveringSpacePathLifting} and the very definition of the [[monodromy]] functor.

\end{proof}
\begin{prop}
\label{CoveringConnectivityViaMonodromy}\hypertarget{CoveringConnectivityViaMonodromy}{}
Let $X$ be a [[path-connected topological space]] and let $E \overset{p}{\to} X$ be a [[covering space]]. Then the total space $E$ is

\begin{enumerate}%
\item [[path-connected topological space|path-connected]] precisely if the [[monodromy]] $Fib_E$ is a [[transitive action]];


\item [[simply connected topological space|simply connected]] precisely if the [[monodromy]] $Fib_E$ is a [[transitive action|transitive]] and [[free action]].



\end{enumerate}
\end{prop}
\begin{proof}
By example \ref{CoveringSpaceFundamentalGroupoid}.

\end{proof}
\hypertarget{reconstructing_covering_spaces_from_monodromy}{}\subsubsection*{{Reconstructing covering spaces from monodromy}}\label{reconstructing_covering_spaces_from_monodromy}

Given a [[permutation representation]] of the [[fundamental groupoid]] of a locally path-connected and semi-locally simply connected space, there is a construction of \emph{[[reconstructing covering spaces from monodromy]]}, which is a [[functor]] of the form

\begin{displaymath}
Rec \;\colon\; Set^{\Pi_1(X)} \longrightarrow Cov(X)
  \,.
\end{displaymath}
\hypertarget{FundamentalTheoremOfCoveringSpaces}{}\subsubsection*{{Fundamental theorem of covering spaces}}\label{FundamentalTheoremOfCoveringSpaces}

\begin{theorem}
\label{FundamentalTheoremOfCoveringSpaces}\hypertarget{FundamentalTheoremOfCoveringSpaces}{}
\textbf{([[fundamental theorem of covering spaces]])}

Let $X$ be a [[locally path-connected topological space|locally path-connected]] and [[semi-locally simply-connected topological space]]. Then the operations on

\begin{enumerate}%
\item extracting the [[monodromy]] $Fib_{E}$ of a [[covering space]] $E$ over $X$


\item [[reconstructing a covering space from monodromy]] $Rec(\rho)$



\end{enumerate}
constitute an [[adjoint equivalence|adjoint]] [[equivalence of categories]]

\begin{displaymath}
Cov(X)
    \underoverset
      {\underset{Fib}{\longrightarrow}}
      {\overset{Rec}{\longleftarrow}}
      {\bot}
  Set^{\Pi_1(X)}
\end{displaymath}
between the [[category of covering spaces]] and the [[permutation representation|permutation]] [[groupoid representations]] of the [[fundamental groupoid]] of $X$.

\end{theorem}
\hypertarget{universal_covering_space}{}\subsubsection*{{Universal covering space}}\label{universal_covering_space}

\ldots{} \emph{[[universal covering space]]}

\hypertarget{Examples}{}\subsection*{{Examples}}\label{Examples}

\begin{example}
\label{TrivialCoveringSpace}\hypertarget{TrivialCoveringSpace}{}
\textbf{(trivial covering space)}

For $X$ a [[topological space]] and $S$ a [[set]] with $Disc(S)$ the [[discrete topological space]] on that set, then the [[projection]] out of the [[product topological space]]

\begin{displaymath}
pr_1 \;\colon\; X \times Disc(S) \longrightarrow X
\end{displaymath}
is a [[covering space]], called the \emph{trivial covering space} over $X$ with [[fiber]] $Disc(S)$.

If $E \overset{p}{\longrightarrow} X$ is any covering space, then an [[isomorphism]] of covering spaces of the form

\begin{displaymath}
\itexarray{
    E && \overset{\simeq}{\longrightarrow} && X \times Disc(S)
    \\
    & {}_{\mathllap{p}}\searrow && \swarrow_{\mathrlap{pr_2}}
    \\
    && X
  }
\end{displaymath}
is called a \emph{trivialization} of $E \overset{p}{\to} X$.

It is in this sense that evry coverin space $E$ is, by definition, locally trvializable.

\end{example}
\begin{example}
\label{nSphereCoveringOverRealProjectiveSpace}\hypertarget{nSphereCoveringOverRealProjectiveSpace}{}
\textbf{([[n-sphere]] covering over [[real projective space]])}

For $n \in \mathbb{N}$ the canonical projection

\begin{displaymath}
S^n \longrightarrow \mathbb{R}P^n
\end{displaymath}
from the [[n-sphere]] to the [[real projective space]] of [[dimension]] $n$ is a covering space projection. See \href{real+projective+space#nSphereAsCoveringSpaceOverRealProjectiveSpace}{this prop.}.

\end{example}
\hypertarget{HomotopyFibs}{}\subsubsection*{{Universal covering space in terms of homotopy fibers}}\label{HomotopyFibs}

We want to describe here how the universal covering space of $X$ is the [[homotopy fiber]] of the canonical morphism $X \to \Pi_1(X)$, hence the $\Pi_1(X)$-[[principal bundle]] classified by this [[cocycle]].

We place ourselves in the context of [[topological ∞-groupoid]]s and regard both the space $X$ as well as its [[schreiber:path ∞-groupoid]] $\Pi(X)$ and its truncation to the [[fundamental groupoid]] $\Pi_1(X)$ as objects in there.

The canonical morphism $X \to \Pi(X)$ hence $X \to \Pi_1(X)$ given by the inclusion of contant paths may be regarded as a [[cocycle]] for a $\Pi(X)$-[[principal ∞-bundle]], respectively for a $\Pi_1(X)$-principal bundle.

Let $\pi_0(X)$ be the set of connected components of $X$, regarded as a topological $\infty$-groupoid, and choose any [[section]] $\pi_0(X) \to \Pi(X)$ of the projection $\Pi(X) \to \pi_0(X)$.

Then the $\Pi(X)$-principal $\infty$-bundle classified by the [[cocycle]] $X \to \Pi(X)$ is its [[homotopy fiber]], i.e. the [[homotopy pullback]]

\begin{displaymath}
\itexarray{
    UCov(X) &\to& \pi_0(X)
    \\
    \downarrow && \downarrow
    \\
    X &\to& \Pi(X)
  }
  \,.
\end{displaymath}
We think of this topological $\infty$-groupoid $UCov(X)$ as the \textbf{universal covering $\infty$-groupoid} of $X$. To break this down, we check that its [[decategorification]] gives the ordinary universal covering space:

for this we compute the [[homotopy pullback]]

\begin{displaymath}
\itexarray{
    UCov_1(X) &\to& {*}
    \\
    \downarrow && \downarrow^{\mathrlap{x}}
    \\
    X &\to& \Pi_1(X)
  }
  \,,
\end{displaymath}
where we assume $X$ to be connected with chosen baspoint $x$ just to shorten the exposition a little. By the laws of [[homotopy pullback]]s in general and [[homotopy fiber]]s in particular, we may compute this as the ordinary [[pullback]] of a weakly equivalent diagram, where the point $*$ is resolved to the [[generalized universal bundle|universal]] $\Pi_1(X)$-principal bundle

\begin{displaymath}
\mathbf{E}_x \Pi_1(X) = T_x \Pi_1(X)
  \,.
\end{displaymath}
\begin{quote}%
(More in detail, what we do behind the scenes is this: we regard the diagram as a diagram in the \emph{global} [[model structure on simplicial presheaves]] on [[Top]]. In there all our topological groupoids are fibrant, hence all we have to ensure is that one of the morphisms of the diagram becomes a fibration, which is what the passage to $\mathbf{E}_x \Pi_1(X)$ achieves. Then the ordinary pullback in the category of simplicial presheaves is the homotopy pullback in $\infty$-prestacks. Then by left exactness of $\infty$-stackification, the image of that in $\infty$-stacks is still a homotopy pullback. )


\end{quote}
The topological groupoid $\mathbf{E}_x \Pi_1(X)$ has as objects homotopy classes rel endpoints of paths in $X$ starting at $x$ and as morphisms $\kappa : \gamma \to \gamma'$ it has commuting triangles

\begin{displaymath}
\itexarray{
    && x
    \\
    &{}^{\mathllap{\gamma}}\swarrow && \searrow^{\mathrlap{\gamma'}}
    \\
    y &&\stackrel{\kappa}{\to}&& y'
  }
\end{displaymath}
in $\Pi_1(X)$. The topology on this can be deduced from thinking of this as the [[pullback]]

\begin{displaymath}
\itexarray{
   \mathbf{E}_x \Pi_1(X) &\to& {*}
   \\
   \downarrow && \downarrow^{\mathrlap{x}}
   \\
   \Pi_1(X)^I &\stackrel{d_0}{\to}& \Pi_1(X)
  }
\end{displaymath}
in simplicial presheaves on [[Top]]. Unwinding what this means we find that the open sets in $Mor(\mathbf{E}_x \Pi_1(X))$ are those where the endpoint evaluation produces an open set in $X$.

Now it is immediate to read off the homotopy pullback as the ordinary pullback

\begin{displaymath}
\itexarray{
    UCov_1(X) &\to& \mathbf{E}_x \Pi_1(X)
    \\
    \downarrow && \downarrow
    \\
    X &\to& \Pi_1(X)
    \,.
  }
\end{displaymath}
Since $X$ is categorically discrete, this simply produces the space of objects of $\mathbf{E}_x \Pi_1(X)$ over the points of $X$, which is just the space of all paths in $X$ starting at $x$ with the projection $UCov_1(X) \to X$ being endpoint evaluation.

This indeed is then the usual construction of the universal covering space in terms of paths, as described for instance in (\hyperlink{Dahlke}{Dahlke})

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[branched covering space]]

\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

A textbook acccount is in

\begin{itemize}%
\item [[Tammo tom Dieck]], sections 2 an 3 of \emph{Algebraic Topology}, EMS 2006 (\href{http://www.maths.ed.ac.uk/~aar/papers/diecktop.pdf}{pdf})

\end{itemize}
Review includes

\begin{itemize}%
\item [[Jesper Møller]], \emph{The fundamental group and covering spaces} (2011) (\href{http://www.math.ku.dk/~moller/f03/algtop/notes/covering.pdf}{pdf})


\item [[Ronnie Brown]], chapter 11 of \emph{\href{http://pages.bangor.ac.uk/~mas010/topgpds.html}{Topology and Groupoids}}


\item Karl Dahlke, \emph{\href{http://www.mathreference.com/at-cov,build.html}{Covering spaces, Building a universal cover}} , \href{http://www.mathreference.com/}{Math Reference Project}



\end{itemize}
Some of the problems of generalising covering spaces to deal with wild spaces are dealt with in:

\begin{itemize}%
\item Jeremy Brazas, \emph{Semicoverings}, Homology, Homotopy and Applications, 14 (2012), No. 1, 33-63.

\end{itemize}
[[!redirects covering spaces]] [[!redirects wrapping space]] [[!redirects wrapping spaces]] [[!redirects covering groupoid]]



\end{document}