Goto Chapter: Top 1 2 3 4 Ind

[Top of Book] [Contents] [Next Chapter]

TriangulatedCategories

Framework for triangulated categories

2023.09-01

28 September 2023

Kamal Saleh
Email: kamal.saleh@uni-siegen.de
Homepage: https://github.com/kamalsaleh
Address:
Department Mathematik
Universität Siegen
Walter-Flex-Straße 3
57072 Siegen
Germany

Contents

1 Category of triangles

1.1 Gap categories

  1.1-1 IsCategoryOfExactTriangles
  1.1-2 IsCategoryOfExactTrianglesObject
  1.1-3 IsCategoryOfExactTrianglesMorphism

1.2 Constructors

  1.2-1 CategoryOfExactTriangles
  1.2-2 UnderlyingCategory
  1.2-3 ExactTriangle
  1.2-4 DomainMorphism
  1.2-5 MorphismIntoConeObject
  1.2-6 MorphismFromConeObject
  1.2-7 ObjectAt
  1.2-8 \[\]
  1.2-9 MorphismAt
  1.2-10 \^
  1.2-11 StandardExactTriangle
  1.2-12 StandardExactTriangle
  1.2-13 IsStandardExactTriangle
  1.2-14 WitnessIsomorphismIntoStandardExactTriangle
  1.2-15 WitnessIsomorphismFromStandardExactTriangle
  1.2-16 MorphismOfExactTriangles
  1.2-17 MorphismAt
  1.2-18 \[\]
  1.2-19 MorphismBetweenConeObjects
  1.2-20 MorphismOfExactTriangles
  1.2-21 ExactTriangleByOctahedralAxiom
  1.2-22 ExactTriangleByOctahedralAxiom
  1.2-23 ExactTriangleByOctahedralAxiom
  1.2-24 ExactTriangleByOctahedralAxiom
  1.2-25 Rotation
  1.2-26 Rotation
  1.2-27 InverseRotation
  1.2-28 InverseRotation

2.1 Functors and natural transformations

  2.1-1 ShiftFunctor
  2.1-2 InverseShiftFunctor
  2.1-3 UnitOfShiftAdjunction
  2.1-4 InverseOfUnitOfShiftAdjunction
  2.1-5 CounitOfShiftAdjunction
  2.1-6 InverseOfCounitOfShiftAdjunction
  2.1-7 CommutativityNaturalTransformationWithShiftFunctor
  2.1-8 ExtendFunctorToCategoryOfTriangles
  2.1-9 RotationFunctor
  2.1-10 InverseRotationFunctor

3 operations for triangulated categories

3.1 Add-methods

  3.1-1 AddCounitOfShiftAdjunctionWithGivenObject
  3.1-2 AddDomainMorphismByOctahedralAxiomWithGivenObjects
  3.1-3 AddInverseOfCounitOfShiftAdjunctionWithGivenObject
  3.1-4 AddInverseOfUnitOfShiftAdjunctionWithGivenObject
  3.1-5 AddInverseShiftExpandingIsomorphismWithGivenObjects
  3.1-6 AddInverseShiftFactoringIsomorphismWithGivenObjects
  3.1-7 AddInverseShiftOfMorphismWithGivenObjects
  3.1-8 AddInverseShiftOfObject
  3.1-9 AddIsExactTriangle
  3.1-10 AddMorphismBetweenStandardConeObjectsWithGivenObjects
  3.1-11 AddMorphismFromConeObjectByOctahedralAxiomWithGivenObjects
  3.1-12 AddMorphismFromStandardConeObject
  3.1-13 AddMorphismFromStandardConeObjectWithGivenObjects
  3.1-14 AddMorphismIntoConeObjectByOctahedralAxiomWithGivenObjects
  3.1-15 AddMorphismIntoStandardConeObject
  3.1-16 AddMorphismIntoStandardConeObjectWithGivenStandardConeObject
  3.1-17 AddShiftExpandingIsomorphismWithGivenObjects
  3.1-18 AddShiftFactoringIsomorphismWithGivenObjects
  3.1-19 AddShiftOfMorphismByInteger
  3.1-20 AddShiftOfMorphismByIntegerWithGivenObjects
  3.1-21 AddShiftOfMorphismWithGivenObjects
  3.1-22 AddShiftOfObject
  3.1-23 AddShiftOfObjectByInteger
  3.1-24 AddStandardConeObject
  3.1-25 AddUnitOfShiftAdjunctionWithGivenObject
  3.1-26 AddWitnessIsomorphismFromStandardConeObject
  3.1-27 AddWitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects
  3.1-28 AddWitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects
  3.1-29 AddWitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects
  3.1-30 AddWitnessIsomorphismIntoStandardConeObject
  3.1-31 AddWitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiomWithGivenObjects
  3.1-32 AddWitnessIsomorphismIntoStandardConeObjectByOctahedralAxiomWithGivenObjects
  3.1-33 AddWitnessIsomorphismIntoStandardConeObjectByRotationAxiomWithGivenObjects

4 Triangulated Categories

4.1 Categorical operations

  4.1-1 StandardConeObject
  4.1-2 MorphismIntoStandardConeObjectWithGivenStandardConeObject
  4.1-3 MorphismIntoStandardConeObject
  4.1-4 MorphismFromStandardConeObjectWithGivenObjects
  4.1-5 MorphismFromStandardConeObject
  4.1-6 ShiftOfObject
  4.1-7 ShiftOfMorphismWithGivenObjects
  4.1-8 ShiftOfMorphism
  4.1-9 Shift
  4.1-10 InverseShiftOfObject
  4.1-11 InverseShiftOfMorphismWithGivenObjects
  4.1-12 InverseShiftOfMorphism
  4.1-13 InverseShift
  4.1-14 UnitOfShiftAdjunctionWithGivenObject
  4.1-15 UnitOfShiftAdjunction
  4.1-16 InverseOfCounitOfShiftAdjunctionWithGivenObject
  4.1-17 InverseOfCounitOfShiftAdjunction
  4.1-18 InverseOfUnitOfShiftAdjunctionWithGivenObject
  4.1-19 InverseOfUnitOfShiftAdjunction
  4.1-20 CounitOfShiftAdjunctionWithGivenObject
  4.1-21 CounitOfShiftAdjunction
  4.1-22 MorphismBetweenStandardConeObjectsWithGivenObjects
  4.1-23 MorphismBetweenStandardConeObjects
  4.1-24 ConeObjectByOctahedralAxiom
  4.1-25 DomainMorphismByOctahedralAxiomWithGivenObjects
  4.1-26 MorphismIntoConeObjectByOctahedralAxiomWithGivenObjects
  4.1-27 MorphismFromConeObjectByOctahedralAxiomWithGivenObjects
  4.1-28 WitnessIsomorphismIntoStandardConeObjectByOctahedralAxiomWithGivenObjects
  4.1-29 WitnessIsomorphismIntoStandardConeObjectByOctahedralAxiom
  4.1-30 WitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects
  4.1-31 WitnessIsomorphismFromStandardConeObjectByOctahedralAxiom
  4.1-32 ConeObjectByRotationAxiom
  4.1-33 DomainMorphismByRotationAxiom
  4.1-34 MorphismIntoConeObjectByRotationAxiom
  4.1-35 MorphismFromConeObjectByRotationAxiom
  4.1-36 WitnessIsomorphismIntoStandardConeObjectByRotationAxiom
  4.1-37 WitnessIsomorphismIntoStandardConeObjectByRotationAxiomWithGivenObjects
  4.1-38 WitnessIsomorphismFromStandardConeObjectByRotationAxiom
  4.1-39 WitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects
  4.1-40 ConeObjectByInverseRotationAxiom
  4.1-41 DomainMorphismByInverseRotationAxiom
  4.1-42 MorphismIntoConeObjectByInverseRotationAxiom
  4.1-43 MorphismFromConeObjectByInverseRotationAxiom
  4.1-44 WitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiom
  4.1-45 WitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiomWithGivenObjects
  4.1-46 WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiom
  4.1-47 WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects
  4.1-48 ShiftExpandingIsomorphismWithGivenObjects
  4.1-49 ShiftExpandingIsomorphism
  4.1-50 ShiftFactoringIsomorphismWithGivenObjects
  4.1-51 ShiftFactoringIsomorphism
  4.1-52 InverseShiftExpandingIsomorphismWithGivenObjects
  4.1-53 InverseShiftExpandingIsomorphism
  4.1-54 InverseShiftFactoringIsomorphismWithGivenObjects
  4.1-55 InverseShiftFactoringIsomorphism

[Top of Book] [Contents] [Next Chapter]

Goto Chapter: Top 1 2 3 4 Ind

generated by GAPDoc2HTML