Warning 8.5.1.18. In the statement of Corollary 8.5.1.17, the uncountability assumption on $\kappa $ cannot be omitted. That is, if $X$ is a Kan complex for which there exists a weak homotopy equivalence $K \rightarrow X$ for a finite simplicial set $K$, then a retract of $X$ need not inherit the same property. See ยง
.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$