Kerodon

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

Example 4.5.9.15. Let $\operatorname{\mathcal{D}}$ be any simplicial set. Then the projection map $\operatorname{\mathcal{D}}\rightarrow \Delta ^{0}$ is exponentiable (this is a reformulation of Remark 4.5.3.7).