An additive functor F from a triangulated category A (with translation denoted X↦X[1]) to an abelian category C is a cohomological functor if for any distinguished triangle
X\stackrel{f}\to Y\stackrel{g}\to Z\stackrel{h}\to X[1],
in A, FX→FfFY→FgFZ is an exact sequence in C.