Remark 9.2.7.2. A Kan complex $X$ is essentially finite if and only if is homotopy equivalent to the Kan complex $\operatorname{Ex}^{\infty }(K)$, for some finite simplicial set $K$. See Proposition 3.3.6.7.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$