Construction in categorical homotopy theory; contravariant functor from the simplex category to the category of sets