Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\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.5.5.14) and that every horn inclusion $\Lambda ^{n}_{i} \hookrightarrow \Delta ^ n$ is a monomorphism.