Kerodon

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

Definition 10.2.4.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $X$ be an object of $\operatorname{\mathcal{C}}$. We will say that a simplicial object $X_{\bullet }$ of $\operatorname{\mathcal{C}}$ is a Čechnerve of $X$ if $X_{\bullet }$ is a Čechnerve (in the sense of Definition 10.2.4.1) and $X_{0} = X$.