Comparing composites of left and right derived functors

zbMATH Open1222.55017arXiv0706.2868MaRDI QIDQ554237FDOQ554237

Authors: Michael Shulman 

Publication date: 2 August 2011

Published in: The New York Journal of Mathematics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/0706.2868

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

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

zbMATH Keywords

model categoryadjunctionderived functordouble categoryconjuctionmate

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Cited In (23)

• A pasting theorem for iterated Segal spaces
• Title not available (Why is that?)
• Model structures on the category of small double categories
• Internalizations of decorated bicategories via \(\pi_2\)-indexings
• Algebraic models of change of groups functors in (co)free rational equivariant spectra
• Gluing pseudo functors via \(n\)-fold categories
• Induced model structures for higher categories
• The Gray monoidal product of double categories
• Two-dimensional monadicity
• Title not available (Why is that?)
• Functorial factorizations in the category of model categories
• A Thomason model structure on the category of small \(n\)-fold categories
• The linearity of fixed point invariants
• Monoidal algebraic model structures
• Semantics for two-dimensional type theory
• Lifting recollements of abelian categories and model structures
• So, what is a derived functor?
• Intercategories: a framework for three-dimensional category theory
• Diagram spaces, diagram spectra and spectra of units
• \(G_\infty\)-ring spectra and Moore spectra for \(\beta\)-rings
• Parametrized spaces model locally constant homotopy sheaves
• On Hopf adjunctions, Hopf monads and Frobenius-type properties
• Comparing localizations across adjunctions

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)