{"id":"arxiv/2609.08684","url":"https://arxiv.org/abs/2609.08684","tags":["math.RT","math.CT"],"score":0,"title":"From Pre-triangulation to Triangulation: Obstructions and Exact Lifting","domain":"math.RT","source":"arxiv","authors":["Ping He","Bo Le"],"reviews":0,"subject":"math.RT","summary":"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. Its vanishing is equivalent to the existence of a good completion, and $\\mathrm{TR4}$ is equivalent to this vanishing for the squares associated with composable morphisms. As a consequence, if two pre-triangulations have the same underlying additive category and one is triangulated, then the other satisfies $\\mathrm{TR4}$ precisely when their relative inverse Heller comparison admits an exact lift along every…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}