Small presentations of model categories and Vopěnka's principle (Q1707297)

The authors prove existence results for small presentations of model categories generalizing a theorem of \textit{D. Dugger} [Adv. Math. 164, No. 1, 177--201 (2001; Zbl 1001.18001)] from combinatorial model categories to more general model categories. Some of these results are shown under the assumption of Vopěnka's principle. The main theorem applies, in particular, to cofibrantly generated model categories where the domains of the generating cofibrations satisfy a slightly stronger smallness condition. As a consequence, assuming Vopěnka's principle, such a cofibrantly generated model category is Quillen equivalent to a combinatorial model category. Moreover, if there are generating sets which consist of presentable objects, then the same conclusion holds without the assumption of Vopěnka's principle.