Authors define and analyze a monoid of endofunctors on the stable homotopy category that includes chromatic localizations, develop an axiomatic framework usable in equivariant settings, and formalize combinatorial parts in Lean.
Monoidal derivators and additive derivators
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
One aim of this paper is to develop some aspects of the theory of monoidal derivators. The passages from categories and model categories to derivators both respect monoidal objects and hence give rise to natural examples. We also introduce additive derivators and show that the values of strong, additive derivators are canonically pretriangulated categories. Moreover, the center of additive derivators allows for a convenient formalization of linear structures and graded variants thereof in the stable situation. As an illustration of these concepts, we discuss some derivators related to chain complexes and symmetric spectra.
fields
math.AT 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Iterated chromatic localisation
Authors define and analyze a monoid of endofunctors on the stable homotopy category that includes chromatic localizations, develop an axiomatic framework usable in equivariant settings, and formalize combinatorial parts in Lean.