Definition 13.3.5. Let \mathcal{D} be a pre-triangulated category. Let \mathcal{A} be an abelian category. An additive functor H : \mathcal{D} \to \mathcal{A} is called homological if for every distinguished triangle (X, Y, Z, f, g, h) the sequence
is exact in the abelian category \mathcal{A}. An additive functor H : \mathcal{D}^{opp} \to \mathcal{A} is called cohomological if the corresponding functor \mathcal{D} \to \mathcal{A}^{opp} is homological.
Comments (0)
There are also: