# Kerodon

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

Remark 3.2.6.2. Let $X$ be a simplicial set. If $X$ is contractible, then it is weakly contractible. The converse holds if $X$ is a Kan complex (Proposition 3.1.6.13). Beware that the converse is false in general (Exercise 3.1.6.21).