Combinatorial model categories are equivalent to presentable quasicategories
arXiv:2110.04679 · doi:10.1016/j.jpaa.2024.107860
Abstract
We establish a Dwyer-Kan equivalence of relative categories of combinatorial model categories, presentable quasicategories, and other models for locally presentable (infinity,1)-categories. This implies that the underlying quasicategories of these relative categories are also equivalent.
35 pages. Comments and questions are welcome. v2: Minor corrections and improvements. v3: Identical to the journal version except for formatting and style