Definition 9.2.7.7. Let $X$ be a Kan complex. We say that $X$ is finitely dominated if it is a retract (in the homotopy category $\mathrm{h} \mathit{\operatorname{Kan}}$) of an essentially finite Kan complex.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$