Index

\[\], for IsCategoryOfExactTrianglesMorphism, IsInt 1.2-18
    for IsCategoryOfExactTrianglesObject, IsInt 1.2-8
\^, for IsCategoryOfExactTrianglesObject, IsInt 1.2-10
AddCounitOfShiftAdjunctionWithGivenObject, for IsCapCategory, IsFunction 4.1-1
    for IsCapCategory, IsFunction, IsInt 4.1-1
AddDomainMorphismByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-2
    for IsCapCategory, IsFunction, IsInt 4.1-2
AddInverseOfCounitOfShiftAdjunctionWithGivenObject, for IsCapCategory, IsFunction 4.1-3
    for IsCapCategory, IsFunction, IsInt 4.1-3
AddInverseOfUnitOfShiftAdjunctionWithGivenObject, for IsCapCategory, IsFunction 4.1-4
    for IsCapCategory, IsFunction, IsInt 4.1-4
AddInverseShiftExpandingIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 4.1-5
    for IsCapCategory, IsFunction, IsInt 4.1-5
AddInverseShiftFactoringIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 4.1-6
    for IsCapCategory, IsFunction, IsInt 4.1-6
AddInverseShiftOfMorphismWithGivenObjects, for IsCapCategory, IsFunction 4.1-7
    for IsCapCategory, IsFunction, IsInt 4.1-7
AddInverseShiftOfObject, for IsCapCategory, IsFunction 4.1-8
    for IsCapCategory, IsFunction, IsInt 4.1-8
AddIsExactTriangle, for IsCapCategory, IsFunction 4.1-9
    for IsCapCategory, IsFunction, IsInt 4.1-9
AddMorphismBetweenStandardConeObjectsWithGivenObjects, for IsCapCategory, IsFunction 4.1-10
    for IsCapCategory, IsFunction, IsInt 4.1-10
AddMorphismFromConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-11
    for IsCapCategory, IsFunction, IsInt 4.1-11
AddMorphismFromStandardConeObject, for IsCapCategory, IsFunction 4.1-12
    for IsCapCategory, IsFunction, IsInt 4.1-12
AddMorphismFromStandardConeObjectWithGivenObjects, for IsCapCategory, IsFunction 4.1-13
    for IsCapCategory, IsFunction, IsInt 4.1-13
AddMorphismIntoConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-14
    for IsCapCategory, IsFunction, IsInt 4.1-14
AddMorphismIntoStandardConeObject, for IsCapCategory, IsFunction 4.1-15
    for IsCapCategory, IsFunction, IsInt 4.1-15
AddMorphismIntoStandardConeObjectWithGivenStandardConeObject, for IsCapCategory, IsFunction 4.1-16
    for IsCapCategory, IsFunction, IsInt 4.1-16
AddShiftExpandingIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 4.1-17
    for IsCapCategory, IsFunction, IsInt 4.1-17
AddShiftFactoringIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 4.1-18
    for IsCapCategory, IsFunction, IsInt 4.1-18
AddShiftOfMorphismByInteger, for IsCapCategory, IsFunction 4.1-19
    for IsCapCategory, IsFunction, IsInt 4.1-19
AddShiftOfMorphismByIntegerWithGivenObjects, for IsCapCategory, IsFunction 4.1-20
    for IsCapCategory, IsFunction, IsInt 4.1-20
AddShiftOfMorphismWithGivenObjects, for IsCapCategory, IsFunction 4.1-21
    for IsCapCategory, IsFunction, IsInt 4.1-21
AddShiftOfObject, for IsCapCategory, IsFunction 4.1-22
    for IsCapCategory, IsFunction, IsInt 4.1-22
AddShiftOfObjectByInteger, for IsCapCategory, IsFunction 4.1-23
    for IsCapCategory, IsFunction, IsInt 4.1-23
AddStandardConeObject, for IsCapCategory, IsFunction 4.1-24
    for IsCapCategory, IsFunction, IsInt 4.1-24
AddUnitOfShiftAdjunctionWithGivenObject, for IsCapCategory, IsFunction 4.1-25
    for IsCapCategory, IsFunction, IsInt 4.1-25
AddWitnessIsomorphismFromStandardConeObject, for IsCapCategory, IsFunction 4.1-26
    for IsCapCategory, IsFunction, IsInt 4.1-26
AddWitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-27
    for IsCapCategory, IsFunction, IsInt 4.1-27
AddWitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-28
    for IsCapCategory, IsFunction, IsInt 4.1-28
AddWitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-29
    for IsCapCategory, IsFunction, IsInt 4.1-29
AddWitnessIsomorphismIntoStandardConeObject, for IsCapCategory, IsFunction 4.1-30
    for IsCapCategory, IsFunction, IsInt 4.1-30
AddWitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-31
    for IsCapCategory, IsFunction, IsInt 4.1-31
AddWitnessIsomorphismIntoStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-32
    for IsCapCategory, IsFunction, IsInt 4.1-32
AddWitnessIsomorphismIntoStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 4.1-33
    for IsCapCategory, IsFunction, IsInt 4.1-33
CategoryOfExactTriangles, for IsTriangulatedCategory 1.2-1
CommutativityNaturalTransformationWithShiftFunctor, for IsCapFunctor 2.1-7
ConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-40
ConeObjectByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-24
ConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-32
CounitOfShiftAdjunction, for IsCapCategoryObject 3.1-21
    for IsTriangulatedCategory 2.1-5
CounitOfShiftAdjunctionWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-20
DomainMorphism, for IsCategoryOfExactTrianglesObject 1.2-4
DomainMorphismByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-41
DomainMorphismByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-25
DomainMorphismByRotationAxiom, for IsCapCategoryMorphism 3.1-33
ExactTriangle, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-3
ExactTriangleByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-21
    for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsBool 1.2-22
    for IsCategoryOfExactTrianglesObject, IsCategoryOfExactTrianglesObject, IsCategoryOfExactTrianglesObject 1.2-24
    for IsCategoryOfExactTrianglesObject, IsCategoryOfExactTrianglesObject, IsCategoryOfExactTrianglesObject, IsBool 1.2-23
ExtendFunctorToCategoryOfTriangles, for IsCapFunctor 2.1-8
InverseOfCounitOfShiftAdjunction, for IsCapCategoryObject 3.1-17
    for IsTriangulatedCategory 2.1-6
InverseOfCounitOfShiftAdjunctionWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-16
InverseOfUnitOfShiftAdjunction, for IsCapCategoryObject 3.1-19
    for IsTriangulatedCategory 2.1-4
InverseOfUnitOfShiftAdjunctionWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-18
InverseRotation, for IsCategoryOfExactTrianglesObject 1.2-27
    for IsCategoryOfExactTrianglesObject, IsBool 1.2-28
InverseRotationFunctor, for IsCategoryOfExactTriangles, IsBool 2.1-10
InverseShift, for IsCapCategoryCell 3.1-13
InverseShiftExpandingIsomorphism, for IsList 3.1-53
InverseShiftExpandingIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-52
InverseShiftFactoringIsomorphism, for IsList 3.1-55
InverseShiftFactoringIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-54
InverseShiftFunctor, for IsTriangulatedCategory 2.1-2
InverseShiftOfMorphism, for IsCapCategoryMorphism 3.1-12
InverseShiftOfMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-11
InverseShiftOfObject, for IsObject 3.1-10
IsCategoryOfExactTriangles, for IsCapCategory 1.1-1
IsCategoryOfExactTrianglesMorphism, for IsCapCategoryMorphism 1.1-3
IsCategoryOfExactTrianglesObject, for IsCapCategoryObject 1.1-2
IsStandardExactTriangle, for IsCategoryOfExactTrianglesObject 1.2-13
MorphismAt, for IsCategoryOfExactTrianglesMorphism, IsInt 1.2-17
    for IsCategoryOfExactTrianglesObject, IsInt 1.2-9
MorphismBetweenConeObjects, for IsCategoryOfExactTrianglesObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCategoryOfExactTrianglesObject 1.2-19
MorphismBetweenStandardConeObjects, for IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-23
MorphismBetweenStandardConeObjectsWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-22
MorphismFromConeObject, for IsCategoryOfExactTrianglesObject 1.2-6
MorphismFromConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-43
MorphismFromConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-27
MorphismFromConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-35
MorphismFromStandardConeObject, for IsCapCategoryMorphism 3.1-5
MorphismFromStandardConeObjectWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-4
MorphismIntoConeObject, for IsCategoryOfExactTrianglesObject 1.2-5
MorphismIntoConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-42
MorphismIntoConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-26
MorphismIntoConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-34
MorphismIntoStandardConeObject, for IsCapCategoryMorphism 3.1-3
MorphismIntoStandardConeObjectWithGivenStandardConeObject, for IsCapCategoryMorphism, IsCapCategoryObject 3.1-2
MorphismOfExactTriangles, for IsCategoryOfExactTrianglesObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCategoryOfExactTrianglesObject 1.2-16
    for IsCategoryOfExactTrianglesObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCategoryOfExactTrianglesObject 1.2-20
ObjectAt, for IsCategoryOfExactTrianglesObject, IsInt 1.2-7
Rotation, for IsCategoryOfExactTrianglesObject 1.2-25
    for IsCategoryOfExactTrianglesObject, IsBool 1.2-26
RotationFunctor, for IsCategoryOfExactTriangles, IsBool 2.1-9
Shift, for IsCapCategoryCell 3.1-9
ShiftExpandingIsomorphism, for IsList 3.1-49
ShiftExpandingIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-48
ShiftFactoringIsomorphism, for IsList 3.1-51
ShiftFactoringIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-50
ShiftFunctor, for IsTriangulatedCategory 2.1-1
ShiftOfMorphism, for IsCapCategoryMorphism 3.1-8
ShiftOfMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-7
ShiftOfObject, for IsCapCategoryObject 3.1-6
StandardConeObject, for IsCapCategoryMorphism 3.1-1
StandardExactTriangle, for IsCapCategoryMorphism 1.2-11
    for IsCategoryOfExactTrianglesObject 1.2-12
UnderlyingCategory, for IsCategoryOfExactTriangles 1.2-2
UnitOfShiftAdjunction, for IsCapCategoryObject 3.1-15
    for IsTriangulatedCategory 2.1-3
UnitOfShiftAdjunctionWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-14
WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-46
WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-47
WitnessIsomorphismFromStandardConeObjectByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-31
WitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-30
WitnessIsomorphismFromStandardConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-38
WitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-39
WitnessIsomorphismFromStandardExactTriangle, for IsCategoryOfExactTrianglesObject 1.2-15
WitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-44
WitnessIsomorphismIntoStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-45
WitnessIsomorphismIntoStandardConeObjectByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-29
WitnessIsomorphismIntoStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-28
WitnessIsomorphismIntoStandardConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-36
WitnessIsomorphismIntoStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-37
WitnessIsomorphismIntoStandardExactTriangle, for IsCategoryOfExactTrianglesObject 1.2-14