Kerodon

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

Example 10.3.5.2. Let $\operatorname{\mathcal{C}}$ be a category. Then $\operatorname{\mathcal{C}}$ is regular (in the sense of Definition 10.3.0.6) if and only if $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ is a regular $\infty $-category (in the sense of Definition 10.3.5.1). See Corollary 10.3.2.7.