Remark 4.6.7.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.7.14).

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$