Kerodon

Corollary 4.8.3.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n \geq -1$ be an integer. Then $\operatorname{\mathcal{C}}$ is locally $(n-1)$-truncated if and only if it is equivalent to an $(n,1)$-category.