Skip to main content
1 of 3
Ilan Barnea
  • 1.4k
  • 11
  • 20

Here is an extended comment regarding Charles answer, including some more references.

In this paper, Theorem 2.5.9, it is shown that every model category has all limits and colimits. However, it is not hard to find examples of model categories who's underlying $\infty$-categories are neither presentable nor co-presentable. For instance, Isaksen's strict model structure on pro-simplicial sets. It is shown in the paper mentioned above that the underlying $\infty$-category of this model category is the pro category of spaces considered in Lurie's "Higher Topos Theory" Definition 7.1.6.1. The pro category of a large cocomplete and finitely complete $\infty$-category is complete and cocomplete but neither presentable nor copresentable.

In this paper, Proposition 1.5.1, it is shown that any Quillen pair between model categories (not necessarily combinatorial ones) gives rise to an adjoint pair of $\infty$-categories.

It seems plausible to me that the (underlying $\infty$-category of the) relative category of model categories and left Quillen functors between them, with weak equivalences taken to be the Quillen equivalences is equivalent to the $\infty$-category of complete and cocomplete $\infty$-categories and left adjoints between them. Restricting to combinatorial model categories would correspond to restricting to presentable $\infty$-categories in the image. The latter statement is probably already proven, whereas I am pretty sure the former is not.

Ilan Barnea
  • 1.4k
  • 11
  • 20