Kerodon

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

Definition 10.2.4.9. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. We say that a simplicial object $X_{\bullet }$ of $\operatorname{\mathcal{C}}$ is $n$-coskeletal if the functor

\[ \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }})^{\operatorname{op}} \xrightarrow { X_{\bullet } } \operatorname{\mathcal{C}} \]

is right Kan extended from the full subcategory $\operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }}^{\leq n})^{\operatorname{op}} \subseteq \operatorname{N}_{\bullet }( \operatorname{{\bf \Delta }})^{\operatorname{op}}$.