Octahedral axiom
The triangle axiom coherently relating cones of two composable morphisms and their composite.
Let be a pretriangulated category, and let be composable morphisms. Complete , , and to distinguished triangles, with third objects , , and . The octahedral axiom asserts that these triangles can be connected by morphisms
so that the standard octahedral diagram commutes and
is a distinguished triangle.
Interpretation
The axiom says that forming cones is coherent with composition. It is often labeled TR4.