11
$\begingroup$

Edit & Note: I'm declaring a convention here because I don't feel like trying to fix this in a bunch of spots: If I said model category and it doesn't make sense, I meant a model-category "model" of an (infinity,1)-category. Also, "model" in quotes means the English word model, whereas without quotes it has do do with model categories.

At the very beginning of Lurie's higher topos theory, he mentions that there is a theory of $(\infty,1)$-categories that can be directly constructed by using model categories.

What I'd like to know is:

Where can I find related papers (Lurie mentions two books that are not available for download)?

How dependent on quasicategories is the theory developed in HTT? Can the important results be proven for these $(\infty,1)$-model-categories by proving some sort of equivalence (not equivalence of categories, but some weaker kind of equivalence) to the theory of quasicategories?

When would we want to use quasicategories rather than these more abstract model categories?

And also, conversely, when would we want to look at model categories rather than quasicategories?

Does one subsume the other? Are there disadvantages to the model category construction just because it requires you to have all of the machinery of model categories? Are quasicategories better in every way?

The only "models" of infinity categories that I'm familiar with are the ones presented in HTT.

$\endgroup$
1
  • 1
    $\begingroup$ Just for your convenience, Lurie referenced Hirschorne with regard to this subject. $\endgroup$ Commented Dec 12, 2009 at 13:39

5 Answers 5

25
$\begingroup$

You can't produce every ($\infty$,1)-category from a model category. The slogan is that every presentable ($\infty$,1)-category comes from a model category, and every adjoint pair between such comes from a Quillen pair of functors between model categories. The paper by Dugger on Universal model categories works out this formalism from the point of view of model categories. (A companion paper shows that a large class of model categories (the combinatorial ones) are "presentable" in this sense.)

(I say it's a slogan, but I'm sure it's a theorem; I just don't have a reference for you.)

Presentable ($\infty$,1)-categories are special among all ($\infty$,1)-categories; in particular, they are complete and cocomplete.

For instance, you can define the notion of ($\infty$,1)-topos in terms of model categories, since ($\infty$,1)-topoi are presentable, and morphisms between such are certain kinds of adjoint functor pairs.

$\endgroup$
15
  • 9
    $\begingroup$ I dunno. Take a Lie group G. This is a topological group, so it is an ($\infty$,1)-category (use the "model" of ($\infty$,1)-categories as topologically enriched categories). It is small, and is not presentable. Lie groups are interesting, and one might want to think about "representations", which in some general formulation are functors from G to some fixed ($\infty$,1)-category C. You can think about this using model categories, if C is a topologically enriched model category (there's a model category of enriched functors $G\to C$). But it's a bit awkward as a general formalism. $\endgroup$ Commented Dec 12, 2009 at 16:20
  • 9
    $\begingroup$ My favorite small $(\infty,1)$-categories are those of perfect complexes on a scheme say, or more generally compact objects in a stable presentable $\oo$-category. Anytime you want to put finiteness conditions on your modules/representations/sheaves/spaces etc you leave the presentable world (though you can usually study them using presentable tools by say passing to Ind-categories). $\endgroup$ Commented Dec 12, 2009 at 20:22
  • 12
    $\begingroup$ Ordinary category theory would be pretty limited if it could only talk about locally presentable categories! How do you even say something like "C is complete" i.e. "C has limits indexed by small categories" if you don't know what a "small category" is? The same applies in the $(\infty,1)$-world. $\endgroup$ Commented Dec 12, 2009 at 20:44
  • 5
    $\begingroup$ The problem with "presentable" is that there is a general notion of a "presentable object" in a category, namely one such that hom(x,-) preserves k-filtered colimits for some k. So "presentable category" obviously means "presentable object in Cat." The term "locally presentable category" indicates that it is not the category itself, but its objects, which are presentable. $\endgroup$ Commented Dec 13, 2009 at 3:31
  • 5
    $\begingroup$ That's an unfortunate use of "continuous," because "continuous" is well-established in ordinary category theory to mean "(small) limit-preserving," while "cocontinuous" means "(small) colimit-preserving." Also, I would have thought the natural class of functors between locally presentable (∞-)categories would be the accessible functors, i.e. those preserving k-filtered colimits for some k. I can think of lots of natural functors on locally presentable (∞-)categories that are accessible but don't preserve arbitrary colimits. But anyway, I was thinking about arbitrary functors. $\endgroup$ Commented Dec 14, 2009 at 4:23
7
$\begingroup$

You might want to take a look at the responses to How to think about model categories?

Even if you only cared about presentable (∞,1)-categories, you still might prefer the general (∞,1)-categorical machinery to that of model categories, if only to speak of the (∞,1)-category of all presentable (∞,1)-categories. I don't know of any corresponding "model 2-category" of model categories (though one can see traces of what it ought to be in the work of Dugger).

However, model categories do have certain advantages. There are some model categories arising from algebra for which I don't know any alternative description of the associated (∞,1)-category, such as the model category of chain complexes of comodules over a Hopf algebra. Even when this is not the case, model categories are often more convenient for computation. For instance, I can write down a (∞,1)-categorical description of some group cohomology, but to compute it I'll probably write down a resolution of something, which is the prescription coming from model categories.

$\endgroup$
2
  • $\begingroup$ Would you mind elaborating on your Hopf algebra example? if the Hopf algebra is for concreteness functions on an algebraic group, aren't you describing sheaves on the algebraic stack BG, which have a natural oo-categorical description (eg as a limit, or more directly as comodules for a comonad)? $\endgroup$ Commented Dec 12, 2009 at 20:10
  • $\begingroup$ Oh, I was worried about the case where the Hopf algebra is not flat over the base ring, but I guess already in ordinary algebra that is considered a Bad Thing to Do. $\endgroup$ Commented Dec 12, 2009 at 21:51
7
$\begingroup$

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 (not necessarily a combinatorial one) has all limits and colimits. However, it is not hard to find examples of model categories whose 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.

$\endgroup$
2
3
$\begingroup$

There are four different models for $(\infty,1)$-categories: simplicial categories, Segal categories, complete Segal spaces and quasicategories. A survey of these and their equivalences is provided by Julia Bergner's A survey of $(\infty, 1)$-categories.

$\endgroup$
3
  • 2
    $\begingroup$ There are more than four. In addition to variants of simplicially enriched categories, Segal categories, and complete Segal spaces which use, say, topological spaces instead of simplicial sets, there are also $A_\infty$-categories. $\endgroup$ Commented Dec 12, 2009 at 20:46
  • $\begingroup$ Doesn't the fact that topological spaces and simplicial sets are Quillen equivalent imply that the variants you mention are essentially the same thing? $\endgroup$ Commented Dec 12, 2009 at 21:49
  • 5
    $\begingroup$ Well, yes, but all the models for $(\infty,1)$-categories are Quillen equivalent, so they are all "essentially the same thing." (-: Simplicially enriched and topologically enriched categories are certainly more closely related than either one is to quasicategories, but they are not identical either. For instance, every topologically enriched category is fibrant, which is not the case for simplicially enriched ones. $\endgroup$ Commented Dec 13, 2009 at 3:34
1
$\begingroup$

There is a followup article, first in the 5-article series Derived Algebraic Geometry:

In particular,

The theory of stable ∞-categories is not really new: most of the results presented here are well-known to experts. There exists a sizable literature on the subject in the setting of stable model categories (see, for example, [27]). The theory of stable model categories is essentially equivalent to the notion of a presentable stable ∞-category, which we discuss in §15.

$\endgroup$
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .