# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

Warning 3.1.5.21. 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_{}$.