Remark 3.5.5.5. Let $X$ be a simplicial set and let $n \geq 0$ be an integer. Then $X$ is an $n$-groupoid if and only if every connected component of $X$ is an $n$-groupoid.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 3.5.5.5. Let $X$ be a simplicial set and let $n \geq 0$ be an integer. Then $X$ is an $n$-groupoid if and only if every connected component of $X$ is an $n$-groupoid.