Functor Δ^op → Set. Kan complexes = fibrant; nerve of small category is sSet. Model for ∞-groupoids (homotopy types).