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

is also the inclusion of a summand (Remark 1.2.2.4), 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.6.6.11, since $f: X \rightarrow S$ exhibits $X$ as a fiber bundle over $S$ (with discrete fibers). $\square$