homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
An (∞,1)-category can be flattened into a 1-category , called its homotopy category, by forgetting higher morphisms. A derivator is a refinement of , in the sense that it retains enough information about for many purposes, like computing homotopy colimits and homotopy limits. Roughly speaking, the idea is to retain the data of the homotopy categories of all categories of diagrams in , together with the induced functors between them. Since derivators can be studied using only ordinary 2-category theory, they are often practical in situations when one requires more information than the homotopy category retains, but not the whole (∞,1)-category .
Very similar structures were invented independently by Grothendieck (who introduced the name “derivator”), Alex Heller (who called his version “homotopy theories”), and Franke (who considered only the stable case and called his version a “system of triangulated diagram categories”). The definition given below combines elements from the work of all three.
The notion of derivator can be motivated in several ways.
Suppose we start from the perspective that what we really study in homotopy theory are (∞,1)-categories. The homotopy category of an (∞,1)-category (the 1-category obtained by setting all equivalent 1-morphisms equal) is a fairly coarse invariant, but for some purposes it is sufficient. On the other hand, sometimes we need more than merely the homotopy category, but doing everything with -categories can be technically daunting. Frequently, all we need from an -category that is not present in its homotopy category is to know that we have well-behaved constructions of homotopy limits and homotopy colimits.
A derivator is thus a compromise notion, containing more information than a homotopy category, but being easier to work with than an -category. It consists of a homotopy category together with extra structure that enables one to compute with homotopy limits and colimits. Any -category with sufficiently many limits and colimits has an underlying derivator, and working with these derivators suffices for a surprising number of things we may want to do with -categories. However, derivators are an essentially 1-categorical notion, so we can study them using ordinary 2-category theory. Thus derivators provide a “truncated” version of higher category theory, which gives us the language to characterize higher category theory using only usual category theory, without any emphasis on any particular model (in fact, without assuming we even know any such model).
For instance, it turns out that we can also express many convenient universal properties in terms of derivators. A striking example is the theory of triangulated categories: if is an abelian category, its (bounded) derived category is not defined by a universal property. A natural statement would be that, given a triangulated category, the category of additive functors which send short exact sequences to distinguished triangles is equivalent to the category of triangulated functors , but this statement is false, and in fact, does not even make sense (unless is semi-simple). But, in practice, everything behaves as if the above statement were meaningful and true. The ‘reason’ why this does not work is that the cone of a map in a triangulated category is not defined by a universal property. On the other hand, the cone of a morphism of complexes is canonically defined: this is the homotopy colimit of the diagram . In the world of derivators, we can remedy this situation and recover a suitable universal property.
On the other hand, we may ask: Why do we take for granted that the homotopy theory of spaces provides a good notion (among others) of ∞-groupoid? And why should we expect everything to be enriched in higher groupoids anyway? A priori this may seem arbitrary (although it certainly works very well). Instead we might ask: what is the mathematical structure over which everything is canonically enriched? How can we even correctly formulate such a question?
The notion of derivator provides a way to correctly formulate such a question, and the answer turns out to be mostly what we expect. Every type of “category theory” (at least, category theory without an a priori given enrichment) that we might want to do is automatically and uniquely enriched in homotopy types, i.e. in the homotopy category of CW-complexes or Kan complexes. (For ordinary 1-category theory, this enrichment is trivial, i.e. factors through sets considered as discrete homotopy types.) A derivator is simply a structure with the characteristics of ordinary category theory: categories, functors, natural transformations, Kan extensions, Grothendieck fibrations. We can then show that any derivator acquires such an enrichment, so that homotopy types are a canonical enriching place for “category theories.”
Let Cat denote the 2-category of large categories (not necessarily even locally small), and let be some 2-category of small categories, thought of as diagrams. One common choice is the 2-category of all small categories (which generates ), but we might also choose the 2-category of finite categories. A prederivator with domain is a strict 2-functor
As usual, denotes the 1-cell dual of a 2-category. Thus, a prederivator is a “-valued presheaf” on . Prederivators form a 2-category whose morphisms are pseudonatural transformations and whose 2-cells are modifications.
Another common convention is to use the double dual which reverses both 1-cells and 2-cells, although confusingly sometimes in the literature this double dual is still denoted “”. The motivation for the latter choice seems to be that then is the category of “presheaves on with values in ” instead of the category of “diagrams of shape in .” We have chosen the convention above since the main purpose of a derivator is a calculus of homotopy limits and colimits, and it is more usual to take limits and colimits of covariant functors. However, since is isomorphic to via the 2-functor (as long as is closed under opposite categories in ), there is really very little difference.
There are two main motivating examples. Firstly, any category defines a “representable” prederivator by the assignation , sending to the category of functors . This defines an embedding of into .
Secondly, if is any category with weak equivalences, there is a prederivator which sends to the localization/homotopy category of relative to the objectwise weak equivalences (as we allowed categories in to have large hom-sets, these localization exist). In general, this is a non-representable prederivator, although of course if the weak equivalences are just the isomorphisms, it reduces to the representable case. Note that to construct it, we don’t need anything besides ordinary (2-)category theory.
A derivator is a prederivator which satisfies a list of axioms. These axioms are of two sorts.
The first set of axioms says that there exist well-behaved homotopy limits and colimits, and more generally homotopy Kan extensions. Specifically, we require the following.
(Der3) For any functor in , the inverse image functor admits a left adjoint and a right adjoint . These can be understood as homotopy Kan extensions
(Der4) For any comma square
in , the Beck-Chevalley transformations
are isomorphisms. Intuitively, this says that the Kan extensions in question are pointwise. In the presence of the second set of axioms, it suffices to require this when is the terminal category (for the first case) and when is so (for the second).
The second set of axioms are “sheaf” conditions. Of course, we cannot assert that is exactly a sheaf (in the appropriate 2-categorical sense), since the terminal category in is 2-categorically dense and so any sheaf on it is representable (and represented by ), whereas we want to also allow non-representable derivators. But we do need some sheaf-like properties in order to do category theory. All of the following axioms can be understood as asserting that for some covering family in , the canonical map from to the category of descent data for the covering, while not an equivalence, has some weaker good properties. They can also be understood as 2-categorical sketch conditions.
The standard axioms are:
(Der1) takes coproducts to products. Sometimes we require this only for finite coproducts. In particular, we have .
(Der2) For any , consider the family of functors determined by the objects of . Then the induced functor
is conservative (though not generally faithful). This in turn implies that the same is true for any jointly essentially surjective family of functors.
(Der5) For any , if denotes the interval category, then the induced functor
is essentially surjective and full (though again, it is not generally faithful). Since this functor is also conservative by (Der2), it is then a weakly smothering functor.
There is substantial variation in (Der5). Sometimes it is convenient to assume this property when is any (perhaps finite) free category. Some references do not include (Der5) at all in the definition, instead calling a derivator strong if it satisfies (Der5).
Mike Shulman: It’s clear to me that these are desirable requirements, which are moreover satisfied by all derivators of the form , but I would really like a conceptual explanation for why these axioms are sufficient.
It is easy to see that if has pointwise left and right Kan extensions along all functors in , then its representable prederivator is a derivator. Somewhat more difficult to prove is that if is a model category (or more generally, has well-behaved homotopy Kan extensions), then the prederivator is also a derivator. Thus the derivator encodes the notions of homotopy colimit and of homotopy limit. Note again that this way of seeing homotopy (co)limits does not use anything besides usual (2-)category theory.
It may sometimes be useful to consider prederivators which are like derivators, but which “do not have all limits and colimits.” Let us say that a semiderivator is a prederivator satisfying (Der1), (Der2), and (Der5).
If is a semiderivator, is a -shaped diagram, and is a functor in , then a pointwise left extension of along is an object “” in , together with a morphism which is initial in the comma category (this says that is a “local” or “partial” value of the left adjoint at , although the entire functor may not exist) which additionally satisfies the local Beck-Chevalley condition for any comma square as above. We have a dual notion of pointwise right extension.
We say a semiderivator is complete (resp. cocomplete) if it admits all pointwise right (resp. left) extension. Clearly a semiderivator is a derivator just when it is both complete and cocomplete.
Grothendieck’s definition of a derivator included only axioms (Der1), (Der2), (Der3), and (Der4).
Alex Heller‘s definition of a homotopy theory included axioms (Der1), (Der2), (Der3), a weaker form of (Der4), and (Der5) for finite free categories. His pointed homotopy theories add the axiom of a pointed derivator, and his stable homotopy theories include a weaker version of the axiom now used for a stable derivator.
Franke’s definition of a system of triangulated diagram categories was irreducibly pointed, taking to consist of categories enriched over pointed sets. (See pointed derivator for the relationship of this approach to that of adding a “pointedness” axiom to an unpointed notion of derivator.) In this context, he assumed axioms analogous to (Der1), (Der2), (Der3), (Der4), and (Der5) for the interval category, plus the stability axiom. He also observed that if consists entirely of posets, then (Der4) follows from the other axioms.
Axioms (Der1)–(Der4) are clearly the easiest to motivate and the most obviously necessary. Axiom (Der5) is used in order to do things with morphisms in , by first lifting them to objects of . In particular, it is necessary to conclude that a stable derivator gives a triangulated category.
We now describe an “omnibus” theorem which is the main thing enabling us to compute with homotopy Kan extensions in a derivator.
For any functor in , we say it is a -equivalence if the induced transformation is an isomorphism, where is the projection to the terminal category, and similarly for . This means that homotopy colimits of constant diagrams of shapes and are equivalent. By the Yoneda lemma, this is equivalent to saying that
is an isomorphism for all , and by adjunction this is equivalent to saying that
is an isomorphism—i.e. that is fully faithful when restricted to the image of . In particular, if is fully faithful, then is a -equivalence.
In a representable derivator (i.e. in ordinary category theory), the colimit of a constant diagram of shape is a copower with the set of connected components of . Thus, in a representable derivator, any functor that induces an isomorphism on sets of connected components will be a -equivalence, and the converse is true as long as the category in question is not a preorder.
By contrast, in the derivator coming from a model category or -category, the colimit of a constant diagram of shape is a copower with the nerve of regarded as an -groupoid, so in this case any functor that induces a homotopy equivalence of nerves (a stronger condition) will be a -equivalence. In fact, one can show:
(Alex Heller, Cisinski) A functor which induces a homotopy equivalence of nerves is a -equivalence for any derivator .
This was proven by Heller using the canonical enrichment of any derivator over -groupoids. It also follows from Cisinski’s theorem that the nerve equivalences are the smallest basic localizer, once we verify that the -equivalences are in fact a basic localizer—as we will now proceed to do.
Any functor in with a fully faithful left or right adjoint is a -equivalence.
If in , then , and if is fully faithful, then the unit is an isomorphism, and thus so is the unit . Hence is also fully faithful and so is a -equivalence. The other case is dual.
Let denote the class of -equivalences in . Then is saturated, in the sense that if is a morphism in which becomes an isomorphism in , then is a -equivalence.
Fix some and consider the functor which sends to . Since inverts -equivalences, it factors through . But if becomes an isomorphism in , then it must be inverted by , but that is the definition of being a -equivalence (as and vary).
For any , the class of -equivalences is a basic localizer.
Saturation gives 2-out-of-3 property and closure under retracts. If has a terminal object, then has a fully faithful right adjoint and hence is a -equivalence. Finally, given a triangle
to show that is a -equivalence, it suffices to show that the transformation is an isomorphism. By (Der2) it suffices to check this for any . We can then form the comma objects
and the transformation factors as
using the analogous map for the functor . Therefore, if is a -equivalence, this composite is an isomorphism, and if this holds for all , then by (Der2), is a -equivalence.
Therefore, since the nerve equivalences are the smallest basic localizer, every nerve equivalence is a -equivalence for any derivator .
Now suppose given any square
in which commutes up to a specified 2-cell . Given a derivator , we say that this square is -exact if the Beck-Chevalley transformations
are isomorphisms. (In fact, if one of these is an isomorphism, so is the other, since they are mates.) Thus, the derivator axioms say that all comma squares are exact.
Like the notion of exact square in ordinary category theory, this is a “functional” definition, but we can also give a more explicit characterization, using more or less the same argument. Given such a square as above and , , we write for the category whose objects are triples
The morphisms of are morphisms in which make the evident triangles commute. Now there is a functor (the latter considered as a discrete category), which sends the above triple to the composite
in .
A square as above is -exact if and only if for all and , the functor is a -equivalence.
It is easy to verify that the horizontal or vertical pasting composite of exact squares is exact; hence if the given square is exact, then so is the composite
for any , where the left-hand square is a comma square. Conversely, if all of these squares are exact, then so is the given one, by (Der2). We play the same game by composing with comma squares on the top to conclude that the given square is exact if and only if all the induced squares
are exact. But the square
is exact, since it is a comma square, and by the universal property of a comma square, the square (2) factors uniquely through this one by a functor , which is precisely the functor defined above. Specifically, we have and . Therefore, the Beck-Chevalley transformation is equal to the composite
where the second map is the Beck-Chevalley transformation for the comma square, which is an isomorphism. Thus, (2) is exact just when is an isomorphism. But this says exactly that is a -equivalence.
A square is said to be homotopy exact if it is -exact for all derivators (or, equivalently, for all -categories, or for all model categories, or simplicially enriched categories).
A square is homotopy exact if and only if for all and , the functor induces a weak homotopy equivalence of nerves.
“If” follows directly from Theorem and the previous theorem. Conversely, we can take to be the derivator of spaces (-groupoids), where the -equivalences are precisely the nerve equivalences.
For each , , and in , let denote the subcategory of consisting of those triples for which the composite (1) is equal to . Then the square is homotopy exact if and only if each category has a contractible nerve.
This gives a convenient way to compute many homotopy limits and colimits, which works in any derivator, and a fortiori in any -category or model category. Example applications can be found at homotopy exact square.
We can consider now the 2-category of derivators. Actually, there are several different ways to define such a 2-category, depending on whether we require morphisms to preserve homotopy colimits, limits, both, or neither. Let us write for the 2-category whose morphisms preserve colimits. Thus:
its objects are derivators,
its 1-morphisms are pseudonatural transformations which commute with the functors (i.e. the canonical comparison maps for these are isomorphisms),
its 2-cells are the modifications between these.
We write for hom-categories in this 2-category.
Now, given a small category , there is a -functor, defined by evaluating at
Note that, for any (pre)derivator , the category is canonically equivalent to the category of morphisms of prederivators from to (considering as a representable prederivator). Of course, will usually not itself be a derivator, but nevertheless this -functor is representable in the 2-category .
Thus, there exists a derivator , endowed with a morphism of prederivators (called the Yoneda embedding), such that, for any derivator , composing with h defines an equivalence of categories
In other words, the map is the “free completion of by homotopy colimits” in the sense of derivators.
Furthermore, can be described rather explicitly: it is the derivator associated to the model category of simplicial presheaves on . In particular, the usual homotopy theory of simplicial sets gives rise to the derivator , where stands for the terminal category. Note that in order to conclude this, we didn’t take for granted that homotopy types should be important: its universal property is formulated purely with ordinary category theory.
From there, you can see that any derivator is canonically enriched in the derivator : as acts uniquely on any prederivator, acts uniquely on any derivator (as far as we ask compatibility with homotopy colimits). Thus the homotopy hypothesis might be reformulated vaguely as: is there an algebraic model of ? Then one may guess that some notion of higher groupoid might do the job.
Viewing a derivator as a partway point between an -category and its homotopy category, and recalling that -categories are often presented by categories with weak equivalences and in particular model categories, we can construct derivators in two general ways.
If is a category with weak equivalences, then the representable prederivator defined by comes equipped with weak equivalences on each category . We define the homotopy prederivator by inverting these weak equivalences in each diagram category:
If is a homotopical category with a functorial three-arrow calculus?, then is a prederivator satisfying axioms (Der1), (Der2), and (Der5).
Actually, it is enough to assume that, for every small category , admits a (not necessarily functorial) three-arrow calculus, but in practice this only happens when we have a functorial three-arrow calculus for .
If is a model category (complete and cocomplete, but possibly without functorial factorisations), then is a derivator (with the strong version of Der5).
Axioms (Der1) is easy to check, and when has functorial factorisations, we have a functorial three-arrow calculus. Axiom (Der3) is also easy, since homotopy limits and colimits in categories with weak equivalences are derived functors of the usual limits and colimits, and so they supply left and right adjoints to derived pullback functors. (This shows moreover that homotopy limits and Kan extensions in a model category coincide with the notions of homotopy limit and Kan extension in its homotopy derivator, so that by working in we really are studying the things we want to study.) Axiom (Der4) requires a bit of work; there is a proof for combinatorial model categories using the injective model structure in (Groth). Axiom Der 5 is discussed in Theorem 9.8.5 in (Radulescu Banu). The theorem above remains true for suitable (co)fibration categories for which a suitable version of the injective and projective structures are always available; see Theorem 9.5.5 in (Radulescu Banu).
Note that if is any complete and cocomplete 1-category, we can equip it with its trivial model structure in which the only weak equivalences are isomorphisms. Then the above derivator is the same as the representable prederivator , which can easily be proven to be a derivator directly.
In this connection, it is interesting to point out that a given homotopy category can admit multiple “enrichments” to a derivator. For instance, the homotopy category of the model category of chain complexes over a field is equivalent to the category of graded modules over that field, which is itself complete and cocomplete. Thus we have two distinct derivators, which have equivalent underlying homotopy categories .
If is an (∞,1)-category, it has a homotopy category obtained by identifying equivalent 1-morphisms. If our -categories are modeled by quasicategories, then is the left adjoint of the nerve, often denoted .
Since categories are in particular -categories, for any category we have a functor (∞,1)-category , and thus a homotopy category . We define the homotopy prederivator of by
If has limits and colimits in the -categorical sense, then is a derivator (this is an interpretation of the theory of pointwise Kan extensions in -categories). A proof of this is sketched in GPS, Example 2.5. The comparison of the derivator associated to a cofibration category (hence also to any model category) and of the derivator associated to the Dwyer-Kan localization of is discussed by Lenz.
There are also examples of derivators not satisfying (Der5) that do not arise from homotopy theory or higher category theory in this way. For instance, see Remark 5.4 and Example 5.5 in Lagkas-Nikolos.
We discuss precise versions of the idea that derivators indeed constitute a model of (∞,1)-category theory.
The sub-2-category of “locally presentable” derivators with left adjoints as morphisms between them, among the 2-category of all derivators (see above), is equivalent to the 2-localization of the 2-category of left proper1 combinatorial model categories at the Quillen equivalences.
This is shown in (Renaudin 2006). See at Ho(CombModCat) for more.
Notice that locally presentable (∞,1)-categories are precisely those (∞,1)-categories that arise, up to equivalence of (∞,1)-categories as simplicial localizations of combinatorial model categories. Hence this theorem suggests that there is, at least, an equivalence of 2-categories between the 2-category of presentable derivators and the homotopy 2-category of the (∞,2)-category Pr(∞,1)Cat. However, an actual proof of this seems to be missing.
As a corollary, we obtain a canonical comparison functor
from the homotopy category presentable derivators with left adjoint morphisms, to the homotopy category of an (∞,1)-category of Pr(∞,1)Cat.
This is induced by the universal property of the 2-localization from the fact that the functor that forms simplicial localizations
sends Quillen equivalences to equivalence of (∞,1)-categories (see thereresentable infinity-category#PresentedByCombinatorialSimplicialModelCategories)).
Special kinds of derivators:
The calculus of homotopy Kan extensions used in derivators:
Special limits and structures in derivators:
The term derivator is originally due to Grothendieck, introduced in Pursuing Stacks . The first fifteen chapters of a 2000 page manuscript of Grothendieck (in French) about derivators can be found at:
Independently, there is a version due to Alex Heller (who called them “homotopy theories”):
Apparently also independent is the development by Franke, who takes an enriched approach to the pointed case and also assumes stability:
Georges Maltsiniotis has written an introduction to the topic (in French):
He also gave a course (in English) in Seville, Sep 2010, and part 3 is on derivators:
Part of the above material is adapted from
Cisinski has also written a number of papers on the subject (in French), which can be found at his homepage.
— Images directes cohomologiques dans les catégories de modèles. Ann. Math. Blaise Pascal, 10(2):195–244, 2003.
— Catégories dérivables, Bull. Soc. Math. France, Tome 138 (2010) no. 3, pp. 317-393. NUMDAM
Derivators were also recently used by Gonçalo Tabuada in a universal characterization of higher algebraic K-theory:
An introduction to some of the theory of pointed and stable derivators, in English, can be found in the paper:
An introductory discussion aimed towards stable derivators is also in
Other references include:
Andrei Radulescu Banu, Cofibrations in Homotopy Theory, arXiv:math/0610009, 2006
Tobias Lenz, Homotopy (Pre-)Derivators of Cofibration Categories and Quasi-Categories, Algebr. Geom. Topol. 18 No. 6 (2018), pp. 3601–3646. arXiv:1712.07845
Ioannis Lagkas-Nikolos, Levelwise modules over separable monads on stable derivators, arXiv:1608.06340, 2016
Coley, Ian, The theory of half derivators, arxiv:2010.12057, 2020
Richardson, James, Enriched derivators, arXiv:2010.07740, 2020
Moritz Groth, Kate Ponto, and Mike Shulman, Mayer-Vietoris sequences in stable derivators. Homology, Homotopy and Applications 16 (1) 2014, arxiv:1306.2072
An brief informal discussion of derivators as a 2-categorical tool for studying -categories is contained in
In the paper
it is proven that the 2-category of “locally presentable” derivators is equivalent to the localization of the 2-category of combinatorial model categories at the Quillen equivalences (see also at Ho(CombModCat)). Thus in some sense derivators capture “all the information” about a combinatorial model category, hence also about a locally presentable (∞,1)-category.
Along somewhat similar lines, in
it is shown that -categories can be literally embedded in “prederivators” as long as we allow strict morphisms between the latter (which is arguably somewhat against the spirit of derivators, but still interesting), and that at the 2-categorical level the embedding is conservative but generally fails to be full on large -categories. This is developed further in
On lifting derivators from the homotopy categories of (infinity,1)-categories to the homotopy 2-categories of (infinity,2)-categories:
The condition of left properness does not appear in the arXiv version of Renaudin 2006, but is added in the published version. By Dugger's theorem (see here) every combinatorial model category is Quillen equivalent to a left proper one, but it is not immediate that every zig-zag of Quillen equivalences between left proper combinatorial model categories may be taken to pass through only left proper ones. ↩
Last revised on September 12, 2023 at 17:59:33. See the history of this page for a list of all contributions to it.