Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Example 3.5.6.4. Let $n$ be a nonnegative integer and let $X$ be an $n$-groupoid. Then the identity map $\operatorname{id}_{X}: X \rightarrow X$ exhibits $X$ as a fundamental $n$-groupoid of itself.