# Kerodon

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

Corollary 3.1.4.8. Let $f: X_{} \rightarrow S_{}$ be a covering map of simplicial sets. Then, for every simplicial set $B_{}$, composition with $f$ induces a covering map $\operatorname{Fun}( B_{}, X_{} ) \rightarrow \operatorname{Fun}( B_{}, S_{} )$.