Kerodon

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

Example 5.3.3.8 (Fibers of the Weighted Nerve). Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$ be functor. For each object $C \in \operatorname{\mathcal{C}}$, Remark 5.3.3.7 and Example 5.3.3.2 supply an isomorphism of simplicial sets

\[ \mathscr {F}(C) \simeq \{ C\} \times _{ \operatorname{N}_{\bullet }( \operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}). \]