Kerodon

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

Remark 5.5.3.12 (Edges of the Weighted Nerve). Let $\operatorname{\mathcal{C}}$ be a category equipped with a functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$, and let $(C,x)$ and $(D,y)$ be vertices of the weighted nerve $\int ^{\mathrm{s}}_{\operatorname{\mathcal{C}}}\mathscr {F}$ (see Remark 5.5.3.11). Edges of the weighted nerve $\int ^{\mathrm{s}}_{\operatorname{\mathcal{C}}}\mathscr {F}$ with source $(C,x)$ and target $(D,y)$ can be identified with pairs $(f, e)$, where $f: C \rightarrow D$ is a morphism of the category $\operatorname{\mathcal{C}}$ and $e: \mathscr {F}(f)(x) \rightarrow y$ is an edge of the simplicial set $\mathscr {F}(D)$.