Kerodon

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

Remark 3.1.2.3. Every anodyne morphism of simplicial sets $i: A_{} \rightarrow B_{}$ is a monomorphism. This follows from the observation that the collection of monomorphisms is weakly saturated (Proposition 1.4.5.12) and that every horn inclusion $\Lambda ^{n}_{i} \hookrightarrow \Delta ^ n$ is a monomorphism.