设(,Ω,Δ)是一个左三角范畴,(R,Ω,Δ)与(R,Ω,Δ)分别是(,Ω,Δ)的先幂等完备化再余稳定化(三角化)和先余稳定化(三角化)再幂等完备化后得到的三角范畴,则这两个范畴是三角等价的.
Let (,Ω,Δ) be a left triangulated category.IfR,Ω,Δ)denotes the costabilization of the idempotent completion of (,Ω,Δ) and(R,Ω,Δ) denotes the idempotent completion of the costabilization of (,Ω,Δ). Then they have the main theorem (R,Ω,Δ)≌(R,Ω,Δ) as a triangle-equivalence.