So, what is a derived functor?

Research output: Contribution to journalArticlepeer-review


We rethink the notion of derived functor in terms of corre-spondences, that is, functors ε → [1]. While derived functors in our sense, when they exist, are given by Kan extensions, their existence is a strictly stronger property than the existence of Kan extensions. We show, however, that derived functors exist in the cases one expects them to exist. Our definition is espe-cially convenient for the description of a passage from an adjoint pair (F;G) of functors to a derived adjoint pair (LF;RG). In particular, canonicity of such a passage is immediate in our approach. Our approach makes perfect sense in the context of ∞-categories.

Original languageEnglish
Pages (from-to)279-293
Number of pages15
JournalHomology, Homotopy and Applications
Issue number2
StatePublished - 2020

Bibliographical note

Publisher Copyright:
© 2020, Vladimir Hinich.


  • Derived functor
  • ∞-category

ASJC Scopus subject areas

  • Mathematics (miscellaneous)


Dive into the research topics of 'So, what is a derived functor?'. Together they form a unique fingerprint.

Cite this