Simplicial sets are discrete analogs of topological spaces. They have played a central role in algebraic topology ever since their introduction in the late 1940s, and they also play an important role in other areas such as geometric topology and algebraic geometry. On a formal level, the homotopy theory of simplicial sets is equivalent to the homotopy theory of topological spaces. In view of this equivalence, one can apply discrete, algebraic techniques...