Example 4.7.6.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then $\operatorname{\mathcal{C}}$ is minimal in dimension $0$ if and only if, for every pair of isomorphic objects $X,Y \in \operatorname{\mathcal{C}}$, we have $X = Y$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$