# 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.