Remark 13.4.4. Let \mathcal{D} be an additive category with translation functors [n] as in Definition 13.3.1. Let us call a triangle (X, Y, Z, f, g, h) special1 if for every object W of \mathcal{D} the long sequence of abelian groups
is exact. The proof of Lemma 13.4.3 shows that if
is a morphism of special triangles and if two among a, b, c are isomorphisms so is the third. There is a dual statement for co-special triangles, i.e., triangles which turn into long exact sequences on applying the functor \mathop{\mathrm{Hom}}\nolimits _\mathcal {D}(-, W). Thus distinguished triangles are special and co-special, but in general there are many more (co-)special triangles, than there are distinguished triangles.
Comments (0)
There are also: