Example 4.8.1.3. An $\infty $-category $\operatorname{\mathcal{C}}$ is a $(1,1)$-category if and only if it is isomorphic to $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}_0)$, for some category $\operatorname{\mathcal{C}}_0$. By virtue of Proposition 4.8.1.7, this is a restatement of Proposition 1.3.4.1. Note that in this case, the category $\operatorname{\mathcal{C}}_0$ is well-defined up to unique isomorphism (Proposition 1.3.3.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$