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

Definition Let $\operatorname{\mathcal{C}}$ be a category and let $\overline{\mathscr {F}}: \operatorname{\mathcal{C}}^{\triangleright } \rightarrow \operatorname{Set_{\Delta }}$ be a diagram of simplicial sets. Set $\mathscr {F} = \overline{\mathscr {F}}|_{\operatorname{\mathcal{C}}}$, and let $W$ denote the collection of horizontal edges of $ \underset { \longrightarrow }{\mathrm{holim}}(\mathscr {F})$ (Definition We will say that $\overline{ \mathscr {F} }$ is a categorical colimit diagram if the composite map

\[ \underset { \longrightarrow }{\mathrm{holim}}( \mathscr {F} ) \twoheadrightarrow \varinjlim ( \mathscr {F} ) \rightarrow \overline{\mathscr {F}}( {\bf 1} ) \]

exhibits $\overline{\mathscr {F}}( {\bf 1} )$ as a localization of $ \underset { \longrightarrow }{\mathrm{holim}}( \mathscr {F} )$ with respect to $W$. (see Definition Here ${\bf 1}$ denotes the final object of the cone $\operatorname{\mathcal{C}}^{\triangleright } \simeq \operatorname{\mathcal{C}}\star \{ {\bf 1}\} $, and the morphism on the left is the comparison map of Remark