Documentation

DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition

Stability conditions #

The Bridgeland refinement of weak stability, together with phase analysis, symmetry actions, metric geometry, support properties, numerical walls, and abstract family interfaces. Weak stability is the child Weak/, which this umbrella imports; ordinary prestability and stability conditions carry their weak parent structurally. Declaration namespaces remain CategoryTheory.Triangulated.WeakStabilityCondition.StabilityCondition; a namespace cutover would invalidate the immutable review payloads that exe/RestateHistoricalNames.lean protects.