Kerodon

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

Notation 8.3.4.11. Let $\operatorname{\mathcal{S}}$ denote the $\infty $-category of spaces (Construction 5.5.1.1). We will regard the contractible Kan complex $\Delta ^0$ as an object of $\operatorname{\mathcal{S}}$. For every $\infty $-category $\operatorname{\mathcal{E}}$, we let $\underline{ \Delta ^0}_{\operatorname{\mathcal{E}}}$ denote the constant functor $\operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{S}}$ taking the value $\Delta ^0$.