Combinatorial model categories are equivalent to presentable quasicategories
Algebraic Topology
2025-02-12 v3 Category Theory
K-Theory and Homology
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.
Cite
@article{arxiv.2110.04679,
title = {Combinatorial model categories are equivalent to presentable quasicategories},
author = {Dmitri Pavlov},
journal= {arXiv preprint arXiv:2110.04679},
year = {2025}
}
Comments
35 pages. Comments and questions are welcome. v2: Minor corrections and improvements. v3: Identical to the journal version except for formatting and style