Remark 3.1.6.15. We will later prove a (partial) converse to Proposition 3.1.6.14: if a monomorphism of simplicial sets $f: A_{} \hookrightarrow B_{}$ is a weak homotopy equivalence, then $f$ is anodyne (see Corollary 3.3.7.7).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$