Kerodon

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

Example 9.2.3.4 (Contractible Kan Complexes). Let $\operatorname{\mathcal{C}}= \operatorname{Set_{\Delta }}$ be the category of simplicial sets and let $W$ be the collection of inclusion maps $\operatorname{\partial \Delta }^{n} \hookrightarrow \Delta ^{n}$. Then a simplicial set is weakly $W$-local if and only if it is a contractible Kan complex.