Abstract. We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category. Moreover, the functors belonging to the stable derivator can be turned into exact functors with respect to these triangulated structures. Along the way, we give a simplification of the axioms of a pointed derivator and a reformulation of the base change axiom in terms of Grothendieck (op)fibration. Furthermore, we have a new proof that a combinatorial model category has an underlying derivator.

We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects in C give rise to E_n-ring spectrum objects in C. In the case that C is the infinity-category of spaces this produces a multiplicative infinite loop space machine which can be applied to the algebraic K-theory of rings and ring spectra. The main tool we use to establish these results is the theory of smashing localizations of presentable infinity-categories. In particular, we identify preadditive and additive infinity-categories as the local objects for certain smashing localizations. A central theme is the stability of algebraic structures under basechange; for example, we show Ring(D \otimes C) = Ring(D) \otimes C. Lastly, we also consider these algebraic structures from the perspective of Lawvere algebraic theories in infinity-categories.Comment: 27 page

Abstract. Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symmetric monoidal category to be "additive". When the category is "stable" in some sense, additivity along cofiber sequences is a question about the interaction of stability and the monoidal structure.May proved such an additivity theorem when the stable structure is a triangulation, based on new axioms for monoidal triangulated categories. In this paper we use stable derivators instead, which are a different model for "stable homotopy theories". We define and study monoidal structures on derivators, providing a context to describe the interplay between stability and monoidal structure using only ordinary category theory and universal properties. We can then perform May's proof of the additivity of traces in a closed monoidal stable derivator without needing extra axioms, as all the needed compatibility is automatic.

Abstract. We show that stable derivators, like stable model categories, admit Mayer-Vietoris sequences arising from cocartesian squares. Along the way we characterize homotopy exact squares, and give a detection result for colimiting diagrams in derivators. As an application, we show that a derivator is stable if and only if its suspension functor is an equivalence.

Abstract. We show that certain tilting results for quivers are formal consequences of stability, and as such are part of a formal calculus available in any abstract stable homotopy theory. Thus these results are for example valid over arbitrary ground rings, for quasi-coherent modules on schemes, in the differential-graded context, in stable homotopy theory and also in the equivariant, motivic or parametrized variant thereof. In further work, we will continue developing this calculus and obtain additional abstract tilting results. Here, we also deduce an additional characterization of stability, based on Goodwillie's strongly (co)cartesian n-cubes.As applications we construct abstract Auslander-Reiten translations and abstract Serre functors for the trivalent source and verify the relative fractionally Calabi-Yau property. This is used to offer a new perspective on May's axioms for monoidal, triangulated categories. Contents