Triangulated categories

The compatibility interface for monoidal tensor products, the pretriangulated axioms with rotation only forward, sign-correct exactness of integral shift functors, t-structures, objectwise triangle lifts to full triangulated subcategories, first-map normalization of triangle-valued functors, compact generation, Postnikov towers, strict morphisms, semiorthogonal sequences, extension closures, envelope composition, generation time, the Grothendieck group, the spherical twist on K₀, Fourier--Mukai kernel functors, dg enhancements, and stability conditions on triangulated categories.

Everything above StabilityCondition in this list is generic: it mentions no stability condition, and a module that needs it does not have to import the stability track to get it. QuasiAbelian and ExtensionClosure joined that group in #488, on the same ground as PostnikovTower and GrothendieckGroup in #454 — their namespace was already CategoryTheory.Triangulated while their path said StabilityCondition/Foundation/.