Documentation

DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Foundation

Repository-owned Bridgeland foundations #

Stable owner-authored root data for filtrations and stability conditions.

Import policy #

This file is the complete downstream umbrella and is not an internal prelude. Implementation modules import the narrow owner of the declarations they use:

The foundation-import-boundary gate prevents implementation modules from importing this umbrella and silently acquiring all of those layers.