Documentation

DerivedAlgGeo.CategoryTheory.Triangulated.SemiorthogonalDecomposition

Semiorthogonal decompositions #

The generic semiorthogonal-sequence root, its admissibility and exceptionality refinements, transport capability, geometry-free test inhabitants, and the orientation adapter pinning the direction convention against the classical one.