Example 4.8.1.11. Let $X$ be a Kan complex and let $n \geq 0$ be an integer. Then $X$ is an $n$-groupoid (in the sense of Definition 3.5.5.1) if and only if it is an $(n,1)$-category (in the sense of Definition 4.8.1.8). This is a reformulation of Proposition 3.5.5.12.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$