Structures · Category theory
CategoryTheory.Triangulated.TStructure.IsGE
Given a t-structure t on a pretriangulated category C, the property t.IsGE X n
holds if X : C is ≥ n for the t-structure.
- Shape
- 3 explicit arguments · adds ge
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by31
- CategoryTheory.Triangulated.TStructure.zero
- CategoryTheory.Triangulated.TStructure.isGE_of_ge
- CategoryTheory.Triangulated.TStructure.isGE_shift
- CategoryTheory.Triangulated.TStructure.ge_of_isGE
- CategoryTheory.Triangulated.TStructure.isGE_of_iso
- CategoryTheory.Triangulated.TStructure.descTruncGE
- CategoryTheory.Triangulated.TStructure.from_truncGE_obj_ext
- CategoryTheory.Triangulated.TStructure.descTruncGT
- CategoryTheory.Triangulated.TStructure.IsGE.ge
- CategoryTheory.Triangulated.TStructure.π_descTruncGE
- CategoryTheory.Triangulated.TStructure.isGE_of_shift
- CategoryTheory.Triangulated.TStructure.π_descTruncGT
- CategoryTheory.Triangulated.TStructure.isZero_truncLT_obj_of_isGE
- CategoryTheory.Triangulated.TStructure.descTruncGE_aux
- CategoryTheory.Triangulated.TStructure.descTruncGT_aux
- CategoryTheory.Triangulated.TStructure.π_descTruncGE_assoc
- CategoryTheory.Triangulated.TStructure.descTruncGT.congr_simp
- CategoryTheory.Triangulated.TStructure.instIsIsoAppTruncGEπOfIsGE
- CategoryTheory.Triangulated.TStructure.instIsGEObjTruncLT
- CategoryTheory.Triangulated.TStructure.isGE_of_GE
- CategoryTheory.Triangulated.TStructure.instIsGEObjTruncGT
- CategoryTheory.Triangulated.TStructure.π_descTruncGT_assoc
- CategoryTheory.Triangulated.TStructure.isZero_eTruncLT_obj_obj
- CategoryTheory.Triangulated.TStructure.instIsGEObjTruncLE
- CategoryTheory.Triangulated.TStructure.descTruncGE.congr_simp
- CategoryTheory.Triangulated.TStructure.instIsGEObjEIntFunctorETruncLT
- CategoryTheory.Triangulated.TStructure.isZero_truncLE_obj_of_isGE
- CategoryTheory.Triangulated.TStructure.instIsGEObjEIntFunctorETruncGE
- CategoryTheory.Triangulated.TStructure.isZero
- CategoryTheory.Triangulated.TStructure.instIsGEObjTruncLE_1
- CategoryTheory.Triangulated.TStructure.instIsGEObjTruncGE_1
Ancestors0
No ancestors.