Kerodon

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

Corollary 3.3.3.4. The functor $\operatorname{Ex}: \operatorname{Set_{\Delta }}\rightarrow \operatorname{Set_{\Delta }}$ admits a left adjoint, given by the construction $X \mapsto \operatorname{Sd}(X)$.