# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Proposition 3.1.4.9. Let $f: X \rightarrow S$ be a covering map of topological spaces. Then the induced map $\operatorname{Sing}_{\bullet }(f): \operatorname{Sing}_{\bullet }(X) \rightarrow \operatorname{Sing}_{\bullet }(S)$ is a covering map of simplicial sets (in the sense of Definition 3.1.4.1).

Proof. Let $\delta : X \rightarrow X \times _{S} X$ be the relative diagonal of $f$. We first claim $\delta$ exhibits $X$ as a summand of $X \times _{S} X$ in the category of topological spaces (that is, it is a homeomorphism of $X$ onto a closed and open subset of the fiber product $X \times _{S} X$). To verify this, we can work locally on $S$ and thereby reduce to the case where $X$ is a product of $S$ with a discrete topological space, in which case the result is clear. It follows that the induced map of singular simplicial sets

$\operatorname{Sing}_{\bullet }(\delta ): \operatorname{Sing}_{\bullet }(X) \hookrightarrow \operatorname{Sing}_{\bullet }(X \times _{S} X) \simeq \operatorname{Sing}_{\bullet }(X) \times _{ \operatorname{Sing}_{\bullet }(S)} \operatorname{Sing}_{\bullet }(X)$

is also the inclusion of a summand (Remark 1.1.7.3), and is therefore a Kan fibration by virtue of Example 3.1.1.4. Consequently, to show that $\operatorname{Sing}_{\bullet }(f)$ is a covering map, it will suffice to show that it is a Kan fibration (Remark 3.1.4.3). This is a special case of Corollary 3.5.6.11, since $f: X \rightarrow S$ exhibits $X$ as a fiber bundle over $S$ (with discrete fibers). $\square$