Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.15779 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916668213559296 |
|---|---|
| author | Schwarz, João |
| author_facet | Schwarz, João |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_15779 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A note on the definition of derived functors Schwarz, João Category Theory Logic 18A15, 18E10, 18G10 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. |
| title | A note on the definition of derived functors |
| topic | Category Theory Logic 18A15, 18E10, 18G10 |
| url | https://arxiv.org/abs/2501.15779 |