A distinguished triangle is a

XYZX[1]X\to Y\to Z\to X[1]

belonging to a specified class that is required to satisfy the triangle axioms. It abstracts the sequence of a chain map and plays the role that a plays in an .

The class is closed under isomorphism and rotation, and every morphism must occur as the first map of some distinguished triangle. The precise coherence requirements distinguish a from an arbitrary shifted .