Kerodon

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

Exercise 5.5.3.19. Show that the conclusion of Proposition 5.5.3.18 holds for any functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$ (that is, we do not need to assume that each of the simplicial sets $\mathscr {F}(C)$ is an $\infty$-category).