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

$\ldots \to \mathop{\mathrm{Hom}}\nolimits _\mathcal {D}(W, X) \to \mathop{\mathrm{Hom}}\nolimits _\mathcal {D}(W, Y) \to \mathop{\mathrm{Hom}}\nolimits _\mathcal {D}(W, Z) \to \mathop{\mathrm{Hom}}\nolimits _\mathcal {D}(W, X) \to \ldots$

is exact. The proof of Lemma 13.4.3 shows that if

$(a, b, c) : (X, Y, Z, f, g, h) \to (X', Y', Z', f', g', h')$

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.

 This is nonstandard notation.

There are also:

• 13 comment(s) on Section 13.4: Elementary results on triangulated categories

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).