\[\]
, 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