Documentation
DerivedAlgGeo
.
CategoryTheory
.
Triangulated
.
StabilityCondition
.
Weak
.
Support
.
Predicate
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Support.Predicate.Basic
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Support.Predicate.IntegralRealQuotient
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Support.Predicate.Quadratic
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Support.Predicate.Quotient
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Support.Predicate.Uniform
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Weak.Support.Predicate.ZeroChargeLattice
Imported by
Generic support predicates used by weak and Bridgeland stability
#