2018/11/29 by Vladimir Hinich, Hinich, V.
Mathematics · #18G10 #18G55 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Quantum Algebra (math.QA)
paper · pdf · doi:10.48550/arxiv.1811.12255
openalex publication_date 2018/11/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially 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 this passage becomes obvious. 2nd version: added comparison to Deligne's definition (SGA4) and a discussion of diagrams of derived functors. Introduction rewritten and references added. 3rd version: description of Kan extensions in terms of correspondences more detailed. 4th version: the final version accepted to HHA.