Definition 1.6.3. Let \(C\) be an \(\infty \)-category. A simplicial object in \(C\) is defined to be a functor \(\simp \catop \to C\). We will denote the \(\infty \)-category of simplicial objects by \[ \s C := \Fun (\simp \catop ,C). \]
Generated from the authoritative LaTeX source.