Derivators, pointed derivators and stable derivators (Q1941810): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3509856 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3522274 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy theory of modules and Gorenstein rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Left triangulated categories arising from contravariantly finite subcategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy invariant algebraic structures on topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4304740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4314472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomological direct images in model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Additivity for derivator \(K\)-theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4896538 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Catégories structurées / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994341 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable homotopy theories and stabilization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4790109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220599 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Derived categories and universal problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3764313 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4100657 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4100671 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher Topos Theory (AM-170) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5431522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3345437 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangulated Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopical algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher algebraic K-theory: I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: About Quillen's homotopy theorie of derivatives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categories and cohomology theories / rank | |||
Normal rank |
Latest revision as of 08:03, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Derivators, pointed derivators and stable derivators |
scientific article |
Statements
Derivators, pointed derivators and stable derivators (English)
0 references
22 March 2013
0 references
A prederivator is a contravariant strict two-functor from the two-category of small categories to the `two-category' of not necessarily small categories. A derivator is a prederivator that satisfies some additional axioms. The standard example is the association \(J \mapsto \text{Ho}(M^J)\) for \(M\) a model category. Of particular interest is the case where all of the values of a derivator \(D\) are triangulated categories and all of the functors in \(D\) are exact functors. The abstraction of this idea leads to the concept of a stable derivator. The study of stable derivators was begun by Heller and Grothendieck. More recent work by Cisinski and Neeman shows the continued importance of stable derivators to stable homotopy theory. One motivation for stable deriviators is as follows. If \(e\) denotes the category with one object and one morphism and \(D\) is a stable derivator, then \(D(e)\) is a triangulated category that has all small colimits. Hence stable derivators are an improvement on the notion of triangulated categories. The standard examples come from the derived category of an abelian category or from a stable model category as above. This paper provides a thorough introduction to the concept of derivators, pointed derivators and stable derivators. The author defines a pointed derivator as a derivator \(D\) whose value at \(e\) is a category whose initial and terminal object are isomorphic. This is shown to be equivalent to the much more complicated definition currently in use. A stable derivator is (roughly) a pointed derivator such that the cartesian squares in \(D(e)\) are exactly the cocartesian squares in \(D(e)\). This paper proves that stable derivators take values in triangulated categories and that the functors in a stable derivator are exact. Furthermore the triangulation on \(D(J)\) is canonical. In the unstable case, the author defines an additive derivator to be a derivator such that \(D(e)\) is an additive category. The author then proves that additive derivators are an enhancement of pre-triangulated categories just as stable derivators are an enhancement of triangulated categories. Throughout the paper the modern categorical language of mates is used. This, along with the simpler notion of pointed derivators, streamlines the exposition significantly.
0 references
derivator
0 references
homotopy theory
0 references
abstract homotopy theory
0 references
triangulated categories
0 references
homotopy colimits
0 references
stable homotopy theory
0 references