Combinatorial model categories have presentations
Abstract:
In the paper `Universal homotopy theories', I introduced a method for building model categories via generators and relations. Not every model category can be recovered by this procedure, but the present paper shows that this is true for every combinatorial model category. In more precise terms, I show that every combinatorial model category is Quillen equivalent to a localization of some model category of diagrams of simplicial sets.