Timeline for Why are derived functors triangulated?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 12 at 10:31 | history | edited | gmvh | Added top-level tag | |
| Oct 1, 2024 at 8:12 | answer | added | Elías Guisado Villalgordo | timeline score: 5 | |
| Sep 20, 2024 at 8:06 | review | Suggested edits | |||
| Sep 20, 2024 at 16:00 | |||||
| Jul 10, 2021 at 16:09 | comment | added | Fernando Muro | @zhenlin it must be indexed by a category with final object then. The derived category is a localization of the homotopy category and the universal property of a localization yields the exactness of derived functors. That's the easiest way to see it IMHO. | |
| Jul 10, 2021 at 8:25 | comment | added | Zhen Lin | @FernandoMuro Derived functors in the sense of Verdier are Kan extensions by definition, but not necessarily pointwise or absolute. As it turns out they are often absolute Kan extensions and therefore have a colimit universal property. | |
| Jul 10, 2021 at 7:39 | comment | added | Fernando Muro | Are you sure Verdier uses Kan extensions? Those categories don't have colimits. | |
| Jul 10, 2021 at 5:33 | history | asked | Ben C | CC BY-SA 4.0 |