A simplicial object in a category is a contravariant functor from the simplicial category to . Such a functor is uniquely specified by the morphisms and , which satisfy
In particular, a simplicial set is a simplicial object in . Equivalently, one could say that a simplicial set is a presheaf on . The object of a simplicial set is a set of -simplices, and is called the -skeleton.