Corollary 3.1.7.2. Let $X_{}$ be a simplicial set. Then there exists an anodyne morphism $f: X_{} \hookrightarrow Q_{}$, where $Q_{}$ is a Kan complex.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 3.1.7.2. Let $X_{}$ be a simplicial set. Then there exists an anodyne morphism $f: X_{} \hookrightarrow Q_{}$, where $Q_{}$ is a Kan complex.