An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 374 页 · Definition 10.2.1
An additive category \(\mathcal K\) is triangulated if it is equipped with an automorphism \(T\) and a distinguished family of exact triangles subject to axioms \(\mathrm{TR}1\)–\(\mathrm{TR}4\).