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

Corollary Let $\operatorname{\mathcal{C}}$ be a small category and let $\overline{ \mathscr {F} }: \operatorname{\mathcal{C}}^{\triangleright } \rightarrow \operatorname{Set_{\Delta }}$ be a colimit diagram in the category of simplicial sets. If the diagram $\mathscr {F} = \overline{ \mathscr {F} }|_{ \operatorname{\mathcal{C}}}$ is projectively cofibrant, then $\overline{\mathscr {F}}$ is a categorical colimit diagram.

Proof. Let $\operatorname{\mathcal{D}}$ be an $\infty $-category and define $\overline{\mathscr {G}}: (\operatorname{\mathcal{C}}^{\triangleright })^{\operatorname{op}} \rightarrow \operatorname{QCat}$ by the formula $\overline{\mathscr {G}}(C) = \operatorname{Fun}( \overline{\mathscr {F}}(C), \operatorname{\mathcal{D}})$. By virtue of Proposition, it will suffice to show that the diagram of Kan complexes $\overline{\mathscr {G}}^{\simeq }$ is a homotopy limit diagram. Setting $\mathscr {G} = \overline{\mathscr {G}}|_{ \operatorname{\mathcal{C}}^{\operatorname{op}} }$, our assumption that $\mathscr {F}$ is projectively cofibrant guarantees that the diagram $\mathscr {G}$ is isofibrant (Remark It follows that the diagram of Kan complexes $\mathscr {G}^{\simeq }$ is also isofibrant, and that $\overline{\mathscr {G}}^{\simeq }$ is a limit diagram (Corollary The desired result now follows from Example $\square$