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

Proposition Let $\operatorname{\mathcal{C}}$ be a category equipped with a functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{QCat}$, and let

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \ar [dr]_{U} \ar [rr]^-{\theta } & & \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}) \ar [dl]^{U'} \\ & \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) & } \]

be the commutative diagram of Remark Then:


For each object $C \in \operatorname{\mathcal{C}}$, the morphism $\theta $ induces an equivalence of $\infty $-categories

\[ \theta _{C}: \{ C\} \times _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \{ C\} \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}). \]

A morphism $f$ of the weighted nerve $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})$ is $U$-cocartesian if and only if $\theta (f)$ is a $U'$-cocartesian morphism of the $\infty $-category $\int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$.


The functor $\theta $ is an equivalence of $\infty $-categories.

Proof. Assertion $(1)$ follows from Example and Theorem Assertion $(2)$ follows from Example together with the descriptions of $U$-cocartesian and $U'$-cocartesian morphisms supplied by Proposition and Remark Assertion $(3)$ follows by combining $(1)$ and $(2)$ with Theorem (since $U$ and $U'$ are cocartesian fibrations, by virtue of Propositions and $\square$