Kerodon

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

Example 4.7.8.3. Let $\kappa $ be an uncountable regular cardinal and let $X$ be a Kan complex. Then $X$ is locally $\kappa $-small if and only if, for every vertex $x \in X$ and every integer $n > 0$, the homotopy group $\pi _{n}(X,x)$ is $\kappa $-small.