Commit 2024-06-09 22:38 d4e36bbf

View on Github →

feat: the homology sequence of a distinguished triangle in the derived category (#13664) In this PR, we define homologyFunctor C n : DerivedCategory C ⥤ C, show they are homological functors and construct the long exact sequences associated to distinguished triangles in the derived category.

Estimated changes