From Pre-triangulation to Triangulation: Obstructions and Exact Lifting

Ping He, Bo Le

We give a new equivalent formulation of Verdier's octahedral axiom. An initial square in a pre-triangulated category determines an obstruction in a quotient of ordinary Hom groups.…