Let T\mathcal T be a , and let XfYgZX\xrightarrow{f}Y\xrightarrow{g}Z be composable morphisms. Complete ff, gg, and gfgf to distinguished triangles, with third objects CfC_f, CgC_g, and CgfC_{gf}. The octahedral axiom asserts that these triangles can be connected by morphisms

CfCgfCgC_f\longrightarrow C_{gf}\longrightarrow C_g

so that the standard octahedral diagram commutes and

CfCgfCgΣCfC_f\longrightarrow C_{gf}\longrightarrow C_g\longrightarrow \Sigma C_f

is a .

Interpretation

The axiom says that forming cones is coherent with composition. It is often labeled TR4.