  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.

Algebraic Topology;Category Theory;K-Theory and Homology