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

Corollary Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ be a morphism of simplicial sets which factors through the full subcategory $\operatorname{N}_{\bullet }^{\operatorname{D}}( \operatorname{Pith}( \mathbf{Cat} ) ) \subset \operatorname{\mathcal{QC}}$ of Remark Then the projection map $\int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow \operatorname{\mathcal{C}}$ is an inner covering map of simplicial sets.

Proof. By virtue of Corollary, we may assume without loss of generality that $\operatorname{\mathcal{C}}= \Delta ^ n$ is a standard simplex. In this case, we wish to show that the simplicial set $\int _{\operatorname{\mathcal{C}}} \mathscr {F}$ is isomorphic to the nerve of an ordinary category (see Proposition, which is a special case of Proposition $\square$