Kerodon

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

Example 2.4.2.1 (Simplicial Sets). Let $\operatorname{Set_{\Delta }}$ denote the category of simplicial sets. Then $\operatorname{Set_{\Delta }}$ can be regarded as (the underlying ordinary category of) a simplicial category, which we will also denote by $\operatorname{Set_{\Delta }}$: given a pair of simplicial sets $X_{\bullet }$ and $Y_{\bullet }$, we define $\operatorname{Hom}_{ \operatorname{Set_{\Delta }}}( X_{\bullet }, Y_{\bullet } )_{\bullet }$ to be the simplicial set $\operatorname{Fun}( X_{\bullet }, Y_{\bullet })$ parametrizing morphisms from $X_{\bullet }$ to $Y_{\bullet }$ (see Construction 1.4.3.1).