Comparing composites of left and right derived functors
From MaRDI portal
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.
Recommendations
- scientific article; zbMATH DE number 3908653
- scientific article; zbMATH DE number 7641758
- Une formule pour les extensions de foncteurs composés
- On the idempotency of some composite functors
- Composition factors of functors
- Derived Equivalences As Derived Functors
- Derived equivalences of functor categories
- Comparing the orthogonal and homotopy functor calculi
- Relative left derived functors of tensor product functors
- scientific article; zbMATH DE number 2096975
Cited in
(30)- Model structures on the category of small double categories
- On Hopf adjunctions, Hopf monads and Frobenius-type properties
- Diagram spaces, diagram spectra and spectra of units
- Gluing pseudo functors via \(n\)-fold categories
- Algebraic models of change of groups functors in (co)free rational equivariant spectra
- The Gray monoidal product of double categories
- So, what is a derived functor?
- Functorial factorizations in the category of model categories
- Monoidal algebraic model structures
- Two-dimensional monadicity
- Parametrized spaces model locally constant homotopy sheaves
- Lifting recollements of abelian categories and model structures
- G_-ring spectra and Moore spectra for -rings
- The linearity of fixed point invariants
- Intercategories: a framework for three-dimensional category theory
- Comparing localizations across adjunctions
- Induced model structures for higher categories
- scientific article; zbMATH DE number 7641758 (Why is no real title available?)
- scientific article; zbMATH DE number 7646802 (Why is no real title available?)
- A Thomason model structure on the category of small \(n\)-fold categories
- A pasting theorem for iterated Segal spaces
- Internalizations of decorated bicategories via _2-indexings
- Semantics for two-dimensional type theory
- Global model categories and topological André-Quillen cohomology
- Towards 2-derivators for formal -category theory
- Mixed -adic complexes for schemes over number fields
- Premonoidal and Kleisli double categories
- Doubly weak double categories
- Length of fully faithful framed bicategories
- Equivalence via surjections
This page was built for publication: Comparing composites of left and right derived functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q554237)
