In a category with a [1][1], a triangle is a diagram

X→fY→gZ→hX[1].X\xrightarrow{f}Y\xrightarrow{g}Z\xrightarrow{h}X[1].

A morphism of triangles is a triple of morphisms between corresponding objects that makes all three resulting squares commute, including the square involving the shifted first object.

Rotating the triangle moves YY to the first position and produces Y→Z→X[1]→Y[1]Y\to Z\to X[1]\to Y[1], with a convention-dependent minus sign on the final map. A chosen subclass may be declared .