Kerodon

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

Warning 3.1.6.22. Let $X_{}$ and $Y_{}$ be simplicial sets. The existence of a weak homotopy equivalence $f: X_{} \rightarrow Y_{}$ does not guarantee the existence of a weak homotopy equivalence $g: Y_{} \rightarrow X_{}$.