Kerodon

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

Remark 4.6.8.15. Let $u: K \rightarrow K'$ be a monomorphism of simplicial sets. Then the induced map $\Phi (u): \Phi (K) \rightarrow \Phi (K')$ is also a monomorphism (this follows immediately from the description given in Remark 4.6.8.14).