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

Proposition Let $\operatorname{\mathcal{C}}$ be a small category, let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{QCat}$ be a diagram of $\infty $-categories, and let $\alpha : \mathscr {F} \rightarrow \mathscr {F}^{+}$ be the natural transformation of Construction Then $\mathscr {F}^{+}: \operatorname{\mathcal{C}}\rightarrow \operatorname{QCat}$ is an isofibrant diagram, and $\alpha $ is a levelwise categorical equivalence. Moreover, $\alpha $ is also a monomorphism.

Proof. It follows from Corollary that the diagram $\mathscr {F}^{+}$ is isofibrant. To see that $\alpha $ is a monomorphism, we observe that for each object $C \in \operatorname{\mathcal{C}}$, the functor

\[ \alpha _{C}: \mathscr {F}(C) \rightarrow \mathscr {F}^{+}(C) = \operatorname{Fun}^{ \operatorname{CCart}}_{ / \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) }( \operatorname{N}_{\bullet }( \operatorname{\mathcal{C}}_{C/ }), \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})) \]

has a left inverse, given by the evaluation map

\[ \operatorname{ev}_{C}: \operatorname{Fun}^{ \operatorname{CCart}}_{ / \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) }( \operatorname{N}_{\bullet }( \operatorname{\mathcal{C}}_{C/ }), \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})) \rightarrow \{ C\} \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \simeq \mathscr {F}(C). \]

Since $\operatorname{ev}_{C}$ is a trivial Kan fibration (Proposition, it follows that $\alpha _{C}$ is an equivalence of $\infty $-categories. $\square$