Kerodon

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

Exercise 5.3.3.11. Let $\operatorname{\mathcal{C}}$ be a category and let $\alpha : \mathscr {F} \rightarrow \mathscr {G}$ be a natural transformation between functors $\mathscr {F}, \mathscr {G}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$. Show that, if $\alpha $ is a levelwise trivial Kan fibration, then the induced map of weighted nerves $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \operatorname{N}_{\bullet }^{\mathscr {G}}(\operatorname{\mathcal{C}})$ is a trivial Kan fibration of simplicial sets.