Comparing composites of left and right derived functors

Abstract

We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2-categories, then gives us canonical ways to compare composites of left and right derived functors. We give a number of sample applications, most of which are improvements of existing proofs in the literature.

44 pages; expanded with detailed examples added; final version published in NYJM

References in corpus (4)

• Higher Topos Theory
• Understanding the small object argument
• Pseudo Algebras and Pseudo Double Categories
• Parametrized spaces model locally constant homotopy sheaves

Cited by in corpus (23)

• A necessary and sufficient condition for induced model structures
• Homotopy limits and colimits and enriched homotopy theory
• Duality and traces for indexed monoidal categories
• Constructing symmetric monoidal bicategories functorially
• Parametrized spaces model locally constant homotopy sheaves
• String Diagrams For Double Categories and Equipments
• Monoidal derivators and additive derivators
• A double-dimensional approach to formal category theory
• Gluing pseudo functors via $n$-fold categories
• Periodic points and topological restriction homology
• Comparing localizations across adjunctions
• Algebraic models of change of groups functors in (co)free rational equivariant spectra
• Mixed $\ell$-adic complexes for schemes over number fields
• Monoidal algebraic model structures
• Alternative notion to intercategories: part I. A tricategory of double categories
• Induced model structures for higher categories
• Some functorial factorizations for Quillen functors
• Coherence for indexed symmetric monoidal categories
• Parametrized spectra, a low-tech approach
• The Double Category of Paired Dialgebras on the Chu Category
• Pseudomonads and Descent, PhD Thesis (Chapter 1)
• $G_{\infty }$-ring spectra and Moore spectra for $\beta$-rings
• Lifting bicategories through the Grothendieck construction