Let T\mathcal T be a , and let X→fY→gZX\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

Cf⟶Cgf⟶CgC_f\longrightarrow C_{gf}\longrightarrow C_g

so that the standard octahedral diagram commutes and

Cf⟶Cgf⟶Cg⟶Σ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.