  
  
  [1XIndex[101X
  
  [2X\*[102X, for IsRingElement, IsCapCategoryMorphism 3.8-6 
  [2X\/[102X, for IsCapCategoryCell, IsWrapperCapCategory 12.3-4 
      for IsObject, IsCapCategory 2.7-2 
  [2XActivateDerivationInfo[102X 8.1-2 
  [2XAdd[102X, for IsCapCategory, IsCapCategoryMorphism 3.6-1 
      for IsCapCategory, IsCapCategoryObject 2.6-1 
      for IsStringMinHeap, IsString, IsInt 8.5-3 
  [2XAddAdditionForMorphisms[102X, for IsCapCategory, IsFunction 7.7-1 
  [2XAddAdditiveGenerators[102X, for IsCapCategory, IsFunction 7.7-2 
  [2XAddAdditiveInverseForMorphisms[102X, for IsCapCategory, IsFunction 7.7-3 
  [2XAddAstrictionToCoimage[102X, for IsCapCategory, IsFunction 7.7-4 
  [2XAddAstrictionToCoimageWithGivenCoimageObject[102X, for IsCapCategory, IsFunction 7.7-5 
  [2XAddBasisOfExternalHom[102X, for IsCapCategory, IsFunction 7.7-6 
  [2XAddCanonicalIdentificationFromCoimageToImageObject[102X, for IsCapCategory, IsFunction 7.7-7 
  [2XAddCanonicalIdentificationFromImageObjectToCoimage[102X, for IsCapCategory, IsFunction 7.7-8 
  [2XAddCategoricalProperty[102X 1.1-6 
  [2XAddCoastrictionToImage[102X, for IsCapCategory, IsFunction 7.7-9 
  [2XAddCoastrictionToImageWithGivenImageObject[102X, for IsCapCategory, IsFunction 7.7-10 
  [2XAddCoefficientsOfMorphismWithGivenBasisOfExternalHom[102X, for IsCapCategory, IsFunction 7.7-11 
  [2XAddCoequalizer[102X, for IsCapCategory, IsFunction 7.7-12 
  [2XAddCoequalizerFunctorial[102X, for IsCapCategory, IsFunction 7.7-13 
  [2XAddCoequalizerFunctorialWithGivenCoequalizers[102X, for IsCapCategory, IsFunction 7.7-14 
  [2XAddCoimageObject[102X, for IsCapCategory, IsFunction 7.7-15 
  [2XAddCoimageProjection[102X, for IsCapCategory, IsFunction 7.7-16 
  [2XAddCoimageProjectionWithGivenCoimageObject[102X, for IsCapCategory, IsFunction 7.7-17 
  [2XAddCokernelColift[102X, for IsCapCategory, IsFunction 7.7-18 
  [2XAddCokernelColiftWithGivenCokernelObject[102X, for IsCapCategory, IsFunction 7.7-19 
  [2XAddCokernelObject[102X, for IsCapCategory, IsFunction 7.7-20 
  [2XAddCokernelObjectFunctorial[102X, for IsCapCategory, IsFunction 7.7-21 
  [2XAddCokernelObjectFunctorialWithGivenCokernelObjects[102X, for IsCapCategory, IsFunction 7.7-22 
  [2XAddCokernelProjection[102X, for IsCapCategory, IsFunction 7.7-23 
  [2XAddCokernelProjectionWithGivenCokernelObject[102X, for IsCapCategory, IsFunction 7.7-24 
  [2XAddColift[102X, for IsCapCategory, IsFunction 7.7-25 
  [2XAddColiftAlongEpimorphism[102X, for IsCapCategory, IsFunction 7.7-26 
  [2XAddColiftOrFail[102X, for IsCapCategory, IsFunction 7.7-27 
  [2XAddComponentOfMorphismFromDirectSum[102X, for IsCapCategory, IsFunction 7.7-28 
  [2XAddComponentOfMorphismIntoDirectSum[102X, for IsCapCategory, IsFunction 7.7-29 
  [2XAddCoproduct[102X, for IsCapCategory, IsFunction 7.7-30 
  [2XAddCoproductFunctorial[102X, for IsCapCategory, IsFunction 7.7-31 
  [2XAddCoproductFunctorialWithGivenCoproducts[102X, for IsCapCategory, IsFunction 7.7-32 
  [2XAddDerivation[102X, for IsDerivedMethodGraph, IsDerivedMethod 8.3-4 
      for IsDerivedMethodGraph, IsFunction, IsDenseList 8.3-6 
      for IsDerivedMethodGraph, IsFunction, IsDenseList, IsObject 8.3-5 
      for IsDerivedMethodGraph, IsFunction, IsFunction 8.3-7 
  [2XAddDerivationToCAP[102X 8.3-8 
  [2XAddDirectProduct[102X, for IsCapCategory, IsFunction 7.7-33 
  [2XAddDirectProductFunctorial[102X, for IsCapCategory, IsFunction 7.7-34 
  [2XAddDirectProductFunctorialWithGivenDirectProducts[102X, for IsCapCategory, IsFunction 7.7-35 
  [2XAddDirectSum[102X, for IsCapCategory, IsFunction 7.7-36 
  [2XAddDirectSumCodiagonalDifference[102X, for IsCapCategory, IsFunction 7.7-37 
  [2XAddDirectSumDiagonalDifference[102X, for IsCapCategory, IsFunction 7.7-38 
  [2XAddDirectSumFunctorial[102X, for IsCapCategory, IsFunction 7.7-39 
  [2XAddDirectSumFunctorialWithGivenDirectSums[102X, for IsCapCategory, IsFunction 7.7-40 
  [2XAddDirectSumProjectionInPushout[102X, for IsCapCategory, IsFunction 7.7-41 
  [2XAddDistinguishedObjectOfHomomorphismStructure[102X, for IsCapCategory, IsFunction 7.7-42 
  [2XAddEmbeddingOfEqualizer[102X, for IsCapCategory, IsFunction 7.7-43 
  [2XAddEmbeddingOfEqualizerWithGivenEqualizer[102X, for IsCapCategory, IsFunction 7.7-44 
  [2XAddEpimorphismFromSomeProjectiveObject[102X, for IsCapCategory, IsFunction 7.7-45 
  [2XAddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject[102X, for IsCapCategory, IsFunction 7.7-46 
  [2XAddEqualizer[102X, for IsCapCategory, IsFunction 7.7-47 
  [2XAddEqualizerFunctorial[102X, for IsCapCategory, IsFunction 7.7-48 
  [2XAddEqualizerFunctorialWithGivenEqualizers[102X, for IsCapCategory, IsFunction 7.7-49 
  [2XAddFiberProduct[102X, for IsCapCategory, IsFunction 7.7-50 
  [2XAddFiberProductEmbeddingInDirectSum[102X, for IsCapCategory, IsFunction 7.7-51 
  [2XAddFiberProductFunctorial[102X, for IsCapCategory, IsFunction 7.7-52 
  [2XAddFiberProductFunctorialWithGivenFiberProducts[102X, for IsCapCategory, IsFunction 7.7-53 
  [2XAddHomologyObject[102X, for IsCapCategory, IsFunction 7.7-54 
  [2XAddHomologyObjectFunctorialWithGivenHomologyObjects[102X, for IsCapCategory, IsFunction 7.7-55 
  [2XAddHomomorphismStructureOnMorphisms[102X, for IsCapCategory, IsFunction 7.7-56 
  [2XAddHomomorphismStructureOnMorphismsWithGivenObjects[102X, for IsCapCategory, IsFunction 7.7-57 
  [2XAddHomomorphismStructureOnObjects[102X, for IsCapCategory, IsFunction 7.7-58 
  [2XAddHorizontalPostCompose[102X, for IsCapCategory, IsFunction 7.7-59 
  [2XAddHorizontalPreCompose[102X, for IsCapCategory, IsFunction 7.7-60 
  [2XAddIdentityMorphism[102X, for IsCapCategory, IsFunction 7.7-61 
  [2XAddIdentityTwoCell[102X, for IsCapCategory, IsFunction 7.7-62 
  [2XAddImageEmbedding[102X, for IsCapCategory, IsFunction 7.7-63 
  [2XAddImageEmbeddingWithGivenImageObject[102X, for IsCapCategory, IsFunction 7.7-64 
  [2XAddImageObject[102X, for IsCapCategory, IsFunction 7.7-65 
  [2XAddInitialObject[102X, for IsCapCategory, IsFunction 7.7-66 
  [2XAddInitialObjectFunctorial[102X, for IsCapCategory, IsFunction 7.7-67 
  [2XAddInitialObjectFunctorialWithGivenInitialObjects[102X, for IsCapCategory, IsFunction 7.7-68 
  [2XAddInjectionOfCofactorOfCoproduct[102X, for IsCapCategory, IsFunction 7.7-69 
  [2XAddInjectionOfCofactorOfCoproductWithGivenCoproduct[102X, for IsCapCategory, IsFunction 7.7-70 
  [2XAddInjectionOfCofactorOfDirectSum[102X, for IsCapCategory, IsFunction 7.7-71 
  [2XAddInjectionOfCofactorOfDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.7-72 
  [2XAddInjectionOfCofactorOfPushout[102X, for IsCapCategory, IsFunction 7.7-73 
  [2XAddInjectionOfCofactorOfPushoutWithGivenPushout[102X, for IsCapCategory, IsFunction 7.7-74 
  [2XAddInjectiveColift[102X, for IsCapCategory, IsFunction 7.7-75 
  [2XAddInjectiveDimension[102X, for IsCapCategory, IsFunction 7.7-76 
  [2XAddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure[102X, for IsCapCategory, IsFunction 7.7-77 
  [2XAddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects[102X, for IsCapCategory, IsFunction 7.7-78 
  [2XAddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism[102X, for IsCapCategory, IsFunction 7.7-79 
  [2XAddInverseForMorphisms[102X, for IsCapCategory, IsFunction 7.7-80 
  [2XAddInverseMorphismFromCoimageToImageWithGivenObjects[102X, for IsCapCategory, IsFunction 7.7-81 
  [2XAddIsAutomorphism[102X, for IsCapCategory, IsFunction 7.7-82 
  [2XAddIsBijectiveObject[102X, for IsCapCategory, IsFunction 7.7-83 
  [2XAddIsCodominating[102X, for IsCapCategory, IsFunction 7.7-84 
  [2XAddIsColiftable[102X, for IsCapCategory, IsFunction 7.7-85 
  [2XAddIsColiftableAlongEpimorphism[102X, for IsCapCategory, IsFunction 7.7-86 
  [2XAddIsCongruentForMorphisms[102X, for IsCapCategory, IsFunction 7.7-87 
  [2XAddIsDominating[102X, for IsCapCategory, IsFunction 7.7-88 
  [2XAddIsEndomorphism[102X, for IsCapCategory, IsFunction 7.7-89 
  [2XAddIsEpimorphism[102X, for IsCapCategory, IsFunction 7.7-90 
  [2XAddIsEqualAsFactorobjects[102X, for IsCapCategory, IsFunction 7.7-91 
  [2XAddIsEqualAsSubobjects[102X, for IsCapCategory, IsFunction 7.7-92 
  [2XAddIsEqualForCacheForMorphisms[102X, for IsCapCategory, IsFunction 7.7-93 
  [2XAddIsEqualForCacheForObjects[102X, for IsCapCategory, IsFunction 7.7-94 
  [2XAddIsEqualForMorphisms[102X, for IsCapCategory, IsFunction 7.7-95 
  [2XAddIsEqualForMorphismsOnMor[102X, for IsCapCategory, IsFunction 7.7-96 
  [2XAddIsEqualForObjects[102X, for IsCapCategory, IsFunction 7.7-97 
  [2XAddIsEqualToIdentityMorphism[102X, for IsCapCategory, IsFunction 7.7-98 
  [2XAddIsEqualToZeroMorphism[102X, for IsCapCategory, IsFunction 7.7-99 
  [2XAddIsHomSetInhabited[102X, for IsCapCategory, IsFunction 7.7-100 
  [2XAddIsIdempotent[102X, for IsCapCategory, IsFunction 7.7-101 
  [2XAddIsInitial[102X, for IsCapCategory, IsFunction 7.7-102 
  [2XAddIsInjective[102X, for IsCapCategory, IsFunction 7.7-103 
  [2XAddIsIsomorphism[102X, for IsCapCategory, IsFunction 7.7-104 
  [2XAddIsLiftable[102X, for IsCapCategory, IsFunction 7.7-105 
  [2XAddIsLiftableAlongMonomorphism[102X, for IsCapCategory, IsFunction 7.7-106 
  [2XAddIsMonomorphism[102X, for IsCapCategory, IsFunction 7.7-107 
  [2XAddIsomorphismFromCoequalizerOfCoproductDiagramToPushout[102X, for IsCapCategory, IsFunction 7.7-118 
  [2XAddIsomorphismFromCoimageToCokernelOfKernel[102X, for IsCapCategory, IsFunction 7.7-119 
  [2XAddIsomorphismFromCokernelOfDiagonalDifferenceToPushout[102X, for IsCapCategory, IsFunction 7.7-120 
  [2XAddIsomorphismFromCokernelOfKernelToCoimage[102X, for IsCapCategory, IsFunction 7.7-121 
  [2XAddIsomorphismFromCoproductToDirectSum[102X, for IsCapCategory, IsFunction 7.7-122 
  [2XAddIsomorphismFromDirectProductToDirectSum[102X, for IsCapCategory, IsFunction 7.7-123 
  [2XAddIsomorphismFromDirectSumToCoproduct[102X, for IsCapCategory, IsFunction 7.7-124 
  [2XAddIsomorphismFromDirectSumToDirectProduct[102X, for IsCapCategory, IsFunction 7.7-125 
  [2XAddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct[102X, for IsCapCategory, IsFunction 7.7-126 
  [2XAddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram[102X, for IsCapCategory, IsFunction 7.7-127 
  [2XAddIsomorphismFromFiberProductToKernelOfDiagonalDifference[102X, for IsCapCategory, IsFunction 7.7-128 
  [2XAddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject[102X, for IsCapCategory, IsFunction 7.7-129 
  [2XAddIsomorphismFromImageObjectToKernelOfCokernel[102X, for IsCapCategory, IsFunction 7.7-130 
  [2XAddIsomorphismFromInitialObjectToZeroObject[102X, for IsCapCategory, IsFunction 7.7-131 
  [2XAddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject[102X, for IsCapCategory, IsFunction 7.7-132 
  [2XAddIsomorphismFromKernelOfCokernelToImageObject[102X, for IsCapCategory, IsFunction 7.7-133 
  [2XAddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct[102X, for IsCapCategory, IsFunction 7.7-134 
  [2XAddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram[102X, for IsCapCategory, IsFunction 7.7-135 
  [2XAddIsomorphismFromPushoutToCokernelOfDiagonalDifference[102X, for IsCapCategory, IsFunction 7.7-136 
  [2XAddIsomorphismFromTerminalObjectToZeroObject[102X, for IsCapCategory, IsFunction 7.7-137 
  [2XAddIsomorphismFromZeroObjectToInitialObject[102X, for IsCapCategory, IsFunction 7.7-138 
  [2XAddIsomorphismFromZeroObjectToTerminalObject[102X, for IsCapCategory, IsFunction 7.7-139 
  [2XAddIsOne[102X, for IsCapCategory, IsFunction 7.7-108 
  [2XAddIsProjective[102X, for IsCapCategory, IsFunction 7.7-109 
  [2XAddIsSplitEpimorphism[102X, for IsCapCategory, IsFunction 7.7-110 
  [2XAddIsSplitMonomorphism[102X, for IsCapCategory, IsFunction 7.7-111 
  [2XAddIsTerminal[102X, for IsCapCategory, IsFunction 7.7-112 
  [2XAddIsWellDefinedForMorphisms[102X, for IsCapCategory, IsFunction 7.7-113 
  [2XAddIsWellDefinedForObjects[102X, for IsCapCategory, IsFunction 7.7-114 
  [2XAddIsWellDefinedForTwoCells[102X, for IsCapCategory, IsFunction 7.7-115 
  [2XAddIsZeroForMorphisms[102X, for IsCapCategory, IsFunction 7.7-116 
  [2XAddIsZeroForObjects[102X, for IsCapCategory, IsFunction 7.7-117 
  [2XAdditionForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2 
  [2XAdditiveGenerators[102X, for IsCapCategory 1.3-8 
  [2XAdditiveInverseForMorphisms[102X, for IsCapCategoryMorphism 3.8-4 
  [2XAddKernelEmbedding[102X, for IsCapCategory, IsFunction 7.7-140 
  [2XAddKernelEmbeddingWithGivenKernelObject[102X, for IsCapCategory, IsFunction 7.7-141 
  [2XAddKernelLift[102X, for IsCapCategory, IsFunction 7.7-142 
  [2XAddKernelLiftWithGivenKernelObject[102X, for IsCapCategory, IsFunction 7.7-143 
  [2XAddKernelObject[102X, for IsCapCategory, IsFunction 7.7-144 
  [2XAddKernelObjectFunctorial[102X, for IsCapCategory, IsFunction 7.7-145 
  [2XAddKernelObjectFunctorialWithGivenKernelObjects[102X, for IsCapCategory, IsFunction 7.7-146 
  [2XAddLift[102X, for IsCapCategory, IsFunction 7.7-147 
  [2XAddLiftAlongMonomorphism[102X, for IsCapCategory, IsFunction 7.7-148 
  [2XAddLiftOrFail[102X, for IsCapCategory, IsFunction 7.7-149 
  [2XAddMereExistenceOfSolutionOfLinearSystemInAbCategory[102X, for IsCapCategory, IsFunction 7.7-150 
  [2XAddMonomorphismIntoSomeInjectiveObject[102X, for IsCapCategory, IsFunction 7.7-151 
  [2XAddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject[102X, for IsCapCategory, IsFunction 7.7-152 
  [2XAddMorphism[102X, for IsCapCategory, IsAttributeStoringRep 3.6-2 
  [2XAddMorphismBetweenDirectSums[102X, for IsCapCategory, IsFunction 7.7-153 
  [2XAddMorphismBetweenDirectSumsWithGivenDirectSums[102X, for IsCapCategory, IsFunction 7.7-154 
  [2XAddMorphismConstructor[102X, for IsCapCategory, IsFunction 7.7-155 
  [2XAddMorphismDatum[102X, for IsCapCategory, IsFunction 7.7-156 
  [2XAddMorphismFromCoimageToImageWithGivenObjects[102X, for IsCapCategory, IsFunction 7.7-157 
  [2XAddMorphismFromEqualizerToSink[102X, for IsCapCategory, IsFunction 7.7-158 
  [2XAddMorphismFromEqualizerToSinkWithGivenEqualizer[102X, for IsCapCategory, IsFunction 7.7-159 
  [2XAddMorphismFromFiberProductToSink[102X, for IsCapCategory, IsFunction 7.7-160 
  [2XAddMorphismFromFiberProductToSinkWithGivenFiberProduct[102X, for IsCapCategory, IsFunction 7.7-161 
  [2XAddMorphismFromKernelObjectToSink[102X, for IsCapCategory, IsFunction 7.7-162 
  [2XAddMorphismFromKernelObjectToSinkWithGivenKernelObject[102X, for IsCapCategory, IsFunction 7.7-163 
  [2XAddMorphismFromSourceToCoequalizer[102X, for IsCapCategory, IsFunction 7.7-164 
  [2XAddMorphismFromSourceToCoequalizerWithGivenCoequalizer[102X, for IsCapCategory, IsFunction 7.7-165 
  [2XAddMorphismFromSourceToCokernelObject[102X, for IsCapCategory, IsFunction 7.7-166 
  [2XAddMorphismFromSourceToCokernelObjectWithGivenCokernelObject[102X, for IsCapCategory, IsFunction 7.7-167 
  [2XAddMorphismFromSourceToPushout[102X, for IsCapCategory, IsFunction 7.7-168 
  [2XAddMorphismFromSourceToPushoutWithGivenPushout[102X, for IsCapCategory, IsFunction 7.7-169 
  [2XAddMorphismFunction[102X, for IsCapFunctor, IsFunction 5.4-7 
  [2XAddMorphismRepresentation[102X, for IsCapCategory, IsObject 3.6-3 
  [2XAddMultiplyWithElementOfCommutativeRingForMorphisms[102X, for IsCapCategory, IsFunction 7.7-170 
  [2XAddNaturalTransformationFunction[102X, for IsCapNaturalTransformation, IsFunction 5.5-3 
  [2XAddObject[102X, for IsCapCategory, IsAttributeStoringRep 2.6-2 
  [2XAddObjectConstructor[102X, for IsCapCategory, IsFunction 7.7-171 
  [2XAddObjectDatum[102X, for IsCapCategory, IsFunction 7.7-172 
  [2XAddObjectFunction[102X, for IsCapFunctor, IsFunction 5.4-5 
  [2XAddObjectRepresentation[102X, for IsCapCategory, IsObject 2.6-3 
  [2XAddOperationsToDerivationGraph[102X, for IsDerivedMethodGraph, IsDenseList 8.3-3 
  [2XAddPostCompose[102X, for IsCapCategory, IsFunction 7.7-173 
  [2XAddPostComposeList[102X, for IsCapCategory, IsFunction 7.7-174 
  [2XAddPreCompose[102X, for IsCapCategory, IsFunction 7.7-175 
  [2XAddPreComposeList[102X, for IsCapCategory, IsFunction 7.7-176 
  [2XAddPrimitiveOperation[102X, for IsOperationWeightList, IsString, IsInt 8.4-11 
  [2XAddProjectionInFactorOfDirectProduct[102X, for IsCapCategory, IsFunction 7.7-177 
  [2XAddProjectionInFactorOfDirectProductWithGivenDirectProduct[102X, for IsCapCategory, IsFunction 7.7-178 
  [2XAddProjectionInFactorOfDirectSum[102X, for IsCapCategory, IsFunction 7.7-179 
  [2XAddProjectionInFactorOfDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.7-180 
  [2XAddProjectionInFactorOfFiberProduct[102X, for IsCapCategory, IsFunction 7.7-181 
  [2XAddProjectionInFactorOfFiberProductWithGivenFiberProduct[102X, for IsCapCategory, IsFunction 7.7-182 
  [2XAddProjectionOntoCoequalizer[102X, for IsCapCategory, IsFunction 7.7-183 
  [2XAddProjectionOntoCoequalizerWithGivenCoequalizer[102X, for IsCapCategory, IsFunction 7.7-184 
  [2XAddProjectiveDimension[102X, for IsCapCategory, IsFunction 7.7-185 
  [2XAddProjectiveLift[102X, for IsCapCategory, IsFunction 7.7-186 
  [2XAddPushout[102X, for IsCapCategory, IsFunction 7.7-187 
  [2XAddPushoutFunctorial[102X, for IsCapCategory, IsFunction 7.7-188 
  [2XAddPushoutFunctorialWithGivenPushouts[102X, for IsCapCategory, IsFunction 7.7-189 
  [2XAddRandomMorphismByInteger[102X, for IsCapCategory, IsFunction 7.7-190 
  [2XAddRandomMorphismByList[102X, for IsCapCategory, IsFunction 7.7-191 
  [2XAddRandomMorphismWithFixedRangeByInteger[102X, for IsCapCategory, IsFunction 7.7-192 
  [2XAddRandomMorphismWithFixedRangeByList[102X, for IsCapCategory, IsFunction 7.7-193 
  [2XAddRandomMorphismWithFixedSourceAndRangeByInteger[102X, for IsCapCategory, IsFunction 7.7-194 
  [2XAddRandomMorphismWithFixedSourceAndRangeByList[102X, for IsCapCategory, IsFunction 7.7-195 
  [2XAddRandomMorphismWithFixedSourceByInteger[102X, for IsCapCategory, IsFunction 7.7-196 
  [2XAddRandomMorphismWithFixedSourceByList[102X, for IsCapCategory, IsFunction 7.7-197 
  [2XAddRandomObjectByInteger[102X, for IsCapCategory, IsFunction 7.7-198 
  [2XAddRandomObjectByList[102X, for IsCapCategory, IsFunction 7.7-199 
  [2XAddSimplifyEndo[102X, for IsCapCategory, IsFunction 7.7-200 
  [2XAddSimplifyEndo_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.7-201 
  [2XAddSimplifyEndo_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.7-202 
  [2XAddSimplifyMorphism[102X, for IsCapCategory, IsFunction 7.7-203 
  [2XAddSimplifyObject[102X, for IsCapCategory, IsFunction 7.7-204 
  [2XAddSimplifyObject_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.7-205 
  [2XAddSimplifyObject_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.7-206 
  [2XAddSimplifyRange[102X, for IsCapCategory, IsFunction 7.7-207 
  [2XAddSimplifyRange_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.7-208 
  [2XAddSimplifyRange_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.7-209 
  [2XAddSimplifySource[102X, for IsCapCategory, IsFunction 7.7-210 
  [2XAddSimplifySource_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.7-216 
  [2XAddSimplifySource_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.7-217 
  [2XAddSimplifySourceAndRange[102X, for IsCapCategory, IsFunction 7.7-211 
  [2XAddSimplifySourceAndRange_IsoFromInputRange[102X, for IsCapCategory, IsFunction 7.7-212 
  [2XAddSimplifySourceAndRange_IsoFromInputSource[102X, for IsCapCategory, IsFunction 7.7-213 
  [2XAddSimplifySourceAndRange_IsoToInputRange[102X, for IsCapCategory, IsFunction 7.7-214 
  [2XAddSimplifySourceAndRange_IsoToInputSource[102X, for IsCapCategory, IsFunction 7.7-215 
  [2XAddSolveLinearSystemInAbCategory[102X, for IsCapCategory, IsFunction 7.7-218 
  [2XAddSolveLinearSystemInAbCategoryOrFail[102X, for IsCapCategory, IsFunction 7.7-219 
  [2XAddSomeInjectiveObject[102X, for IsCapCategory, IsFunction 7.7-220 
  [2XAddSomeProjectiveObject[102X, for IsCapCategory, IsFunction 7.7-221 
  [2XAddSomeReductionBySplitEpiSummand[102X, for IsCapCategory, IsFunction 7.7-222 
  [2XAddSomeReductionBySplitEpiSummand_MorphismFromInputRange[102X, for IsCapCategory, IsFunction 7.7-223 
  [2XAddSomeReductionBySplitEpiSummand_MorphismToInputRange[102X, for IsCapCategory, IsFunction 7.7-224 
  [2XAddSubtractionForMorphisms[102X, for IsCapCategory, IsFunction 7.7-225 
  [2XAddTerminalObject[102X, for IsCapCategory, IsFunction 7.7-226 
  [2XAddTerminalObjectFunctorial[102X, for IsCapCategory, IsFunction 7.7-227 
  [2XAddTerminalObjectFunctorialWithGivenTerminalObjects[102X, for IsCapCategory, IsFunction 7.7-228 
  [2XAddUniversalMorphismFromCoequalizer[102X, for IsCapCategory, IsFunction 7.7-229 
  [2XAddUniversalMorphismFromCoequalizerWithGivenCoequalizer[102X, for IsCapCategory, IsFunction 7.7-230 
  [2XAddUniversalMorphismFromCoproduct[102X, for IsCapCategory, IsFunction 7.7-231 
  [2XAddUniversalMorphismFromCoproductWithGivenCoproduct[102X, for IsCapCategory, IsFunction 7.7-232 
  [2XAddUniversalMorphismFromDirectSum[102X, for IsCapCategory, IsFunction 7.7-233 
  [2XAddUniversalMorphismFromDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.7-234 
  [2XAddUniversalMorphismFromImage[102X, for IsCapCategory, IsFunction 7.7-235 
  [2XAddUniversalMorphismFromImageWithGivenImageObject[102X, for IsCapCategory, IsFunction 7.7-236 
  [2XAddUniversalMorphismFromInitialObject[102X, for IsCapCategory, IsFunction 7.7-237 
  [2XAddUniversalMorphismFromInitialObjectWithGivenInitialObject[102X, for IsCapCategory, IsFunction 7.7-238 
  [2XAddUniversalMorphismFromPushout[102X, for IsCapCategory, IsFunction 7.7-239 
  [2XAddUniversalMorphismFromPushoutWithGivenPushout[102X, for IsCapCategory, IsFunction 7.7-240 
  [2XAddUniversalMorphismFromZeroObject[102X, for IsCapCategory, IsFunction 7.7-241 
  [2XAddUniversalMorphismFromZeroObjectWithGivenZeroObject[102X, for IsCapCategory, IsFunction 7.7-242 
  [2XAddUniversalMorphismIntoCoimage[102X, for IsCapCategory, IsFunction 7.7-243 
  [2XAddUniversalMorphismIntoCoimageWithGivenCoimageObject[102X, for IsCapCategory, IsFunction 7.7-244 
  [2XAddUniversalMorphismIntoDirectProduct[102X, for IsCapCategory, IsFunction 7.7-245 
  [2XAddUniversalMorphismIntoDirectProductWithGivenDirectProduct[102X, for IsCapCategory, IsFunction 7.7-246 
  [2XAddUniversalMorphismIntoDirectSum[102X, for IsCapCategory, IsFunction 7.7-247 
  [2XAddUniversalMorphismIntoDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.7-248 
  [2XAddUniversalMorphismIntoEqualizer[102X, for IsCapCategory, IsFunction 7.7-249 
  [2XAddUniversalMorphismIntoEqualizerWithGivenEqualizer[102X, for IsCapCategory, IsFunction 7.7-250 
  [2XAddUniversalMorphismIntoFiberProduct[102X, for IsCapCategory, IsFunction 7.7-251 
  [2XAddUniversalMorphismIntoFiberProductWithGivenFiberProduct[102X, for IsCapCategory, IsFunction 7.7-252 
  [2XAddUniversalMorphismIntoTerminalObject[102X, for IsCapCategory, IsFunction 7.7-253 
  [2XAddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject[102X, for IsCapCategory, IsFunction 7.7-254 
  [2XAddUniversalMorphismIntoZeroObject[102X, for IsCapCategory, IsFunction 7.7-255 
  [2XAddUniversalMorphismIntoZeroObjectWithGivenZeroObject[102X, for IsCapCategory, IsFunction 7.7-256 
  [2XAddVerticalPostCompose[102X, for IsCapCategory, IsFunction 7.7-257 
  [2XAddVerticalPreCompose[102X, for IsCapCategory, IsFunction 7.7-258 
  [2XAddWithGivenDerivationPairToCAP[102X 8.3-9 
  [2XAddZeroMorphism[102X, for IsCapCategory, IsFunction 7.7-259 
  [2XAddZeroObject[102X, for IsCapCategory, IsFunction 7.7-260 
  [2XAddZeroObjectFunctorial[102X, for IsCapCategory, IsFunction 7.7-261 
  [2XAddZeroObjectFunctorialWithGivenZeroObjects[102X, for IsCapCategory, IsFunction 7.7-262 
  [2XApplyFunctor[102X 5.4-9 
  [2XApplyNaturalTransformation[102X 5.5-4 
  [2XAsCapCategory[102X, for IsCapCategoryAsCatObject 5.3-2 
  [2XAsCatObject[102X, for IsCapCategory 5.3-1 
  [2XAsMorphismInWrapperCategory[102X, for IsWrapperCapCategory, IsCapCategoryMorphism 12.3-3 
      for IsWrapperCapCategoryObject, IsCapCategoryMorphism, IsWrapperCapCategoryObject 12.3-2 
  [2XAsObjectInWrapperCategory[102X, for IsWrapperCapCategory, IsCapCategoryObject 12.3-1 
  [2XAstrictionToCoimage[102X, for IsCapCategoryMorphism 6.14-10 
  [2XAstrictionToCoimageWithGivenCoimageObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11 
  [2XBasisOfExternalHom[102X, for IsCapCategoryObject, IsCapCategoryObject 3.16-20 
  [2XBrowseCachingStatistic[102X 9.2-20 
  [2XBrowseTimingStatistics[102X 1.10-1 
  [2XCachingStatistic[102X 9.2-19 
  [2XCanCompute[102X, for IsCapCategory, IsFunction 1.5-1 
      for IsCapCategory, IsString 1.5-1 
  [2XCanonicalIdentificationFromCoimageToImageObject[102X, for IsCapCategoryMorphism 6.14-15 
  [2XCanonicalIdentificationFromImageObjectToCoimage[102X, for IsCapCategoryMorphism 6.14-14 
  [2XCAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY[102X 9.2-11 
  [2XCAP_INTERNAL_ASSERT_IS_LIST_OF_MORPHISMS_OF_CATEGORY[102X 9.2-16 
  [2XCAP_INTERNAL_ASSERT_IS_LIST_OF_OBJECTS_OF_CATEGORY[102X 9.2-15 
  [2XCAP_INTERNAL_ASSERT_IS_LIST_OF_TWO_CELLS_OF_CATEGORY[102X 9.2-17 
  [2XCAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY[102X 9.2-13 
  [2XCAP_INTERNAL_ASSERT_IS_NON_NEGATIVE_INTEGER_OR_INFINITY[102X 9.2-18 
  [2XCAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY[102X 9.2-12 
  [2XCAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY[102X 9.2-14 
  [2XCAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION[102X 9.2-9 
  [2XCAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS[102X 10.3-1 
  [2XCAP_INTERNAL_MERGE_FILTER_LISTS[102X 9.2-7 
  [2XCAP_INTERNAL_MERGE_PRECONDITIONS_LIST[102X 9.2-10 
  [2XCAP_INTERNAL_REPLACE_STRING_WITH_FILTER[102X 9.2-5 
  [2XCAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS[102X 9.2-6 
  [2XCAP_INTERNAL_RETURN_OPTION_OR_DEFAULT[102X 9.2-8 
  [2XCAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD[102X 10.3-2 
  [2XCAP_JIT_INCOMPLETE_LOGIC[102X 9.2-40 
  [2XCAPAddPrepareFunction[102X 7.6-2 
  [2XCapCat[102X 5.1-1 
  [2XCapCategory[102X, for IsCapCategoryMorphism 3.1-1 
      for IsCapCategoryObject 2.1-1 
  [2XCapCategorySwitchLogicOff[102X 1.4-8 
  [2XCapCategorySwitchLogicOn[102X 1.4-7 
  [2XCapCategorySwitchLogicPropagationForMorphismsOff[102X 1.4-4 
  [2XCapCategorySwitchLogicPropagationForMorphismsOn[102X 1.4-3 
  [2XCapCategorySwitchLogicPropagationForObjectsOff[102X 1.4-2 
  [2XCapCategorySwitchLogicPropagationForObjectsOn[102X 1.4-1 
  [2XCapCategorySwitchLogicPropagationOff[102X 1.4-6 
  [2XCapCategorySwitchLogicPropagationOn[102X 1.4-5 
  [2XCapFixpoint[102X 9.2-30 
  [2XCapFunctor[102X, for IsString, IsCapCategory, IsCapCategory 5.4-1 
      for IsString, IsCapCategory, IsCapCategoryAsCatObject 5.4-1 
      for IsString, IsCapCategoryAsCatObject, IsCapCategory 5.4-1 
      for IsString, IsCapCategoryAsCatObject, IsCapCategoryAsCatObject 5.4-1 
      for IsString, IsList, IsCapCategory 5.4-2 
      for IsString, IsList, IsCapCategoryAsCatObject 5.4-2 
  [2XCapInternalInstallAdd[102X 7.3-1 
  [2XCapJitAddKnownMethod[102X 9.2-26 
  [2XCapJitAddTypeSignature[102X 9.2-27 
  [2XCapJitAddTypeSignatureDeferred[102X 9.2-28 
  [2XCapJitDataTypeOfCategory[102X 9.2-29 
  [2XCapJitDataTypeOfMorphismOfCategory[102X 9.2-29 
  [2XCapJitDataTypeOfObjectOfCategory[102X 9.2-29 
  [2XCAPOperationPrepareFunction[102X 7.6-1 
  [2XCategoryConstructor[102X, for IsRecord 11.2-1 
  [2XCategoryFilter[102X, for IsCapCategory 1.3-1 
      for IsDerivedMethod 8.2-6 
  [2XCategoryOfOperationWeightList[102X, for IsOperationWeightList 8.4-4 
  [2XCellFilter[102X, for IsCapCategory 1.3-2 
  [2XCheckConstructivenessOfCategory[102X, for IsCapCategory, IsString 1.5-2 
  [2XCoastrictionToImage[102X, for IsCapCategoryMorphism 6.13-6 
  [2XCoastrictionToImageWithGivenImageObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7 
  [2XCoefficientsOfMorphism[102X, for IsCapCategoryMorphism 3.16-22 
  [2XCoefficientsOfMorphismWithGivenBasisOfExternalHom[102X, for IsCapCategoryMorphism, IsList 3.16-21 
  [2XCoequalizer[102X 6.10-1 
  [2XCoequalizerFunctorial[102X, for IsList, IsCapCategoryMorphism, IsList 6.10-9 
  [2XCoequalizerFunctorialWithGivenCoequalizers[102X, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10 
  [2XCoequalizerOp[102X, for IsCapCategoryObject, IsList 6.10-2 
  [2XCoimageObject[102X, for IsCapCategoryMorphism 6.14-7 
  [2XCoimageProjection[102X, for IsCapCategoryMorphism 6.14-8 
  [2XCoimageProjectionWithGivenCoimageObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-9 
  [2XCokernelColift[102X, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.2-6 
  [2XCokernelColiftWithGivenCokernelObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.2-7 
  [2XCokernelObject[102X, for IsCapCategoryMorphism 6.2-1 
  [2XCokernelObjectFunctorial[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-9 
      for IsList 6.2-8 
  [2XCokernelObjectFunctorialWithGivenCokernelObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-11 
      for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.2-10 
  [2XCokernelProjection[102X, for IsCapCategoryMorphism 6.2-2 
  [2XCokernelProjectionWithGivenCokernelObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3 
  [2XColift[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-8 
  [2XColiftAlongEpimorphism[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-2 
  [2XColiftOrFail[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-9 
  [2XCommutativeRingOfLinearCategory[102X, for IsCapCategory 1.3-6 
  [2XComponentOfMorphismFromDirectSum[102X, for IsCapCategoryMorphism, IsList, IsInt 6.6-20 
  [2XComponentOfMorphismIntoDirectSum[102X, for IsCapCategoryMorphism, IsList, IsInt 6.6-19 
  [2XContains[102X, for IsStringMinHeap, IsString 8.5-8 
  [2XCoproduct[102X, for IsCapCategoryObject, IsCapCategoryObject 6.7-2 
      for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.7-3 
      for IsList 6.7-1 
  [2XCoproductFunctorial[102X, for IsList, IsList, IsList 6.7-8 
  [2XCoproductFunctorialWithGivenCoproducts[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.7-9 
  [2XCreateCapCategory[102X 1.2-1 
      for IsString 1.2-2 
  [2XCreateCapCategoryMorphismWithAttributes[102X 3.6-5 
  [2XCreateCapCategoryObjectWithAttributes[102X 2.6-5 
  [2XCurrentOperationWeight[102X, for IsOperationWeightList, IsString 8.4-5 
  [2XDeactivateCachingOfCategory[102X 1.8-2 
  [2XDeactivateDefaultCaching[102X 1.8-3 
  [2XDeactivateDerivationInfo[102X 8.1-3 
  [2XDeclareAttributeWithToDoForIsWellDefined[102X 9.2-3 
  [2XDeclareFamilyProperty[102X 9.2-4 
  [2XDecreaseKey[102X, for IsStringMinHeap, IsString, IsInt 8.5-5 
  [2XDerivationFunction[102X, for IsDerivedMethod 8.2-5 
  [2XDerivationGraph[102X, for IsOperationWeightList 8.4-3 
  [2XDerivationInfo[102X 8.1-1 
  [2XDerivationName[102X, for IsDerivedMethod 8.2-3 
  [2XDerivationOfOperation[102X, for IsOperationWeightList, IsString 8.4-7 
  [2XDerivationsOfOperation[102X, for IsDerivedMethodGraph, IsString 8.3-12 
  [2XDerivationsUsingOperation[102X, for IsDerivedMethodGraph, IsString 8.3-11 
  [2XDerivationWeight[102X, for IsDerivedMethod 8.2-4 
  [2XDirectProduct[102X 6.8-1 
  [2XDirectProductFunctorial[102X, for IsList, IsList, IsList 6.8-7 
  [2XDirectProductFunctorialWithGivenDirectProducts[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.8-8 
  [2XDirectProductOp[102X, for IsList 6.8-2 
  [2XDirectSum[102X 6.6-1 
  [2XDirectSumCodiagonalDifference[102X, for IsList 6.12-5 
  [2XDirectSumDiagonalDifference[102X, for IsList 6.11-5 
  [2XDirectSumFunctorial[102X, for IsList, IsList, IsList 6.6-21 
  [2XDirectSumFunctorialWithGivenDirectSums[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-22 
  [2XDirectSumOp[102X, for IsList 6.6-2 
  [2XDirectSumProjectionInPushout[102X, for IsList 6.12-6 
  [2XDisableAddForCategoricalOperations[102X 1.11-1 
  [2XDisableInputSanityChecks[102X 1.9-1 
  [2XDisableOutputSanityChecks[102X 1.9-1 
  [2XDisableSanityChecks[102X 1.9-1 
  [2XDisableTimingStatistics[102X 1.10-1 
  [2XDisplayTimingStatistics[102X 1.10-1 
  [2XDistinguishedObjectOfHomomorphismStructure[102X, for IsCapCategory 3.16-4 
  [2XDistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory 3.16-18 
  [2XDown[102X, for IsObject 1.7-1 
  [2XDownOnlyMorphismData[102X, for IsCapCategoryMorphism 1.7-2 
  [2XDownToBottom[102X, for IsObject 1.7-3 
  [2XDummyCategory[102X, for IsRecord 13.2-1 
  [2XEmbeddingOfEqualizer[102X, for IsCapCategoryObject, IsList 6.9-3 
  [2XEmbeddingOfEqualizerWithGivenEqualizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4 
  [2XEnableAddForCategoricalOperations[102X 1.11-1 
  [2XEnableFullInputSanityChecks[102X 1.9-1 
  [2XEnableFullOutputSanityChecks[102X 1.9-1 
  [2XEnableFullSanityChecks[102X 1.9-1 
  [2XEnablePartialInputSanityChecks[102X 1.9-1 
  [2XEnablePartialOutputSanityChecks[102X 1.9-1 
  [2XEnablePartialSanityChecks[102X 1.9-1 
  [2XEnableTimingStatistics[102X 1.10-1 
  [2XEpimorphismFromSomeProjectiveObject[102X, for IsCapCategoryObject 2.9-2 
  [2XEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject[102X, for IsCapCategoryObject, IsCapCategoryObject 2.9-3 
  [2XEqualizer[102X 6.9-1 
  [2XEqualizerFunctorial[102X, for IsList, IsCapCategoryMorphism, IsList 6.9-9 
  [2XEqualizerFunctorialWithGivenEqualizers[102X, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-10 
  [2XEqualizerOp[102X, for IsCapCategoryObject, IsList 6.9-2 
  [2XExtendRangeOfHomomorphismStructureByFullEmbedding[102X, for IsCapCategory, IsCapCategory, IsFunction, IsFunction, IsFunction, IsFunction 3.16-18 
  [2XExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding[102X, for IsCapCategory 3.16-19 
  [2XExtractMin[102X, for IsStringMinHeap 8.5-4 
  [2XFiberProduct[102X 6.11-7 
  [2XFiberProductEmbeddingInDirectSum[102X, for IsList 6.11-6 
  [2XFiberProductFunctorial[102X, for IsList, IsList, IsList 6.11-15 
  [2XFiberProductFunctorialWithGivenFiberProducts[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-16 
  [2XFiberProductOp[102X, for IsList 6.11-8 
  [2XFilteredWithKeys[102X 9.2-47 
  [2XFirstWithKeys[102X 9.2-48 
  [2XForAllWithKeys[102X 9.2-44 
  [2XForAnyWithKeys[102X 9.2-45 
  [2XFunctionCalledBeforeInstallation[102X, for IsDerivedMethod 8.2-11 
  [2XFunctorCanonicalizeZeroMorphisms[102X, for IsCapCategory 5.4-15 
  [2XFunctorCanonicalizeZeroObjects[102X, for IsCapCategory 5.4-13 
  [2XFunctorMorphismOperation[102X, for IsCapFunctor 5.4-8 
  [2XFunctorObjectOperation[102X, for IsCapFunctor 5.4-6 
  [2XHandlePrecompiledTowers[102X 9.2-39 
  [2XHeapify[102X, for IsStringMinHeap, IsPosInt 8.5-10 
  [2XHeapSize[102X, for IsStringMinHeap 8.5-7 
  [2XHomologyObject[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-1 
  [2XHomologyObjectFunctorial[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-2 
  [2XHomologyObjectFunctorialWithGivenHomologyObjects[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.15-3 
  [2XHomomorphismStructureOnMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-2 
  [2XHomomorphismStructureOnMorphismsExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-18 
  [2XHomomorphismStructureOnMorphismsWithGivenObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-3 
  [2XHomomorphismStructureOnMorphismsWithGivenObjectsExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18 
  [2XHomomorphismStructureOnObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 3.16-1 
  [2XHomomorphismStructureOnObjectsExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.16-18 
  [2XHomStructure[102X, for IsCapCategory 3.16-17 
      for IsCapCategoryMorphism 3.16-15 
      for IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-11 
      for IsCapCategoryMorphism, IsCapCategoryObject 3.16-12 
      for IsCapCategoryObject, IsCapCategoryMorphism 3.16-13 
      for IsCapCategoryObject, IsCapCategoryObject 3.16-14 
      for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-16 
  [2XHorizontalPostCompose[102X, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-3 
  [2XHorizontalPreCompose[102X, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-2 
  [2XHorizontalPreComposeFunctorWithNaturalTransformation[102X, for IsCapFunctor, IsCapNaturalTransformation 5.5-7 
  [2XHorizontalPreComposeNaturalTransformationWithFunctor[102X, for IsCapNaturalTransformation, IsCapFunctor 5.5-6 
  [2XIdentityFunctor[102X, for IsCapCategory 5.4-12 
  [2XIdentityMorphism[102X, for IsCapCategoryObject 3.10-1 
  [2XIdentityTwoCell[102X, for IsCapCategoryMorphism 4.2-1 
  [2XImageEmbedding[102X, for IsCapCategoryMorphism 6.13-4 
  [2XImageEmbeddingWithGivenImageObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-5 
  [2XImageObject[102X, for IsCapCategoryMorphism 6.13-3 
  [2XInfoCategoryConstructor[102X 11.1-1 
  [2XInitialObject[102X, for IsCapCategory 6.5-1 
      for IsCapCategoryCell 6.5-2 
  [2XInitialObjectFunctorial[102X, for IsCapCategory 6.5-5 
  [2XInitialObjectFunctorialWithGivenInitialObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 6.5-6 
  [2XInjectionOfCofactorOfCoproduct[102X, for IsList, IsInt 6.7-4 
  [2XInjectionOfCofactorOfCoproductWithGivenCoproduct[102X, for IsList, IsInt, IsCapCategoryObject 6.7-5 
  [2XInjectionOfCofactorOfDirectSum[102X, for IsList, IsInt 6.6-5 
  [2XInjectionOfCofactorOfDirectSumWithGivenDirectSum[102X, for IsList, IsInt, IsCapCategoryObject 6.6-6 
  [2XInjectionOfCofactorOfPushout[102X, for IsList, IsInt 6.12-9 
  [2XInjectionOfCofactorOfPushoutWithGivenPushout[102X, for IsList, IsInt, IsCapCategoryObject 6.12-10 
  [2XInjectiveColift[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.10-4 
  [2XInjectiveDimension[102X, for IsCapCategoryObject 2.12-2 
  [2XInputSignature[102X, for IsCapFunctor 5.4-10 
  [2XInstallDeprecatedAlias[102X 9.2-21 
  [2XInstallDerivationForCategory[102X, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10 
  [2XInstallDerivationsUsingOperation[102X, for IsOperationWeightList, IsString 8.4-8 
  [2XInstallFunctor[102X, for IsCapFunctor, IsString 5.4-11 
  [2XInstallMethodForCompilerForCAP[102X 9.2-24 
  [2XInstallMethodWithToDoForIsWellDefined[102X 9.2-1 
  [2XInstallNaturalTransformation[102X, for IsCapNaturalTransformation, IsString 5.5-5 
  [2XInstallOtherMethodForCompilerForCAP[102X 9.2-25 
  [2XInstallSetWithToDoForIsWellDefined[102X, for IsObject, IsString, IsList 9.2-2 
  [2XInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure[102X, for IsCapCategoryMorphism 3.16-5 
  [2XInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism 3.16-18 
  [2XInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6 
  [2XInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18 
  [2XInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism[102X, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7 
  [2XInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-18 
  [2XInverseForMorphisms[102X, for IsCapCategoryMorphism 3.13-1 
  [2XInverseMorphismFromCoimageToImage[102X, for IsCapCategoryMorphism 6.14-3 
  [2XInverseMorphismFromCoimageToImageWithGivenObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4 
  [2XIsApplicableToCategory[102X, for IsDerivedMethod, IsCapCategory 8.2-7 
  [2XIsAutomorphism[102X, for IsCapCategoryMorphism 3.5-4 
  [2XIsBijectiveObject[102X, for IsCapCategoryObject 2.3-1 
  [2XIsCapCategory[102X, for IsObject 1.1-1 
  [2XIsCapCategoryAsCatObject[102X, for IsCapCategoryObject 5.2-1 
  [2XIsCapCategoryCell[102X, for IsAttributeStoringRep 1.1-2 
  [2XIsCapCategoryMorphism[102X, for IsCapCategoryCell 1.1-4 
  [2XIsCapCategoryObject[102X, for IsCapCategoryCell 1.1-3 
  [2XIsCapCategoryTwoCell[102X, for IsCapCategoryCell 1.1-5 
  [2XIsCapFunctor[102X, for IsCapCategoryMorphism 5.2-2 
  [2XIsCapNaturalTransformation[102X, for IsCapCategoryTwoCell 5.2-3 
  [2XIsCodominating[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-4 
  [2XIsColiftable[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-10 
  [2XIsColiftableAlongEpimorphism[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-4 
  [2XIsCongruentForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1 
  [2XIsDerivedMethod[102X, for IsObject 8.2-1 
  [2XIsDerivedMethodGraph[102X, for IsObject 8.3-1 
  [2XIsDominating[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 
  [2XIsDummyCategory[102X, for IsCapCategory 13.1-1 
  [2XIsDummyCategoryCell[102X, for IsCapCategoryCell 13.1-2 
  [2XIsDummyCategoryMorphism[102X, for IsDummyCategoryCell and IsCapCategoryMorphism 13.1-4 
  [2XIsDummyCategoryObject[102X, for IsDummyCategoryCell and IsCapCategoryObject 13.1-3 
  [2XIsEmptyHeap[102X, for IsStringMinHeap 8.5-6 
  [2XIsEndomorphism[102X, for IsCapCategoryMorphism 3.5-3 
  [2XIsEpimorphism[102X, for IsCapCategoryMorphism 3.3-2 
  [2XIsEqualAsFactorobjects[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-2 
  [2XIsEqualAsSubobjects[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-1 
  [2XIsEqualForCacheForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.14-1 
  [2XIsEqualForCacheForObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 2.5-1 
  [2XIsEqualForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2 
  [2XIsEqualForMorphismsOnMor[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 
  [2XIsEqualForObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 2.2-1 
  [2XIsEqualToIdentityMorphism[102X, for IsCapCategoryMorphism 3.5-1 
  [2XIsEqualToZeroMorphism[102X, for IsCapCategoryMorphism 3.5-2 
  [2XIsHomSetInhabited[102X, for IsCapCategoryObject, IsCapCategoryObject 3.15-1 
  [2XIsIdempotent[102X, for IsCapCategoryMorphism 3.3-7 
  [2XIsInitial[102X, for IsCapCategoryObject 2.3-5 
  [2XIsInjective[102X, for IsCapCategoryObject 2.3-3 
  [2XIsIsomorphism[102X, for IsCapCategoryMorphism 3.3-3 
  [2XIsLiftable[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7 
  [2XIsLiftableAlongMonomorphism[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3 
  [2XIsMonomorphism[102X, for IsCapCategoryMorphism 3.3-1 
  [2XIsomorphismFromCoequalizerOfCoproductDiagramToPushout[102X, for IsList 6.12-4 
  [2XIsomorphismFromCoimageToCokernelOfKernel[102X, for IsCapCategoryMorphism 6.14-5 
  [2XIsomorphismFromCokernelOfDiagonalDifferenceToPushout[102X, for IsList 6.12-2 
  [2XIsomorphismFromCokernelOfKernelToCoimage[102X, for IsCapCategoryMorphism 6.14-6 
  [2XIsomorphismFromCoproductToDirectSum[102X, for IsList 6.6-14 
  [2XIsomorphismFromDirectProductToDirectSum[102X, for IsList 6.6-12 
  [2XIsomorphismFromDirectSumToCoproduct[102X, for IsList 6.6-13 
  [2XIsomorphismFromDirectSumToDirectProduct[102X, for IsList 6.6-11 
  [2XIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct[102X, for IsList 6.11-4 
  [2XIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram[102X, for IsList 6.11-3 
  [2XIsomorphismFromFiberProductToKernelOfDiagonalDifference[102X, for IsList 6.11-1 
  [2XIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-4 
  [2XIsomorphismFromImageObjectToKernelOfCokernel[102X, for IsCapCategoryMorphism 6.13-1 
  [2XIsomorphismFromInitialObjectToZeroObject[102X, for IsCapCategory 6.3-10 
  [2XIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-5 
  [2XIsomorphismFromKernelOfCokernelToImageObject[102X, for IsCapCategoryMorphism 6.13-2 
  [2XIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct[102X, for IsList 6.11-2 
  [2XIsomorphismFromPushoutToCoequalizerOfCoproductDiagram[102X, for IsList 6.12-3 
  [2XIsomorphismFromPushoutToCokernelOfDiagonalDifference[102X, for IsList 6.12-1 
  [2XIsomorphismFromTerminalObjectToZeroObject[102X, for IsCapCategory 6.3-12 
  [2XIsomorphismFromZeroObjectToInitialObject[102X, for IsCapCategory 6.3-9 
  [2XIsomorphismFromZeroObjectToTerminalObject[102X, for IsCapCategory 6.3-11 
  [2XIsOne[102X, for IsCapCategoryMorphism 3.3-6 
  [2XIsOperationWeightList[102X, for IsObject 8.4-1 
  [2XIsProjective[102X, for IsCapCategoryObject 2.3-2 
  [2XIsSpecializationOfFilter[102X 9.2-22 
  [2XIsSpecializationOfFilterList[102X 9.2-23 
  [2XIsSplitEpimorphism[102X, for IsCapCategoryMorphism 3.3-5 
  [2XIsSplitMonomorphism[102X, for IsCapCategoryMorphism 3.3-4 
  [2XIsStringMinHeap[102X, for IsObject 8.5-1 
  [2XIsTerminal[102X, for IsCapCategoryObject 2.3-4 
  [2XIsWellDefined[102X, for IsCapCategoryCell 1.6-1 
  [2XIsWellDefinedForMorphisms[102X, for IsCapCategoryMorphism 3.11-1 
  [2XIsWellDefinedForObjects[102X, for IsCapCategoryObject 2.8-1 
  [2XIsWellDefinedForTwoCells[102X, for IsCapCategoryTwoCell 4.3-1 
  [2XIsWrapperCapCategory[102X, for WasCreatedAsWrapperCapCategory 12.1-2 
  [2XIsWrapperCapCategoryCell[102X, for IsCapCategoryCell 12.1-3 
  [2XIsWrapperCapCategoryMorphism[102X, for IsWrapperCapCategoryCell and IsCapCategoryMorphism 12.1-5 
  [2XIsWrapperCapCategoryObject[102X, for IsWrapperCapCategoryCell and IsCapCategoryObject 12.1-4 
  [2XIsZero[102X, for IsCapCategoryObject 2.3-7 
  [2XIsZeroForMorphisms[102X, for IsCapCategoryMorphism 3.8-1 
  [2XIsZeroForObjects[102X, for IsCapCategoryObject 2.3-6 
  [2XIterated[102X, for IsList, IsFunction, IsObject 9.2-31 
  [2XKernelEmbedding[102X, for IsCapCategoryMorphism 6.1-2 
  [2XKernelEmbeddingWithGivenKernelObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3 
  [2XKernelLift[102X, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.1-6 
  [2XKernelLiftWithGivenKernelObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.1-7 
  [2XKernelObject[102X, for IsCapCategoryMorphism 6.1-1 
  [2XKernelObjectFunctorial[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-9 
      for IsList 6.1-8 
  [2XKernelObjectFunctorialWithGivenKernelObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11 
      for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-10 
  [2XLastWithKeys[102X 9.2-49 
  [2XLaTeXOutput[102X, for IsCapCategory 1.13-2 
      for IsCapCategoryCell 1.13-1 
  [2XLift[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5 
  [2XLiftAlongMonomorphism[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1 
  [2XLiftOrFail[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6 
  [2XListCAPPrepareFunctions[102X 7.6-3 
  [2XListWithKeys[102X 9.2-41 
  [2XMakeDerivation[102X, for IsString, IsFunction, IsDenseList,IsPosInt, IsFunction, IsFunction 8.2-2 
  [2XMakeDerivationGraph[102X, for IsDenseList 8.3-2 
  [2XMakeOperationWeightList[102X, for IsCapCategory, IsDerivedMethodGraph 8.4-2 
  [2XMereExistenceOfSolutionOfLinearSystemInAbCategory[102X, for IsList, IsList, IsList 3.16-10 
  [2XModeledMorphism[102X, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.3-10 
  [2XModeledObject[102X, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject 12.3-8 
  [2XModelingCategory[102X, for WasCreatedAsWrapperCapCategory 12.2-1 
  [2XModelingMorphism[102X, for WasCreatedAsWrapperCapCategory, IsCapCategoryMorphism 12.3-9 
  [2XModelingObject[102X, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject 12.3-7 
  [2XMonomorphismIntoSomeInjectiveObject[102X, for IsCapCategoryObject 2.10-2 
  [2XMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject[102X, for IsCapCategoryObject, IsCapCategoryObject 2.10-3 
  [2XMorphismBetweenDirectSums[102X, for IsList 6.6-16 
      for IsList, IsInt, IsInt 6.6-18 
      for IsList, IsList, IsList 6.6-15 
  [2XMorphismBetweenDirectSumsWithGivenDirectSums[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-17 
  [2XMorphismCache[102X, for IsCapFunctor 9.1-2 
  [2XMorphismConstructor[102X, for IsCapCategoryObject, IsObject, IsCapCategoryObject 3.2-1 
  [2XMorphismDatum[102X, for IsCapCategoryMorphism 3.2-2 
  [2XMorphismFilter[102X, for IsCapCategory 1.3-4 
  [2XMorphismFromCoimageToImage[102X, for IsCapCategoryMorphism 6.14-1 
  [2XMorphismFromCoimageToImageWithGivenObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2 
  [2XMorphismFromEqualizerToSink[102X, for IsCapCategoryObject, IsList 6.9-5 
  [2XMorphismFromEqualizerToSinkWithGivenEqualizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-6 
  [2XMorphismFromFiberProductToSink[102X, for IsList 6.11-11 
  [2XMorphismFromFiberProductToSinkWithGivenFiberProduct[102X, for IsList, IsCapCategoryObject 6.11-12 
  [2XMorphismFromKernelObjectToSink[102X, for IsCapCategoryMorphism 6.1-4 
  [2XMorphismFromKernelObjectToSinkWithGivenKernelObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5 
  [2XMorphismFromSourceToCoequalizer[102X, for IsCapCategoryObject, IsList 6.10-5 
  [2XMorphismFromSourceToCoequalizerWithGivenCoequalizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-6 
  [2XMorphismFromSourceToCokernelObject[102X, for IsCapCategoryMorphism 6.2-4 
  [2XMorphismFromSourceToCokernelObjectWithGivenCokernelObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5 
  [2XMorphismFromSourceToPushout[102X, for IsList 6.12-11 
  [2XMorphismFromSourceToPushoutWithGivenPushout[102X, for IsList, IsCapCategoryObject 6.12-12 
  [2XMorphismFromZeroObject[102X, for IsCapCategoryObject 6.3-7 
  [2XMorphismIntoZeroObject[102X, for IsCapCategoryObject 6.3-8 
  [2XMultiplyWithElementOfCommutativeRingForMorphisms[102X, for IsRingElement, IsCapCategoryMorphism 3.8-5 
  [2XName[102X, for IsCapNaturalTransformation 5.5-1 
  [2XNaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms[102X, for IsCapCategory 5.4-16 
  [2XNaturalIsomorphismFromIdentityToCanonicalizeZeroObjects[102X, for IsCapCategory 5.4-14 
  [2XNaturalTransformation[102X, for IsCapFunctor, IsCapFunctor 5.5-2 
  [2XNTuple[102X 9.2-36 
  [2XNumberWithKeys[102X 9.2-46 
  [2XObjectCache[102X, for IsCapFunctor 9.1-1 
  [2XObjectConstructor[102X, for IsCapCategory, IsObject 2.7-1 
  [2XObjectDatum[102X, for IsCapCategoryObject 2.7-3 
  [2XObjectFilter[102X, for IsCapCategory 1.3-3 
  [2XObjectifyMorphismWithSourceAndRangeForCAPWithAttributes[102X 3.6-4 
  [2XObjectifyObjectForCAPWithAttributes[102X 2.6-4 
  [2XOperations[102X, for IsDerivedMethodGraph 8.3-10 
  [2XOperationWeightUsingDerivation[102X, for IsOperationWeightList, IsDerivedMethod 8.4-6 
  [2XPackageOfCAPOperation[102X 9.2-33 
  [2XPair[102X 9.2-37 
  [2XPostCompose[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 
      for IsList 3.10-6 
  [2XPostComposeList[102X, for IsList 3.10-7 
  [2XPreCompose[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2 
      for IsList 3.10-3 
  [2XPreComposeList[102X, for IsList 3.10-4 
  [2XPrintDerivationTree[102X, for IsOperationWeightList, IsString 8.4-12 
  [2XPrintTree[102X, for IsObject, IsFunction, IsFunction 8.4-13 
  [2XPrintTreeRec[102X, for IsObject, IsFunction, IsFunction, IsInt 8.4-14 
  [2XProductWithKeys[102X 9.2-43 
  [2XProjectionInFactorOfDirectProduct[102X, for IsList, IsInt 6.8-3 
  [2XProjectionInFactorOfDirectProductWithGivenDirectProduct[102X, for IsList, IsInt, IsCapCategoryObject 6.8-4 
  [2XProjectionInFactorOfDirectSum[102X, for IsList, IsInt 6.6-3 
  [2XProjectionInFactorOfDirectSumWithGivenDirectSum[102X, for IsList, IsInt, IsCapCategoryObject 6.6-4 
  [2XProjectionInFactorOfFiberProduct[102X, for IsList, IsInt 6.11-9 
  [2XProjectionInFactorOfFiberProductWithGivenFiberProduct[102X, for IsList, IsInt, IsCapCategoryObject 6.11-10 
  [2XProjectionOntoCoequalizer[102X, for IsCapCategoryObject, IsList 6.10-3 
  [2XProjectionOntoCoequalizerWithGivenCoequalizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-4 
  [2XProjectiveDimension[102X, for IsCapCategoryObject 2.12-1 
  [2XProjectiveLift[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4 
  [2XPushout[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-8 
      for IsList 6.12-7 
  [2XPushoutFunctorial[102X, for IsList, IsList, IsList 6.12-15 
  [2XPushoutFunctorialWithGivenPushouts[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-16 
  [2XRandomMorphism[102X, for IsCapCategory, IsInt 3.4-9 
      for IsCapCategory, IsList 3.4-9 
      for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-9 
      for IsCapCategoryObject, IsCapCategoryObject, IsList 3.4-9 
  [2XRandomMorphismByInteger[102X, for IsCapCategory, IsInt 3.4-7 
  [2XRandomMorphismByList[102X, for IsCapCategory, IsList 3.4-8 
  [2XRandomMorphismWithFixedRange[102X, for IsCapCategoryObject, IsInt 3.4-9 
      for IsCapCategoryObject, IsList 3.4-9 
  [2XRandomMorphismWithFixedRangeByInteger[102X, for IsCapCategoryObject, IsInt 3.4-3 
  [2XRandomMorphismWithFixedRangeByList[102X, for IsCapCategoryObject, IsList 3.4-4 
  [2XRandomMorphismWithFixedSource[102X, for IsCapCategoryObject, IsInt 3.4-9 
      for IsCapCategoryObject, IsList 3.4-9 
  [2XRandomMorphismWithFixedSourceAndRange[102X, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-9 
      for IsCapCategoryObject, IsCapCategoryObject, IsList 3.4-9 
  [2XRandomMorphismWithFixedSourceAndRangeByInteger[102X, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-5 
  [2XRandomMorphismWithFixedSourceAndRangeByList[102X, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.4-6 
  [2XRandomMorphismWithFixedSourceByInteger[102X, for IsCapCategoryObject, IsInt 3.4-1 
  [2XRandomMorphismWithFixedSourceByList[102X, for IsCapCategoryObject, IsList 3.4-2 
  [2XRandomObject[102X, for IsCapCategory, IsInt 2.4-3 
      for IsCapCategory, IsList 2.4-4 
  [2XRandomObjectByInteger[102X, for IsCapCategory, IsInt 2.4-1 
  [2XRandomObjectByList[102X, for IsCapCategory, IsList 2.4-2 
  [2XRange[102X, for IsCapCategoryMorphism 3.1-3 
      for IsCapCategoryTwoCell 4.1-2 
  [2XRangeCategoryOfHomomorphismStructure[102X, for IsCapCategory 1.3-7 
  [2XRangeOfFunctor[102X, for IsCapFunctor 5.4-4 
  [2XReevaluate[102X, for IsOperationWeightList 8.4-9 
  [2XResetTimingStatistics[102X 1.10-1 
  [2XSafePosition[102X, for IsList, IsObject 9.2-34 
  [2XSafePositionProperty[102X, for IsList, IsFunction 9.2-35 
  [2XSaturate[102X, for IsOperationWeightList 8.4-10 
  [2XSetCachingOfCategory[102X 1.8-1 
  [2XSetCachingOfCategoryCrisp[102X 1.8-2 
  [2XSetCachingOfCategoryWeak[102X 1.8-2 
  [2XSetDefaultCaching[102X 1.8-3 
  [2XSetDefaultCachingCrisp[102X 1.8-3 
  [2XSetDefaultCachingWeak[102X 1.8-3 
  [2XSimplify[102X, for IsCapCategoryMorphism 3.17-16 
      for IsCapCategoryObject 2.11-1 
  [2XSimplifyEndo[102X, for IsCapCategoryMorphism, IsObject 3.17-13 
  [2XSimplifyEndo_IsoFromInputObject[102X, for IsCapCategoryMorphism, IsObject 3.17-15 
  [2XSimplifyEndo_IsoToInputObject[102X, for IsCapCategoryMorphism, IsObject 3.17-14 
  [2XSimplifyMorphism[102X, for IsCapCategoryMorphism, IsObject 3.17-1 
  [2XSimplifyObject[102X, for IsCapCategoryObject, IsObject 2.11-2 
  [2XSimplifyObject_IsoFromInputObject[102X, for IsCapCategoryObject, IsObject 2.11-3 
  [2XSimplifyObject_IsoToInputObject[102X, for IsCapCategoryObject, IsObject 2.11-4 
  [2XSimplifyRange[102X, for IsCapCategoryMorphism, IsObject 3.17-5 
  [2XSimplifyRange_IsoFromInputObject[102X, for IsCapCategoryMorphism, IsObject 3.17-7 
  [2XSimplifyRange_IsoToInputObject[102X, for IsCapCategoryMorphism, IsObject 3.17-6 
  [2XSimplifySource[102X, for IsCapCategoryMorphism, IsObject 3.17-2 
  [2XSimplifySource_IsoFromInputObject[102X, for IsCapCategoryMorphism, IsObject 3.17-4 
  [2XSimplifySource_IsoToInputObject[102X, for IsCapCategoryMorphism, IsObject 3.17-3 
  [2XSimplifySourceAndRange[102X, for IsCapCategoryMorphism, IsObject 3.17-8 
  [2XSimplifySourceAndRange_IsoFromInputRange[102X, for IsCapCategoryMorphism, IsObject 3.17-10 
  [2XSimplifySourceAndRange_IsoFromInputSource[102X, for IsCapCategoryMorphism, IsObject 3.17-12 
  [2XSimplifySourceAndRange_IsoToInputRange[102X, for IsCapCategoryMorphism, IsObject 3.17-9 
  [2XSimplifySourceAndRange_IsoToInputSource[102X, for IsCapCategoryMorphism, IsObject 3.17-11 
  [2XSolveLinearSystemInAbCategory[102X, for IsList, IsList, IsList 3.16-8 
  [2XSolveLinearSystemInAbCategoryOrFail[102X, for IsList, IsList, IsList 3.16-9 
  [2XSomeInjectiveObject[102X, for IsCapCategoryObject 2.10-1 
  [2XSomeProjectiveObject[102X, for IsCapCategoryObject 2.9-1 
  [2XSomeReductionBySplitEpiSummand[102X, for IsCapCategoryMorphism 3.18-1 
  [2XSomeReductionBySplitEpiSummand_MorphismFromInputRange[102X, for IsCapCategoryMorphism 3.18-3 
  [2XSomeReductionBySplitEpiSummand_MorphismToInputRange[102X, for IsCapCategoryMorphism 3.18-2 
  [2XSource[102X, for IsCapCategoryMorphism 3.1-2 
      for IsCapCategoryTwoCell 4.1-1 
  [2XSourceOfFunctor[102X, for IsCapFunctor 5.4-3 
  [2XStringMinHeap[102X 8.5-2 
  [2XSubtractionForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 
  [2XSumWithKeys[102X 9.2-42 
  [2XSwap[102X, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 
  [2XTargetOperation[102X, for IsDerivedMethod 8.2-8 
  [2XTerminalObject[102X, for IsCapCategory 6.4-1 
      for IsCapCategoryCell 6.4-2 
  [2XTerminalObjectFunctorial[102X, for IsCapCategory 6.4-5 
  [2XTerminalObjectFunctorialWithGivenTerminalObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 
  [2XTransitivelyNeededOtherPackages[102X 9.2-32 
  [2XTriple[102X 9.2-38 
  [2XTwoCellFilter[102X, for IsCapCategory 1.3-5 
  [2XUnderlyingCell[102X, for IsWrapperCapCategoryCell 12.2-2 
  [2XUniversalMorphismFromCoequalizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.10-7 
  [2XUniversalMorphismFromCoequalizerWithGivenCoequalizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.10-8 
  [2XUniversalMorphismFromCoproduct[102X, for IsList, IsCapCategoryObject, IsList 6.7-6 
  [2XUniversalMorphismFromCoproductWithGivenCoproduct[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.7-7 
  [2XUniversalMorphismFromDirectSum[102X, for IsList, IsCapCategoryObject, IsList 6.6-9 
  [2XUniversalMorphismFromDirectSumWithGivenDirectSum[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-10 
  [2XUniversalMorphismFromImage[102X, for IsCapCategoryMorphism, IsList 6.13-8 
  [2XUniversalMorphismFromImageWithGivenImageObject[102X, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-9 
  [2XUniversalMorphismFromInitialObject[102X, for IsCapCategoryObject 6.5-3 
  [2XUniversalMorphismFromInitialObjectWithGivenInitialObject[102X, for IsCapCategoryObject, IsCapCategoryObject 6.5-4 
  [2XUniversalMorphismFromPushout[102X, for IsList, IsCapCategoryObject, IsList 6.12-13 
  [2XUniversalMorphismFromPushoutWithGivenPushout[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-14 
  [2XUniversalMorphismFromZeroObject[102X, for IsCapCategoryObject 6.3-3 
  [2XUniversalMorphismFromZeroObjectWithGivenZeroObject[102X, for IsCapCategoryObject, IsCapCategoryObject 6.3-4 
  [2XUniversalMorphismIntoCoimage[102X, for IsCapCategoryMorphism, IsList 6.14-12 
  [2XUniversalMorphismIntoCoimageWithGivenCoimageObject[102X, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-13 
  [2XUniversalMorphismIntoDirectProduct[102X, for IsList, IsCapCategoryObject, IsList 6.8-5 
  [2XUniversalMorphismIntoDirectProductWithGivenDirectProduct[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-6 
  [2XUniversalMorphismIntoDirectSum[102X, for IsList, IsCapCategoryObject, IsList 6.6-7 
  [2XUniversalMorphismIntoDirectSumWithGivenDirectSum[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-8 
  [2XUniversalMorphismIntoEqualizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7 
  [2XUniversalMorphismIntoEqualizerWithGivenEqualizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.9-8 
  [2XUniversalMorphismIntoFiberProduct[102X, for IsList, IsCapCategoryObject, IsList 6.11-13 
  [2XUniversalMorphismIntoFiberProductWithGivenFiberProduct[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-14 
  [2XUniversalMorphismIntoTerminalObject[102X, for IsCapCategoryObject 6.4-3 
  [2XUniversalMorphismIntoTerminalObjectWithGivenTerminalObject[102X, for IsCapCategoryObject, IsCapCategoryObject 6.4-4 
  [2XUniversalMorphismIntoZeroObject[102X, for IsCapCategoryObject 6.3-5 
  [2XUniversalMorphismIntoZeroObjectWithGivenZeroObject[102X, for IsCapCategoryObject, IsCapCategoryObject 6.3-6 
  [2XUsedOperationsWithMultiplesAndCategoryGetters[102X, for IsDerivedMethod 8.2-9 
  [2XVerticalPostCompose[102X, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-5 
  [2XVerticalPreCompose[102X, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-4 
  [2XWasCreatedAsWrapperCapCategory[102X, for IsCapCategory 12.1-1 
  [2XWrapperCategory[102X, for IsCapCategory, IsRecord 12.3-5 
  [2XWrappingFunctor[102X, for IsWrapperCapCategory 12.3-6 
  [2XZeroMorphism[102X, for IsCapCategoryObject, IsCapCategoryObject 3.8-7 
  [2XZeroObject[102X, for IsCapCategory 6.3-1 
      for IsCapCategoryCell 6.3-2 
  [2XZeroObjectFunctorial[102X, for IsCapCategory 6.3-13 
  [2XZeroObjectFunctorialWithGivenZeroObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 6.3-14 
  
  
  -------------------------------------------------------
