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_{} )$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$