Kerodon

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

6.4 Tags Lost in Reorganization

These tags became irrelevant because they refer to an older organization of various materials.

Remark 6.4.0.1. Let $S$ be a simplicial set, and let $(\operatorname{Set_{\Delta }})_{/S}$ denote the slice category of simplicial sets $X$ equipped with a morphism $q_{X}: X \rightarrow S$. Then we can regard $(\operatorname{Set_{\Delta }})_{/S}$ as a simplicially enriched category, with mapping simplicial sets given by

\[ \underline{\operatorname{Hom}}_{ ( \operatorname{Set_{\Delta }})_{/S} }( X, Y) = \operatorname{Fun}_{S}(X,Y). \]