Combinatorial model categories are equivalent to presentable quasicategories

Abstract

We establish a Dwyer–Kan equivalence of relative categories of combinatorial model categories, presentable quasicategories, and other models for locally presentable $(\infty ,1)$-categories. This implies that the underlying quasicategories of these relative categories are also equivalent. This article is also available at arXiv:2110.04679v3.