Kerodon

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

Exercise 11.9.4.8. In the situation of Corollary 11.9.4.7, show that any functor $V: \Delta ^ n \times \operatorname{\mathcal{C}}(0) \rightarrow \operatorname{\mathcal{C}}$ satisfying conditions $(1)$, $(2)$, and $(3)$ also satisfies condition $(4)$.