\[\], for IsCapExactTriangle, IsInt 1.2-8 \^, for IsCapExactTriangle, IsInt 1.2-10 AddCounitIsomorphismWithGivenObject, for IsCapCategory, IsFunction 3.1-34 AddDomainMorphismByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-41 AddInverseOfCounitIsomorphismWithGivenObject, for IsCapCategory, IsFunction 3.1-28 AddInverseOfUnitIsomorphismWithGivenObject, for IsCapCategory, IsFunction 3.1-31 AddInverseShiftExpandingIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 3.1-79 AddInverseShiftFactoringIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 3.1-82 AddInverseShiftOnMorphismWithGivenObjects, for IsCapCategory, IsFunction 3.1-20 AddInverseShiftOnObject, for IsCapCategory, IsFunction 3.1-18 AddMorphismBetweenStandardConeObjectsWithGivenObjects, for IsCapCategory, IsFunction 3.1-37 AddMorphismFromConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-45 AddMorphismFromStandardConeObject, for IsCapCategory, IsFunction 3.1-10 AddMorphismFromStandardConeObjectWithGivenStandardConeObject, for IsCapCategory, IsFunction 3.1-8 AddMorphismToConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-43 AddMorphismToStandardConeObject, for IsCapCategory, IsFunction 3.1-6 AddMorphismToStandardConeObjectWithGivenStandardConeObject, for IsCapCategory, IsFunction 3.1-4 AddShiftExpandingIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 3.1-73 AddShiftFactoringIsomorphismWithGivenObjects, for IsCapCategory, IsFunction 3.1-76 AddShiftOnMorphismWithGivenObjects, for IsCapCategory, IsFunction 3.1-14 AddShiftOnObject, for IsCapCategory, IsFunction 3.1-12 AddStandardConeObject, for IsCapCategory, IsFunction 3.1-2 AddUnitIsomorphism, for IsCapCategory, IsFunction 3.1-26 AddUnitIsomorphismWithGivenObject, for IsCapCategory, IsFunction 3.1-24 AddWitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-71 AddWitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-50 AddWitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-61 AddWitnessIsomorphismOntoStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-68 AddWitnessIsomorphismOntoStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-47 AddWitnessIsomorphismOntoStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategory, IsFunction 3.1-58 CategoryOfExactTriangles, for IsTriangulatedCategory 1.2-1 CommutativityNaturalTransformationWithShiftFunctor, for IsCapFunctor 2.1-7 ConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-62 ConeObjectByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-39 ConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-52 Counit, for IsTriangulatedCategory 2.1-5 CounitIsomorphism, for IsCapCategoryObject 3.1-35 CounitIsomorphismWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-33 DomainMorphism, for IsCapExactTriangle 1.2-4 DomainMorphismByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-63 DomainMorphismByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-40 DomainMorphismByRotationAxiom, for IsCapCategoryMorphism 3.1-53 ExactTriangle, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-3 ExactTriangleByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 1.2-21 ExtendFunctorToCategoryOfTriangles, for IsCapFunctor 2.1-8 InverseOfCounit, for IsTriangulatedCategory 2.1-6 InverseOfCounitIsomorphism, for IsCapCategoryObject 3.1-29 InverseOfCounitIsomorphismWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-27 InverseOfUnit, for IsTriangulatedCategory 2.1-4 InverseOfUnitIsomorphism, for IsCapCategoryObject 3.1-32 InverseOfUnitIsomorphismWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-30 InverseRotation, for IsCapExactTriangle 1.2-27 InverseRotationFunctor, for IsCapCategoryOfExactTriangles, IsBool 2.1-10 InverseShift, for IsCapCategoryCell 3.1-22 InverseShiftExpandingIsomorphism, for IsList 3.1-80 InverseShiftExpandingIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-78 InverseShiftFactoringIsomorphism, for IsList 3.1-83 InverseShiftFactoringIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-81 InverseShiftFunctor, for IsTriangulatedCategory 2.1-2 InverseShiftOnMorphism, for IsCapCategoryMorphism 3.1-21 InverseShiftOnMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-19 InverseShiftOnObject, for IsObject 3.1-17 IsCapCategoryOfExactTriangles, for IsCapCategory 1.1-1 IsCapExactTriangle, for IsCapCategoryObject 1.1-2 IsCapExactTrianglesMorphism, for IsCapCategoryMorphism 1.1-3 IsStandardExactTriangle, for IsCapExactTriangle 1.2-13 MorphismAt, for IsCapExactTriangle, IsInt 1.2-9 MorphismBetweenConeObjects, for IsCapExactTriangle, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapExactTriangle 1.2-19 MorphismBetweenStandardConeObjects, for IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-38 MorphismBetweenStandardConeObjectsWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-36 MorphismFromConeObject, for IsCapExactTriangle 1.2-6 MorphismFromConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-65 MorphismFromConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-44 MorphismFromConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-55 MorphismFromStandardConeObject, for IsCapCategoryMorphism 3.1-9 MorphismFromStandardConeObjectWithGivenStandardConeObject, for IsCapCategoryMorphism, IsCapCategoryObject 3.1-7 MorphismOfExactTriangles, for IsCapExactTriangle, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapExactTriangle 1.2-16 MorphismToConeObject, for IsCapExactTriangle 1.2-5 MorphismToConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-64 MorphismToConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-42 MorphismToConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-54 MorphismToStandardConeObject, for IsCapCategoryMorphism 3.1-5 MorphismToStandardConeObjectWithGivenStandardConeObject, for IsCapCategoryMorphism, IsCapCategoryObject 3.1-3 ObjectAt, for IsCapExactTriangle, IsInt 1.2-7 Rotation, for IsCapExactTriangle 1.2-25 RotationFunctor, for IsCapCategoryOfExactTriangles, IsBool 2.1-9 Shift, for IsCapCategoryCell 3.1-16 ShiftExpandingIsomorphism, for IsList 3.1-74 ShiftExpandingIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-72 ShiftFactoringIsomorphism, for IsList 3.1-77 ShiftFactoringIsomorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.1-75 ShiftFunctor, for IsTriangulatedCategory 2.1-1 ShiftOnMorphism, for IsCapCategoryMorphism 3.1-15 ShiftOnMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-13 ShiftOnObject, for IsCapCategoryObject 3.1-11 StandardConeObject, for IsCapCategoryMorphism 3.1-1 StandardExactTriangle, for IsCapCategoryMorphism 1.2-11 UnderlyingCategory, for IsCapCategoryOfExactTriangles 1.2-2 Unit, for IsTriangulatedCategory 2.1-3 UnitIsomorphism, for IsCapCategoryObject 3.1-25 UnitIsomorphismWithGivenObject, for IsCapCategoryObject, IsCapCategoryObject 3.1-23 WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-69 WitnessIsomorphismFromStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-70 WitnessIsomorphismFromStandardConeObjectByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-51 WitnessIsomorphismFromStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-49 WitnessIsomorphismFromStandardConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-59 WitnessIsomorphismFromStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-60 WitnessIsomorphismFromStandardExactTriangle, for IsCapExactTriangle 1.2-15 WitnessIsomorphismOntoStandardConeObjectByInverseRotationAxiom, for IsCapCategoryMorphism 3.1-66 WitnessIsomorphismOntoStandardConeObjectByInverseRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-67 WitnessIsomorphismOntoStandardConeObjectByOctahedralAxiom, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 3.1-48 WitnessIsomorphismOntoStandardConeObjectByOctahedralAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.1-46 WitnessIsomorphismOntoStandardConeObjectByRotationAxiom, for IsCapCategoryMorphism 3.1-56 WitnessIsomorphismOntoStandardConeObjectByRotationAxiomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.1-57 WitnessIsomorphismOntoStandardExactTriangle, for IsCapExactTriangle 1.2-14
generated by GAPDoc2HTML