Comparing composites of left and right derived functors

MaRDI QIDQ554237zbMATH OpenFDO

Authors Michael Shulman

Publication date 2 August 2011

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

Full work available at URL https://arxiv.org/abs/0706.2868, https://eudml.org/doc/229181, http://www.emis.de/journals/NYJM/j/2011/17-5.html

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

zbMATH Keywords

model categoryadjunctionderived functordouble categoryconjuctionmate

Mathematics Subject Classification ID

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

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

(23)

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

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)