Example 4.8.6.3. Let $f: X \rightarrow Y$ be a morphism of Kan complexes and let $n$ be an integer. Then $f$ is essentially $n$-categorical (in the sense of Definition 4.8.6.1) if and only if it is $n$-truncated (in the sense of Definition 3.5.9.1). See Corollary 4.8.5.24.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$