Comparing composites of left and right derived functors

zbMATH Open1222.55017arXiv0706.2868MaRDI QIDQ554237FDOQ554237

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.)

zbMATH Keywords

model categoryadjunctionderived functordouble categoryconjuctionmate

Mathematics Subject Classification ID

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

Cited In (21)

• A pasting theorem for iterated Segal spaces
• The linearity of fixed point invariants
• 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
• Monoidal algebraic model structures
• Semantics for two-dimensional type theory
• Lifting recollements of abelian categories and model structures
• 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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Derived Equivalences As Derived Functors 👍 👎
• Comparing the orthogonal and homotopy functor calculi 👍 👎
• Relative left derived functors of tensor product functors 👍 👎
• Derived equivalences of functor categories 👍 👎
• On the idempotency of some composite functors 👍 👎
• Une formule pour les extensions de foncteurs composés 👍 👎
• Composition factors of functors 👍 👎

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)