A note on the definition of derived functors
Category Theory
2025-04-02 v3 Logic
Abstract
The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be formalized in ZFC, unlike the approach using derived categories. Our work is done in a more general context in which the codomain of our functors is any Grothendieck category, not necessarily abelian groups.
Cite
@article{arxiv.2501.15779,
title = {A note on the definition of derived functors},
author = {João Schwarz},
journal= {arXiv preprint arXiv:2501.15779},
year = {2025}
}
Comments
v.3 improves main result: the target category now, insteat of abelian groups, can be any Grothendieck Category. 6 pages