Commit 2024-07-09 17:23 9360fd08
View on Github →feat(CategoryTheory/Triangulated): the Yoneda functors are homological (#14528)
Let C be a pretriangulated category. In this PR, we show that the functors preadditiveCoyoneda.obj A : C ⥤ AddCommGrp for A : Cᵒᵖ and preadditiveYoneda.obj B : Cᵒᵖ ⥤ AddCommGrp for B : C are homological functors.