Documentation

DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Phase.Order

Order relations on slicings #

Strict and weak phase orders, their intrinsic-phase characterizations, and their structural properties.