Documentation
DerivedAlgGeo
.
CategoryTheory
.
Triangulated
.
StabilityCondition
.
Symmetry
.
Autoequivalence
.
Slicing
Search
return to top
source
Imports
Init
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Symmetry.Autoequivalence.Slicing.Quotient
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Symmetry.Autoequivalence.Slicing.Strict
DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Symmetry.Autoequivalence.Slicing.Transport
Imported by
Autoequivalence transport of slicings
#