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

Proposition Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{QCat}$ be a diagram of $\infty $-categories, and suppose that the category $\operatorname{\mathcal{C}}$ has an initial object. Then the comparison map $\iota : \varprojlim (\mathscr {F}) \hookrightarrow \underset {\longleftarrow }{\mathrm{holim}}(\mathscr {F})$ of Remark is an equivalence of $\infty $-categories.

Proof. Let $C \in \operatorname{\mathcal{C}}$ be an initial object, so that the inclusion map $\{ C\} \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ is left anodyne (Corollary Applying Remark, we see that evaluation at $C$ induces an equivalence of $\infty $-categories $\operatorname{ev}_{C}: \underset {\longleftarrow }{\mathrm{holim}}(\mathscr {F}) \rightarrow \mathscr {F}(C)$. Our assumption that $C$ is initial also guarantees that the composition $(\operatorname{ev}_ C \circ \iota ): \varprojlim (\mathscr {F}) \rightarrow \mathscr {F}(C)$ is an isomorphism of simplicial sets, so that $\varprojlim (\mathscr {F})$ is an $\infty $-category and $\iota $ is an equivalence of $\infty $-categories. $\square$