category sSet

The category of simplicial sets, \(\mathrm{sSet}\) is defined as functor category

\begin{align*} \mathrm{Fun}(\Delta^{\mathrm{op}}, \mathrm{Set}) \end{align*}

where \(\Delta^{\mathrm{op}}\) is the opposite category of the simplex category