Corollary 10.2.4.6. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits finite products. Then every object $X \in \operatorname{\mathcal{C}}$ admits a Čechnerve $\operatorname{\check{C}}_{\bullet }(X)$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$