  
  
  [1XIndex[101X
  
  [2X*[102X, for IsRingElement, IsCapCategoryMorphism 3.8-6 
  [2X/[102X, for IsCapCategoryCell, IsWrapperCapCategory 13.3-4 
      for IsObject, IsCapCategory 2.7-2 
  [2XActivateDerivationInfo[102X 8.1-2 
  [2XAdd[102X, for IsCapCategory, IsCapCategoryMorphism 3.2-1 
      for IsCapCategory, IsCapCategoryObject 2.2-1 
      for IsCapCategory, IsCapCategoryTwoCell 4.2-1 
  [2XAddAdditionForMorphisms[102X, for IsCapCategory, IsFunction 7.6-1 
      for IsCapCategory, IsFunction, IsInt 7.6-1 
  [2XAddAdditiveGenerators[102X, for IsCapCategory, IsFunction 7.6-2 
      for IsCapCategory, IsFunction, IsInt 7.6-2 
  [2XAddAdditiveInverseForMorphisms[102X, for IsCapCategory, IsFunction 7.6-3 
      for IsCapCategory, IsFunction, IsInt 7.6-3 
  [2XAddAstrictionToCoimage[102X, for IsCapCategory, IsFunction 7.6-4 
      for IsCapCategory, IsFunction, IsInt 7.6-4 
  [2XAddAstrictionToCoimageWithGivenCoimageObject[102X, for IsCapCategory, IsFunction 7.6-5 
      for IsCapCategory, IsFunction, IsInt 7.6-5 
  [2XAddBasisOfExternalHom[102X, for IsCapCategory, IsFunction 7.6-6 
      for IsCapCategory, IsFunction, IsInt 7.6-6 
  [2XAddCategoricalProperty[102X 1.2-1 
  [2XAddCoastrictionToImage[102X, for IsCapCategory, IsFunction 7.6-7 
      for IsCapCategory, IsFunction, IsInt 7.6-7 
  [2XAddCoastrictionToImageWithGivenImageObject[102X, for IsCapCategory, IsFunction 7.6-8 
      for IsCapCategory, IsFunction, IsInt 7.6-8 
  [2XAddCoefficientsOfMorphism[102X, for IsCapCategory, IsFunction 7.6-9 
      for IsCapCategory, IsFunction, IsInt 7.6-9 
  [2XAddCoequalizer[102X, for IsCapCategory, IsFunction 7.6-10 
      for IsCapCategory, IsFunction, IsInt 7.6-10 
  [2XAddCoequalizerFunctorial[102X, for IsCapCategory, IsFunction 7.6-11 
      for IsCapCategory, IsFunction, IsInt 7.6-11 
  [2XAddCoequalizerFunctorialWithGivenCoequalizers[102X, for IsCapCategory, IsFunction 7.6-12 
      for IsCapCategory, IsFunction, IsInt 7.6-12 
  [2XAddCoimageObject[102X, for IsCapCategory, IsFunction 7.6-13 
      for IsCapCategory, IsFunction, IsInt 7.6-13 
  [2XAddCoimageObjectFunctorial[102X, for IsCapCategory, IsFunction 7.6-14 
      for IsCapCategory, IsFunction, IsInt 7.6-14 
  [2XAddCoimageObjectFunctorialWithGivenCoimageObjects[102X, for IsCapCategory, IsFunction 7.6-15 
      for IsCapCategory, IsFunction, IsInt 7.6-15 
  [2XAddCoimageProjection[102X, for IsCapCategory, IsFunction 7.6-16 
      for IsCapCategory, IsFunction, IsInt 7.6-16 
  [2XAddCoimageProjectionWithGivenCoimageObject[102X, for IsCapCategory, IsFunction 7.6-17 
      for IsCapCategory, IsFunction, IsInt 7.6-17 
  [2XAddCokernelColift[102X, for IsCapCategory, IsFunction 7.6-18 
      for IsCapCategory, IsFunction, IsInt 7.6-18 
  [2XAddCokernelColiftWithGivenCokernelObject[102X, for IsCapCategory, IsFunction 7.6-19 
      for IsCapCategory, IsFunction, IsInt 7.6-19 
  [2XAddCokernelObject[102X, for IsCapCategory, IsFunction 7.6-20 
      for IsCapCategory, IsFunction, IsInt 7.6-20 
  [2XAddCokernelObjectFunctorial[102X, for IsCapCategory, IsFunction 7.6-21 
      for IsCapCategory, IsFunction, IsInt 7.6-21 
  [2XAddCokernelObjectFunctorialWithGivenCokernelObjects[102X, for IsCapCategory, IsFunction 7.6-22 
      for IsCapCategory, IsFunction, IsInt 7.6-22 
  [2XAddCokernelProjection[102X, for IsCapCategory, IsFunction 7.6-23 
      for IsCapCategory, IsFunction, IsInt 7.6-23 
  [2XAddCokernelProjectionWithGivenCokernelObject[102X, for IsCapCategory, IsFunction 7.6-24 
      for IsCapCategory, IsFunction, IsInt 7.6-24 
  [2XAddColift[102X, for IsCapCategory, IsFunction 7.6-25 
      for IsCapCategory, IsFunction, IsInt 7.6-25 
  [2XAddColiftAlongEpimorphism[102X, for IsCapCategory, IsFunction 7.6-26 
      for IsCapCategory, IsFunction, IsInt 7.6-26 
  [2XAddComponentOfMorphismFromCoproduct[102X, for IsCapCategory, IsFunction 7.6-27 
      for IsCapCategory, IsFunction, IsInt 7.6-27 
  [2XAddComponentOfMorphismFromDirectSum[102X, for IsCapCategory, IsFunction 7.6-28 
      for IsCapCategory, IsFunction, IsInt 7.6-28 
  [2XAddComponentOfMorphismIntoDirectProduct[102X, for IsCapCategory, IsFunction 7.6-29 
      for IsCapCategory, IsFunction, IsInt 7.6-29 
  [2XAddComponentOfMorphismIntoDirectSum[102X, for IsCapCategory, IsFunction 7.6-30 
      for IsCapCategory, IsFunction, IsInt 7.6-30 
  [2XAddCoproduct[102X, for IsCapCategory, IsFunction 7.6-31 
      for IsCapCategory, IsFunction, IsInt 7.6-31 
  [2XAddCoproductFunctorial[102X, for IsCapCategory, IsFunction 7.6-32 
      for IsCapCategory, IsFunction, IsInt 7.6-32 
  [2XAddCoproductFunctorialWithGivenCoproducts[102X, for IsCapCategory, IsFunction 7.6-33 
      for IsCapCategory, IsFunction, IsInt 7.6-33 
  [2XAddDerivation[102X 8.3-4 
  [2XAddDerivationToCAP[102X 8.3-5 
  [2XAddDirectProduct[102X, for IsCapCategory, IsFunction 7.6-34 
      for IsCapCategory, IsFunction, IsInt 7.6-34 
  [2XAddDirectProductFunctorial[102X, for IsCapCategory, IsFunction 7.6-35 
      for IsCapCategory, IsFunction, IsInt 7.6-35 
  [2XAddDirectProductFunctorialWithGivenDirectProducts[102X, for IsCapCategory, IsFunction 7.6-36 
      for IsCapCategory, IsFunction, IsInt 7.6-36 
  [2XAddDirectSum[102X, for IsCapCategory, IsFunction 7.6-37 
      for IsCapCategory, IsFunction, IsInt 7.6-37 
  [2XAddDirectSumFunctorial[102X, for IsCapCategory, IsFunction 7.6-38 
      for IsCapCategory, IsFunction, IsInt 7.6-38 
  [2XAddDirectSumFunctorialWithGivenDirectSums[102X, for IsCapCategory, IsFunction 7.6-39 
      for IsCapCategory, IsFunction, IsInt 7.6-39 
  [2XAddDistinguishedObjectOfHomomorphismStructure[102X, for IsCapCategory, IsFunction 7.6-40 
      for IsCapCategory, IsFunction, IsInt 7.6-40 
  [2XAddEmbeddingOfEqualizer[102X, for IsCapCategory, IsFunction 7.6-41 
      for IsCapCategory, IsFunction, IsInt 7.6-41 
  [2XAddEmbeddingOfEqualizerWithGivenEqualizer[102X, for IsCapCategory, IsFunction 7.6-42 
      for IsCapCategory, IsFunction, IsInt 7.6-42 
  [2XAddEpimorphismFromProjectiveCoverObject[102X, for IsCapCategory, IsFunction 7.6-43 
      for IsCapCategory, IsFunction, IsInt 7.6-43 
  [2XAddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject[102X, for IsCapCategory, IsFunction 7.6-44 
      for IsCapCategory, IsFunction, IsInt 7.6-44 
  [2XAddEpimorphismFromSomeProjectiveObject[102X, for IsCapCategory, IsFunction 7.6-45 
      for IsCapCategory, IsFunction, IsInt 7.6-45 
  [2XAddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject[102X, for IsCapCategory, IsFunction 7.6-46 
      for IsCapCategory, IsFunction, IsInt 7.6-46 
  [2XAddEqualizer[102X, for IsCapCategory, IsFunction 7.6-47 
      for IsCapCategory, IsFunction, IsInt 7.6-47 
  [2XAddEqualizerFunctorial[102X, for IsCapCategory, IsFunction 7.6-48 
      for IsCapCategory, IsFunction, IsInt 7.6-48 
  [2XAddEqualizerFunctorialWithGivenEqualizers[102X, for IsCapCategory, IsFunction 7.6-49 
      for IsCapCategory, IsFunction, IsInt 7.6-49 
  [2XAddFiberProduct[102X, for IsCapCategory, IsFunction 7.6-50 
      for IsCapCategory, IsFunction, IsInt 7.6-50 
  [2XAddFiberProductFunctorial[102X, for IsCapCategory, IsFunction 7.6-51 
      for IsCapCategory, IsFunction, IsInt 7.6-51 
  [2XAddFiberProductFunctorialWithGivenFiberProducts[102X, for IsCapCategory, IsFunction 7.6-52 
      for IsCapCategory, IsFunction, IsInt 7.6-52 
  [2XAddHomologyObject[102X, for IsCapCategory, IsFunction 7.6-53 
      for IsCapCategory, IsFunction, IsInt 7.6-53 
  [2XAddHomologyObjectFunctorialWithGivenHomologyObjects[102X, for IsCapCategory, IsFunction 7.6-54 
      for IsCapCategory, IsFunction, IsInt 7.6-54 
  [2XAddHomomorphismStructureOnMorphisms[102X, for IsCapCategory, IsFunction 7.6-55 
      for IsCapCategory, IsFunction, IsInt 7.6-55 
  [2XAddHomomorphismStructureOnMorphismsWithGivenObjects[102X, for IsCapCategory, IsFunction 7.6-56 
      for IsCapCategory, IsFunction, IsInt 7.6-56 
  [2XAddHomomorphismStructureOnObjects[102X, for IsCapCategory, IsFunction 7.6-57 
      for IsCapCategory, IsFunction, IsInt 7.6-57 
  [2XAddHorizontalPostCompose[102X, for IsCapCategory, IsFunction 7.6-58 
      for IsCapCategory, IsFunction, IsInt 7.6-58 
  [2XAddHorizontalPreCompose[102X, for IsCapCategory, IsFunction 7.6-59 
      for IsCapCategory, IsFunction, IsInt 7.6-59 
  [2XAddIdentityMorphism[102X, for IsCapCategory, IsFunction 7.6-60 
      for IsCapCategory, IsFunction, IsInt 7.6-60 
  [2XAddIdentityTwoCell[102X, for IsCapCategory, IsFunction 7.6-61 
      for IsCapCategory, IsFunction, IsInt 7.6-61 
  [2XAddImageEmbedding[102X, for IsCapCategory, IsFunction 7.6-62 
      for IsCapCategory, IsFunction, IsInt 7.6-62 
  [2XAddImageEmbeddingWithGivenImageObject[102X, for IsCapCategory, IsFunction 7.6-63 
      for IsCapCategory, IsFunction, IsInt 7.6-63 
  [2XAddImageObject[102X, for IsCapCategory, IsFunction 7.6-64 
      for IsCapCategory, IsFunction, IsInt 7.6-64 
  [2XAddImageObjectFunctorial[102X, for IsCapCategory, IsFunction 7.6-65 
      for IsCapCategory, IsFunction, IsInt 7.6-65 
  [2XAddImageObjectFunctorialWithGivenImageObjects[102X, for IsCapCategory, IsFunction 7.6-66 
      for IsCapCategory, IsFunction, IsInt 7.6-66 
  [2XAddIndecomposableInjectiveObjects[102X, for IsCapCategory, IsFunction 7.6-67 
      for IsCapCategory, IsFunction, IsInt 7.6-67 
  [2XAddIndecomposableProjectiveObjects[102X, for IsCapCategory, IsFunction 7.6-68 
      for IsCapCategory, IsFunction, IsInt 7.6-68 
  [2XAddInitialObject[102X, for IsCapCategory, IsFunction 7.6-69 
      for IsCapCategory, IsFunction, IsInt 7.6-69 
  [2XAddInitialObjectFunctorial[102X, for IsCapCategory, IsFunction 7.6-70 
      for IsCapCategory, IsFunction, IsInt 7.6-70 
  [2XAddInitialObjectFunctorialWithGivenInitialObjects[102X, for IsCapCategory, IsFunction 7.6-71 
      for IsCapCategory, IsFunction, IsInt 7.6-71 
  [2XAddInjectionOfCofactorOfCoproduct[102X, for IsCapCategory, IsFunction 7.6-72 
      for IsCapCategory, IsFunction, IsInt 7.6-72 
  [2XAddInjectionOfCofactorOfCoproductWithGivenCoproduct[102X, for IsCapCategory, IsFunction 7.6-73 
      for IsCapCategory, IsFunction, IsInt 7.6-73 
  [2XAddInjectionOfCofactorOfDirectSum[102X, for IsCapCategory, IsFunction 7.6-74 
      for IsCapCategory, IsFunction, IsInt 7.6-74 
  [2XAddInjectionOfCofactorOfDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.6-75 
      for IsCapCategory, IsFunction, IsInt 7.6-75 
  [2XAddInjectionOfCofactorOfPushout[102X, for IsCapCategory, IsFunction 7.6-76 
      for IsCapCategory, IsFunction, IsInt 7.6-76 
  [2XAddInjectionOfCofactorOfPushoutWithGivenPushout[102X, for IsCapCategory, IsFunction 7.6-77 
      for IsCapCategory, IsFunction, IsInt 7.6-77 
  [2XAddInjectiveColift[102X, for IsCapCategory, IsFunction 7.6-78 
      for IsCapCategory, IsFunction, IsInt 7.6-78 
  [2XAddInjectiveDimension[102X, for IsCapCategory, IsFunction 7.6-79 
      for IsCapCategory, IsFunction, IsInt 7.6-79 
  [2XAddInjectiveEnvelopeObject[102X, for IsCapCategory, IsFunction 7.6-80 
      for IsCapCategory, IsFunction, IsInt 7.6-80 
  [2XAddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure[102X, for IsCapCategory, IsFunction 7.6-81 
      for IsCapCategory, IsFunction, IsInt 7.6-81 
  [2XAddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects[102X, for IsCapCategory, IsFunction 7.6-82 
      for IsCapCategory, IsFunction, IsInt 7.6-82 
  [2XAddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism[102X, for IsCapCategory, IsFunction 7.6-83 
      for IsCapCategory, IsFunction, IsInt 7.6-83 
  [2XAddInverseForMorphisms[102X, for IsCapCategory, IsFunction 7.6-84 
      for IsCapCategory, IsFunction, IsInt 7.6-84 
  [2XAddInverseOfMorphismFromCoimageToImage[102X, for IsCapCategory, IsFunction 7.6-85 
      for IsCapCategory, IsFunction, IsInt 7.6-85 
  [2XAddInverseOfMorphismFromCoimageToImageWithGivenObjects[102X, for IsCapCategory, IsFunction 7.6-86 
      for IsCapCategory, IsFunction, IsInt 7.6-86 
  [2XAddIsAutomorphism[102X, for IsCapCategory, IsFunction 7.6-87 
      for IsCapCategory, IsFunction, IsInt 7.6-87 
  [2XAddIsBijectiveObject[102X, for IsCapCategory, IsFunction 7.6-88 
      for IsCapCategory, IsFunction, IsInt 7.6-88 
  [2XAddIsCodominating[102X, for IsCapCategory, IsFunction 7.6-89 
      for IsCapCategory, IsFunction, IsInt 7.6-89 
  [2XAddIsColiftable[102X, for IsCapCategory, IsFunction 7.6-90 
      for IsCapCategory, IsFunction, IsInt 7.6-90 
  [2XAddIsColiftableAlongEpimorphism[102X, for IsCapCategory, IsFunction 7.6-91 
      for IsCapCategory, IsFunction, IsInt 7.6-91 
  [2XAddIsCongruentForMorphisms[102X, for IsCapCategory, IsFunction 7.6-92 
      for IsCapCategory, IsFunction, IsInt 7.6-92 
  [2XAddIsDominating[102X, for IsCapCategory, IsFunction 7.6-93 
      for IsCapCategory, IsFunction, IsInt 7.6-93 
  [2XAddIsEndomorphism[102X, for IsCapCategory, IsFunction 7.6-94 
      for IsCapCategory, IsFunction, IsInt 7.6-94 
  [2XAddIsEpimorphism[102X, for IsCapCategory, IsFunction 7.6-95 
      for IsCapCategory, IsFunction, IsInt 7.6-95 
  [2XAddIsEqualAsFactorobjects[102X, for IsCapCategory, IsFunction 7.6-96 
      for IsCapCategory, IsFunction, IsInt 7.6-96 
  [2XAddIsEqualAsSubobjects[102X, for IsCapCategory, IsFunction 7.6-97 
      for IsCapCategory, IsFunction, IsInt 7.6-97 
  [2XAddIsEqualForCacheForMorphisms[102X, for IsCapCategory, IsFunction 7.6-98 
      for IsCapCategory, IsFunction, IsInt 7.6-98 
  [2XAddIsEqualForCacheForObjects[102X, for IsCapCategory, IsFunction 7.6-99 
      for IsCapCategory, IsFunction, IsInt 7.6-99 
  [2XAddIsEqualForMorphisms[102X, for IsCapCategory, IsFunction 7.6-100 
      for IsCapCategory, IsFunction, IsInt 7.6-100 
  [2XAddIsEqualForMorphismsOnMor[102X, for IsCapCategory, IsFunction 7.6-101 
      for IsCapCategory, IsFunction, IsInt 7.6-101 
  [2XAddIsEqualForObjects[102X, for IsCapCategory, IsFunction 7.6-102 
      for IsCapCategory, IsFunction, IsInt 7.6-102 
  [2XAddIsEqualToIdentityMorphism[102X, for IsCapCategory, IsFunction 7.6-103 
      for IsCapCategory, IsFunction, IsInt 7.6-103 
  [2XAddIsEqualToZeroMorphism[102X, for IsCapCategory, IsFunction 7.6-104 
      for IsCapCategory, IsFunction, IsInt 7.6-104 
  [2XAddIsHomSetInhabited[102X, for IsCapCategory, IsFunction 7.6-105 
      for IsCapCategory, IsFunction, IsInt 7.6-105 
  [2XAddIsIdempotent[102X, for IsCapCategory, IsFunction 7.6-106 
      for IsCapCategory, IsFunction, IsInt 7.6-106 
  [2XAddIsInitial[102X, for IsCapCategory, IsFunction 7.6-107 
      for IsCapCategory, IsFunction, IsInt 7.6-107 
  [2XAddIsInjective[102X, for IsCapCategory, IsFunction 7.6-108 
      for IsCapCategory, IsFunction, IsInt 7.6-108 
  [2XAddIsIsomorphicForObjects[102X, for IsCapCategory, IsFunction 7.6-109 
      for IsCapCategory, IsFunction, IsInt 7.6-109 
  [2XAddIsIsomorphism[102X, for IsCapCategory, IsFunction 7.6-110 
      for IsCapCategory, IsFunction, IsInt 7.6-110 
  [2XAddIsLiftable[102X, for IsCapCategory, IsFunction 7.6-111 
      for IsCapCategory, IsFunction, IsInt 7.6-111 
  [2XAddIsLiftableAlongMonomorphism[102X, for IsCapCategory, IsFunction 7.6-112 
      for IsCapCategory, IsFunction, IsInt 7.6-112 
  [2XAddIsMonomorphism[102X, for IsCapCategory, IsFunction 7.6-113 
      for IsCapCategory, IsFunction, IsInt 7.6-113 
  [2XAddIsomorphismFromCoequalizerOfCoproductDiagramToPushout[102X, for IsCapCategory, IsFunction 7.6-125 
      for IsCapCategory, IsFunction, IsInt 7.6-125 
  [2XAddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct[102X, for IsCapCategory, IsFunction 7.6-126 
      for IsCapCategory, IsFunction, IsInt 7.6-126 
  [2XAddIsomorphismFromCoimageToCokernelOfKernel[102X, for IsCapCategory, IsFunction 7.6-127 
      for IsCapCategory, IsFunction, IsInt 7.6-127 
  [2XAddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer[102X, for IsCapCategory, IsFunction 7.6-128 
      for IsCapCategory, IsFunction, IsInt 7.6-128 
  [2XAddIsomorphismFromCokernelOfKernelToCoimage[102X, for IsCapCategory, IsFunction 7.6-129 
      for IsCapCategory, IsFunction, IsInt 7.6-129 
  [2XAddIsomorphismFromCoproductToDirectSum[102X, for IsCapCategory, IsFunction 7.6-130 
      for IsCapCategory, IsFunction, IsInt 7.6-130 
  [2XAddIsomorphismFromDirectProductToDirectSum[102X, for IsCapCategory, IsFunction 7.6-131 
      for IsCapCategory, IsFunction, IsInt 7.6-131 
  [2XAddIsomorphismFromDirectSumToCoproduct[102X, for IsCapCategory, IsFunction 7.6-132 
      for IsCapCategory, IsFunction, IsInt 7.6-132 
  [2XAddIsomorphismFromDirectSumToDirectProduct[102X, for IsCapCategory, IsFunction 7.6-133 
      for IsCapCategory, IsFunction, IsInt 7.6-133 
  [2XAddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct[102X, for IsCapCategory, IsFunction 7.6-134 
      for IsCapCategory, IsFunction, IsInt 7.6-134 
  [2XAddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct[102X, for IsCapCategory, IsFunction 7.6-135 
      for IsCapCategory, IsFunction, IsInt 7.6-135 
  [2XAddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram[102X, for IsCapCategory, IsFunction 7.6-136 
      for IsCapCategory, IsFunction, IsInt 7.6-136 
  [2XAddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject[102X, for IsCapCategory, IsFunction 7.6-137 
      for IsCapCategory, IsFunction, IsInt 7.6-137 
  [2XAddIsomorphismFromImageObjectToKernelOfCokernel[102X, for IsCapCategory, IsFunction 7.6-138 
      for IsCapCategory, IsFunction, IsInt 7.6-138 
  [2XAddIsomorphismFromInitialObjectToZeroObject[102X, for IsCapCategory, IsFunction 7.6-139 
      for IsCapCategory, IsFunction, IsInt 7.6-139 
  [2XAddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject[102X, for IsCapCategory, IsFunction 7.6-140 
      for IsCapCategory, IsFunction, IsInt 7.6-140 
  [2XAddIsomorphismFromKernelOfCokernelToImageObject[102X, for IsCapCategory, IsFunction 7.6-141 
      for IsCapCategory, IsFunction, IsInt 7.6-141 
  [2XAddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer[102X, for IsCapCategory, IsFunction 7.6-142 
      for IsCapCategory, IsFunction, IsInt 7.6-142 
  [2XAddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram[102X, for IsCapCategory, IsFunction 7.6-143 
      for IsCapCategory, IsFunction, IsInt 7.6-143 
  [2XAddIsomorphismFromTerminalObjectToZeroObject[102X, for IsCapCategory, IsFunction 7.6-144 
      for IsCapCategory, IsFunction, IsInt 7.6-144 
  [2XAddIsomorphismFromZeroObjectToInitialObject[102X, for IsCapCategory, IsFunction 7.6-145 
      for IsCapCategory, IsFunction, IsInt 7.6-145 
  [2XAddIsomorphismFromZeroObjectToTerminalObject[102X, for IsCapCategory, IsFunction 7.6-146 
      for IsCapCategory, IsFunction, IsInt 7.6-146 
  [2XAddIsOne[102X, for IsCapCategory, IsFunction 7.6-114 
      for IsCapCategory, IsFunction, IsInt 7.6-114 
  [2XAddIsProjective[102X, for IsCapCategory, IsFunction 7.6-115 
      for IsCapCategory, IsFunction, IsInt 7.6-115 
  [2XAddIsSplitEpimorphism[102X, for IsCapCategory, IsFunction 7.6-116 
      for IsCapCategory, IsFunction, IsInt 7.6-116 
  [2XAddIsSplitMonomorphism[102X, for IsCapCategory, IsFunction 7.6-117 
      for IsCapCategory, IsFunction, IsInt 7.6-117 
  [2XAddIsTerminal[102X, for IsCapCategory, IsFunction 7.6-118 
      for IsCapCategory, IsFunction, IsInt 7.6-118 
  [2XAddIsWellDefinedForMorphisms[102X, for IsCapCategory, IsFunction 7.6-119 
      for IsCapCategory, IsFunction, IsInt 7.6-119 
  [2XAddIsWellDefinedForMorphismsWithGivenSourceAndRange[102X, for IsCapCategory, IsFunction 7.6-120 
      for IsCapCategory, IsFunction, IsInt 7.6-120 
  [2XAddIsWellDefinedForObjects[102X, for IsCapCategory, IsFunction 7.6-121 
      for IsCapCategory, IsFunction, IsInt 7.6-121 
  [2XAddIsWellDefinedForTwoCells[102X, for IsCapCategory, IsFunction 7.6-122 
      for IsCapCategory, IsFunction, IsInt 7.6-122 
  [2XAddIsZeroForMorphisms[102X, for IsCapCategory, IsFunction 7.6-123 
      for IsCapCategory, IsFunction, IsInt 7.6-123 
  [2XAddIsZeroForObjects[102X, for IsCapCategory, IsFunction 7.6-124 
      for IsCapCategory, IsFunction, IsInt 7.6-124 
  [2XAdditionalWeight[102X, for IsDerivedMethod 8.2-4 
  [2XAdditionForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2 
  [2XAdditiveGenerators[102X, for IsCapCategory 1.4-11 
  [2XAdditiveInverseForMorphisms[102X, for IsCapCategoryMorphism 3.8-4 
  [2XAddJointPairwiseDifferencesOfMorphismsFromCoproduct[102X, for IsCapCategory, IsFunction 7.6-147 
      for IsCapCategory, IsFunction, IsInt 7.6-147 
  [2XAddJointPairwiseDifferencesOfMorphismsIntoDirectProduct[102X, for IsCapCategory, IsFunction 7.6-148 
      for IsCapCategory, IsFunction, IsInt 7.6-148 
  [2XAddKernelEmbedding[102X, for IsCapCategory, IsFunction 7.6-149 
      for IsCapCategory, IsFunction, IsInt 7.6-149 
  [2XAddKernelEmbeddingWithGivenKernelObject[102X, for IsCapCategory, IsFunction 7.6-150 
      for IsCapCategory, IsFunction, IsInt 7.6-150 
  [2XAddKernelLift[102X, for IsCapCategory, IsFunction 7.6-151 
      for IsCapCategory, IsFunction, IsInt 7.6-151 
  [2XAddKernelLiftWithGivenKernelObject[102X, for IsCapCategory, IsFunction 7.6-152 
      for IsCapCategory, IsFunction, IsInt 7.6-152 
  [2XAddKernelObject[102X, for IsCapCategory, IsFunction 7.6-153 
      for IsCapCategory, IsFunction, IsInt 7.6-153 
  [2XAddKernelObjectFunctorial[102X, for IsCapCategory, IsFunction 7.6-154 
      for IsCapCategory, IsFunction, IsInt 7.6-154 
  [2XAddKernelObjectFunctorialWithGivenKernelObjects[102X, for IsCapCategory, IsFunction 7.6-155 
      for IsCapCategory, IsFunction, IsInt 7.6-155 
  [2XAddLift[102X, for IsCapCategory, IsFunction 7.6-156 
      for IsCapCategory, IsFunction, IsInt 7.6-156 
  [2XAddLiftAlongMonomorphism[102X, for IsCapCategory, IsFunction 7.6-157 
      for IsCapCategory, IsFunction, IsInt 7.6-157 
  [2XAddLinearCombinationOfMorphisms[102X, for IsCapCategory, IsFunction 7.6-158 
      for IsCapCategory, IsFunction, IsInt 7.6-158 
  [2XAddMereExistenceOfSolutionOfLinearSystemInAbCategory[102X, for IsCapCategory, IsFunction 7.6-159 
      for IsCapCategory, IsFunction, IsInt 7.6-159 
  [2XAddMonomorphismIntoInjectiveEnvelopeObject[102X, for IsCapCategory, IsFunction 7.6-160 
      for IsCapCategory, IsFunction, IsInt 7.6-160 
  [2XAddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject[102X, for IsCapCategory, IsFunction 7.6-161 
      for IsCapCategory, IsFunction, IsInt 7.6-161 
  [2XAddMonomorphismIntoSomeInjectiveObject[102X, for IsCapCategory, IsFunction 7.6-162 
      for IsCapCategory, IsFunction, IsInt 7.6-162 
  [2XAddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject[102X, for IsCapCategory, IsFunction 7.6-163 
      for IsCapCategory, IsFunction, IsInt 7.6-163 
  [2XAddMorphism[102X, for IsCapCategory, IsAttributeStoringRep 3.2-2 
  [2XAddMorphismBetweenDirectSums[102X, for IsCapCategory, IsFunction 7.6-164 
      for IsCapCategory, IsFunction, IsInt 7.6-164 
  [2XAddMorphismBetweenDirectSumsWithGivenDirectSums[102X, for IsCapCategory, IsFunction 7.6-165 
      for IsCapCategory, IsFunction, IsInt 7.6-165 
  [2XAddMorphismConstructor[102X, for IsCapCategory, IsFunction 7.6-166 
      for IsCapCategory, IsFunction, IsInt 7.6-166 
  [2XAddMorphismDatum[102X, for IsCapCategory, IsFunction 7.6-167 
      for IsCapCategory, IsFunction, IsInt 7.6-167 
  [2XAddMorphismFromCoimageToImage[102X, for IsCapCategory, IsFunction 7.6-168 
      for IsCapCategory, IsFunction, IsInt 7.6-168 
  [2XAddMorphismFromCoimageToImageWithGivenObjects[102X, for IsCapCategory, IsFunction 7.6-169 
      for IsCapCategory, IsFunction, IsInt 7.6-169 
  [2XAddMorphismFromEqualizerToSink[102X, for IsCapCategory, IsFunction 7.6-170 
      for IsCapCategory, IsFunction, IsInt 7.6-170 
  [2XAddMorphismFromEqualizerToSinkWithGivenEqualizer[102X, for IsCapCategory, IsFunction 7.6-171 
      for IsCapCategory, IsFunction, IsInt 7.6-171 
  [2XAddMorphismFromFiberProductToSink[102X, for IsCapCategory, IsFunction 7.6-172 
      for IsCapCategory, IsFunction, IsInt 7.6-172 
  [2XAddMorphismFromFiberProductToSinkWithGivenFiberProduct[102X, for IsCapCategory, IsFunction 7.6-173 
      for IsCapCategory, IsFunction, IsInt 7.6-173 
  [2XAddMorphismFromKernelObjectToSink[102X, for IsCapCategory, IsFunction 7.6-174 
      for IsCapCategory, IsFunction, IsInt 7.6-174 
  [2XAddMorphismFromKernelObjectToSinkWithGivenKernelObject[102X, for IsCapCategory, IsFunction 7.6-175 
      for IsCapCategory, IsFunction, IsInt 7.6-175 
  [2XAddMorphismFromSourceToCoequalizer[102X, for IsCapCategory, IsFunction 7.6-176 
      for IsCapCategory, IsFunction, IsInt 7.6-176 
  [2XAddMorphismFromSourceToCoequalizerWithGivenCoequalizer[102X, for IsCapCategory, IsFunction 7.6-177 
      for IsCapCategory, IsFunction, IsInt 7.6-177 
  [2XAddMorphismFromSourceToCokernelObject[102X, for IsCapCategory, IsFunction 7.6-178 
      for IsCapCategory, IsFunction, IsInt 7.6-178 
  [2XAddMorphismFromSourceToCokernelObjectWithGivenCokernelObject[102X, for IsCapCategory, IsFunction 7.6-179 
      for IsCapCategory, IsFunction, IsInt 7.6-179 
  [2XAddMorphismFromSourceToPushout[102X, for IsCapCategory, IsFunction 7.6-180 
      for IsCapCategory, IsFunction, IsInt 7.6-180 
  [2XAddMorphismFromSourceToPushoutWithGivenPushout[102X, for IsCapCategory, IsFunction 7.6-181 
      for IsCapCategory, IsFunction, IsInt 7.6-181 
  [2XAddMorphismFunction[102X, for IsCapFunctor, IsFunction 5.4-7 
  [2XAddMorphismsOfExternalHom[102X, for IsCapCategory, IsFunction 7.6-182 
      for IsCapCategory, IsFunction, IsInt 7.6-182 
  [2XAddMultiplyWithElementOfCommutativeRingForMorphisms[102X, for IsCapCategory, IsFunction 7.6-183 
      for IsCapCategory, IsFunction, IsInt 7.6-183 
  [2XAddNaturalTransformationFunction[102X, for IsCapNaturalTransformation, IsFunction 5.5-3 
  [2XAddObject[102X, for IsCapCategory, IsAttributeStoringRep 2.2-2 
  [2XAddObjectConstructor[102X, for IsCapCategory, IsFunction 7.6-184 
      for IsCapCategory, IsFunction, IsInt 7.6-184 
  [2XAddObjectDatum[102X, for IsCapCategory, IsFunction 7.6-185 
      for IsCapCategory, IsFunction, IsInt 7.6-185 
  [2XAddObjectFunction[102X, for IsCapFunctor, IsFunction 5.4-5 
  [2XAddOperationsToDerivationGraph[102X, for IsDerivedMethodGraph, IsDenseList 8.3-3 
  [2XAddPostCompose[102X, for IsCapCategory, IsFunction 7.6-186 
      for IsCapCategory, IsFunction, IsInt 7.6-186 
  [2XAddPostComposeList[102X, for IsCapCategory, IsFunction 7.6-187 
      for IsCapCategory, IsFunction, IsInt 7.6-187 
  [2XAddPostInverseForMorphisms[102X, for IsCapCategory, IsFunction 7.6-188 
      for IsCapCategory, IsFunction, IsInt 7.6-188 
  [2XAddPreCompose[102X, for IsCapCategory, IsFunction 7.6-189 
      for IsCapCategory, IsFunction, IsInt 7.6-189 
  [2XAddPreComposeList[102X, for IsCapCategory, IsFunction 7.6-190 
      for IsCapCategory, IsFunction, IsInt 7.6-190 
  [2XAddPreInverseForMorphisms[102X, for IsCapCategory, IsFunction 7.6-191 
      for IsCapCategory, IsFunction, IsInt 7.6-191 
  [2XAddPrimitiveOperation[102X, for IsOperationWeightList, IsString, IsInt 8.4-11 
  [2XAddProjectionInFactorOfDirectProduct[102X, for IsCapCategory, IsFunction 7.6-192 
      for IsCapCategory, IsFunction, IsInt 7.6-192 
  [2XAddProjectionInFactorOfDirectProductWithGivenDirectProduct[102X, for IsCapCategory, IsFunction 7.6-193 
      for IsCapCategory, IsFunction, IsInt 7.6-193 
  [2XAddProjectionInFactorOfDirectSum[102X, for IsCapCategory, IsFunction 7.6-194 
      for IsCapCategory, IsFunction, IsInt 7.6-194 
  [2XAddProjectionInFactorOfDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.6-195 
      for IsCapCategory, IsFunction, IsInt 7.6-195 
  [2XAddProjectionInFactorOfFiberProduct[102X, for IsCapCategory, IsFunction 7.6-196 
      for IsCapCategory, IsFunction, IsInt 7.6-196 
  [2XAddProjectionInFactorOfFiberProductWithGivenFiberProduct[102X, for IsCapCategory, IsFunction 7.6-197 
      for IsCapCategory, IsFunction, IsInt 7.6-197 
  [2XAddProjectionOntoCoequalizer[102X, for IsCapCategory, IsFunction 7.6-198 
      for IsCapCategory, IsFunction, IsInt 7.6-198 
  [2XAddProjectionOntoCoequalizerWithGivenCoequalizer[102X, for IsCapCategory, IsFunction 7.6-199 
      for IsCapCategory, IsFunction, IsInt 7.6-199 
  [2XAddProjectiveCoverObject[102X, for IsCapCategory, IsFunction 7.6-200 
      for IsCapCategory, IsFunction, IsInt 7.6-200 
  [2XAddProjectiveDimension[102X, for IsCapCategory, IsFunction 7.6-201 
      for IsCapCategory, IsFunction, IsInt 7.6-201 
  [2XAddProjectiveLift[102X, for IsCapCategory, IsFunction 7.6-202 
      for IsCapCategory, IsFunction, IsInt 7.6-202 
  [2XAddPushout[102X, for IsCapCategory, IsFunction 7.6-203 
      for IsCapCategory, IsFunction, IsInt 7.6-203 
  [2XAddPushoutFunctorial[102X, for IsCapCategory, IsFunction 7.6-204 
      for IsCapCategory, IsFunction, IsInt 7.6-204 
  [2XAddPushoutFunctorialWithGivenPushouts[102X, for IsCapCategory, IsFunction 7.6-205 
      for IsCapCategory, IsFunction, IsInt 7.6-205 
  [2XAddRandomMorphismByInteger[102X, for IsCapCategory, IsFunction 7.6-206 
      for IsCapCategory, IsFunction, IsInt 7.6-206 
  [2XAddRandomMorphismByList[102X, for IsCapCategory, IsFunction 7.6-207 
      for IsCapCategory, IsFunction, IsInt 7.6-207 
  [2XAddRandomMorphismWithFixedRangeByInteger[102X, for IsCapCategory, IsFunction 7.6-208 
      for IsCapCategory, IsFunction, IsInt 7.6-208 
  [2XAddRandomMorphismWithFixedRangeByList[102X, for IsCapCategory, IsFunction 7.6-209 
      for IsCapCategory, IsFunction, IsInt 7.6-209 
  [2XAddRandomMorphismWithFixedSourceAndRangeByInteger[102X, for IsCapCategory, IsFunction 7.6-210 
      for IsCapCategory, IsFunction, IsInt 7.6-210 
  [2XAddRandomMorphismWithFixedSourceAndRangeByList[102X, for IsCapCategory, IsFunction 7.6-211 
      for IsCapCategory, IsFunction, IsInt 7.6-211 
  [2XAddRandomMorphismWithFixedSourceByInteger[102X, for IsCapCategory, IsFunction 7.6-212 
      for IsCapCategory, IsFunction, IsInt 7.6-212 
  [2XAddRandomMorphismWithFixedSourceByList[102X, for IsCapCategory, IsFunction 7.6-213 
      for IsCapCategory, IsFunction, IsInt 7.6-213 
  [2XAddRandomObjectByInteger[102X, for IsCapCategory, IsFunction 7.6-214 
      for IsCapCategory, IsFunction, IsInt 7.6-214 
  [2XAddRandomObjectByList[102X, for IsCapCategory, IsFunction 7.6-215 
      for IsCapCategory, IsFunction, IsInt 7.6-215 
  [2XAddSimplifyEndo[102X, for IsCapCategory, IsFunction 7.6-216 
      for IsCapCategory, IsFunction, IsInt 7.6-216 
  [2XAddSimplifyEndo_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.6-217 
      for IsCapCategory, IsFunction, IsInt 7.6-217 
  [2XAddSimplifyEndo_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.6-218 
      for IsCapCategory, IsFunction, IsInt 7.6-218 
  [2XAddSimplifyMorphism[102X, for IsCapCategory, IsFunction 7.6-219 
      for IsCapCategory, IsFunction, IsInt 7.6-219 
  [2XAddSimplifyObject[102X, for IsCapCategory, IsFunction 7.6-220 
      for IsCapCategory, IsFunction, IsInt 7.6-220 
  [2XAddSimplifyObject_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.6-221 
      for IsCapCategory, IsFunction, IsInt 7.6-221 
  [2XAddSimplifyObject_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.6-222 
      for IsCapCategory, IsFunction, IsInt 7.6-222 
  [2XAddSimplifyRange[102X, for IsCapCategory, IsFunction 7.6-223 
      for IsCapCategory, IsFunction, IsInt 7.6-223 
  [2XAddSimplifyRange_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.6-224 
      for IsCapCategory, IsFunction, IsInt 7.6-224 
  [2XAddSimplifyRange_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.6-225 
      for IsCapCategory, IsFunction, IsInt 7.6-225 
  [2XAddSimplifySource[102X, for IsCapCategory, IsFunction 7.6-226 
      for IsCapCategory, IsFunction, IsInt 7.6-226 
  [2XAddSimplifySource_IsoFromInputObject[102X, for IsCapCategory, IsFunction 7.6-232 
      for IsCapCategory, IsFunction, IsInt 7.6-232 
  [2XAddSimplifySource_IsoToInputObject[102X, for IsCapCategory, IsFunction 7.6-233 
      for IsCapCategory, IsFunction, IsInt 7.6-233 
  [2XAddSimplifySourceAndRange[102X, for IsCapCategory, IsFunction 7.6-227 
      for IsCapCategory, IsFunction, IsInt 7.6-227 
  [2XAddSimplifySourceAndRange_IsoFromInputRange[102X, for IsCapCategory, IsFunction 7.6-228 
      for IsCapCategory, IsFunction, IsInt 7.6-228 
  [2XAddSimplifySourceAndRange_IsoFromInputSource[102X, for IsCapCategory, IsFunction 7.6-229 
      for IsCapCategory, IsFunction, IsInt 7.6-229 
  [2XAddSimplifySourceAndRange_IsoToInputRange[102X, for IsCapCategory, IsFunction 7.6-230 
      for IsCapCategory, IsFunction, IsInt 7.6-230 
  [2XAddSimplifySourceAndRange_IsoToInputSource[102X, for IsCapCategory, IsFunction 7.6-231 
      for IsCapCategory, IsFunction, IsInt 7.6-231 
  [2XAddSolveLinearSystemInAbCategory[102X, for IsCapCategory, IsFunction 7.6-234 
      for IsCapCategory, IsFunction, IsInt 7.6-234 
  [2XAddSomeInjectiveObject[102X, for IsCapCategory, IsFunction 7.6-235 
      for IsCapCategory, IsFunction, IsInt 7.6-235 
  [2XAddSomeIsomorphismBetweenObjects[102X, for IsCapCategory, IsFunction 7.6-236 
      for IsCapCategory, IsFunction, IsInt 7.6-236 
  [2XAddSomeProjectiveObject[102X, for IsCapCategory, IsFunction 7.6-237 
      for IsCapCategory, IsFunction, IsInt 7.6-237 
  [2XAddSomeReductionBySplitEpiSummand[102X, for IsCapCategory, IsFunction 7.6-238 
      for IsCapCategory, IsFunction, IsInt 7.6-238 
  [2XAddSomeReductionBySplitEpiSummand_MorphismFromInputRange[102X, for IsCapCategory, IsFunction 7.6-239 
      for IsCapCategory, IsFunction, IsInt 7.6-239 
  [2XAddSomeReductionBySplitEpiSummand_MorphismToInputRange[102X, for IsCapCategory, IsFunction 7.6-240 
      for IsCapCategory, IsFunction, IsInt 7.6-240 
  [2XAddSubtractionForMorphisms[102X, for IsCapCategory, IsFunction 7.6-241 
      for IsCapCategory, IsFunction, IsInt 7.6-241 
  [2XAddSumOfMorphisms[102X, for IsCapCategory, IsFunction 7.6-242 
      for IsCapCategory, IsFunction, IsInt 7.6-242 
  [2XAddTerminalObject[102X, for IsCapCategory, IsFunction 7.6-243 
      for IsCapCategory, IsFunction, IsInt 7.6-243 
  [2XAddTerminalObjectFunctorial[102X, for IsCapCategory, IsFunction 7.6-244 
      for IsCapCategory, IsFunction, IsInt 7.6-244 
  [2XAddTerminalObjectFunctorialWithGivenTerminalObjects[102X, for IsCapCategory, IsFunction 7.6-245 
      for IsCapCategory, IsFunction, IsInt 7.6-245 
  [2XAddTwoCell[102X, for IsCapCategory, IsAttributeStoringRep 4.2-2 
  [2XAddUniversalMorphismFromCoequalizer[102X, for IsCapCategory, IsFunction 7.6-246 
      for IsCapCategory, IsFunction, IsInt 7.6-246 
  [2XAddUniversalMorphismFromCoequalizerWithGivenCoequalizer[102X, for IsCapCategory, IsFunction 7.6-247 
      for IsCapCategory, IsFunction, IsInt 7.6-247 
  [2XAddUniversalMorphismFromCoproduct[102X, for IsCapCategory, IsFunction 7.6-248 
      for IsCapCategory, IsFunction, IsInt 7.6-248 
  [2XAddUniversalMorphismFromCoproductWithGivenCoproduct[102X, for IsCapCategory, IsFunction 7.6-249 
      for IsCapCategory, IsFunction, IsInt 7.6-249 
  [2XAddUniversalMorphismFromDirectSum[102X, for IsCapCategory, IsFunction 7.6-250 
      for IsCapCategory, IsFunction, IsInt 7.6-250 
  [2XAddUniversalMorphismFromDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.6-251 
      for IsCapCategory, IsFunction, IsInt 7.6-251 
  [2XAddUniversalMorphismFromImage[102X, for IsCapCategory, IsFunction 7.6-252 
      for IsCapCategory, IsFunction, IsInt 7.6-252 
  [2XAddUniversalMorphismFromImageWithGivenImageObject[102X, for IsCapCategory, IsFunction 7.6-253 
      for IsCapCategory, IsFunction, IsInt 7.6-253 
  [2XAddUniversalMorphismFromInitialObject[102X, for IsCapCategory, IsFunction 7.6-254 
      for IsCapCategory, IsFunction, IsInt 7.6-254 
  [2XAddUniversalMorphismFromInitialObjectWithGivenInitialObject[102X, for IsCapCategory, IsFunction 7.6-255 
      for IsCapCategory, IsFunction, IsInt 7.6-255 
  [2XAddUniversalMorphismFromPushout[102X, for IsCapCategory, IsFunction 7.6-256 
      for IsCapCategory, IsFunction, IsInt 7.6-256 
  [2XAddUniversalMorphismFromPushoutWithGivenPushout[102X, for IsCapCategory, IsFunction 7.6-257 
      for IsCapCategory, IsFunction, IsInt 7.6-257 
  [2XAddUniversalMorphismFromZeroObject[102X, for IsCapCategory, IsFunction 7.6-258 
      for IsCapCategory, IsFunction, IsInt 7.6-258 
  [2XAddUniversalMorphismFromZeroObjectWithGivenZeroObject[102X, for IsCapCategory, IsFunction 7.6-259 
      for IsCapCategory, IsFunction, IsInt 7.6-259 
  [2XAddUniversalMorphismIntoCoimage[102X, for IsCapCategory, IsFunction 7.6-260 
      for IsCapCategory, IsFunction, IsInt 7.6-260 
  [2XAddUniversalMorphismIntoCoimageWithGivenCoimageObject[102X, for IsCapCategory, IsFunction 7.6-261 
      for IsCapCategory, IsFunction, IsInt 7.6-261 
  [2XAddUniversalMorphismIntoDirectProduct[102X, for IsCapCategory, IsFunction 7.6-262 
      for IsCapCategory, IsFunction, IsInt 7.6-262 
  [2XAddUniversalMorphismIntoDirectProductWithGivenDirectProduct[102X, for IsCapCategory, IsFunction 7.6-263 
      for IsCapCategory, IsFunction, IsInt 7.6-263 
  [2XAddUniversalMorphismIntoDirectSum[102X, for IsCapCategory, IsFunction 7.6-264 
      for IsCapCategory, IsFunction, IsInt 7.6-264 
  [2XAddUniversalMorphismIntoDirectSumWithGivenDirectSum[102X, for IsCapCategory, IsFunction 7.6-265 
      for IsCapCategory, IsFunction, IsInt 7.6-265 
  [2XAddUniversalMorphismIntoEqualizer[102X, for IsCapCategory, IsFunction 7.6-266 
      for IsCapCategory, IsFunction, IsInt 7.6-266 
  [2XAddUniversalMorphismIntoEqualizerWithGivenEqualizer[102X, for IsCapCategory, IsFunction 7.6-267 
      for IsCapCategory, IsFunction, IsInt 7.6-267 
  [2XAddUniversalMorphismIntoFiberProduct[102X, for IsCapCategory, IsFunction 7.6-268 
      for IsCapCategory, IsFunction, IsInt 7.6-268 
  [2XAddUniversalMorphismIntoFiberProductWithGivenFiberProduct[102X, for IsCapCategory, IsFunction 7.6-269 
      for IsCapCategory, IsFunction, IsInt 7.6-269 
  [2XAddUniversalMorphismIntoTerminalObject[102X, for IsCapCategory, IsFunction 7.6-270 
      for IsCapCategory, IsFunction, IsInt 7.6-270 
  [2XAddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject[102X, for IsCapCategory, IsFunction 7.6-271 
      for IsCapCategory, IsFunction, IsInt 7.6-271 
  [2XAddUniversalMorphismIntoZeroObject[102X, for IsCapCategory, IsFunction 7.6-272 
      for IsCapCategory, IsFunction, IsInt 7.6-272 
  [2XAddUniversalMorphismIntoZeroObjectWithGivenZeroObject[102X, for IsCapCategory, IsFunction 7.6-273 
      for IsCapCategory, IsFunction, IsInt 7.6-273 
  [2XAddVerticalPostCompose[102X, for IsCapCategory, IsFunction 7.6-274 
      for IsCapCategory, IsFunction, IsInt 7.6-274 
  [2XAddVerticalPreCompose[102X, for IsCapCategory, IsFunction 7.6-275 
      for IsCapCategory, IsFunction, IsInt 7.6-275 
  [2XAddZeroMorphism[102X, for IsCapCategory, IsFunction 7.6-276 
      for IsCapCategory, IsFunction, IsInt 7.6-276 
  [2XAddZeroObject[102X, for IsCapCategory, IsFunction 7.6-277 
      for IsCapCategory, IsFunction, IsInt 7.6-277 
  [2XAddZeroObjectFunctorial[102X, for IsCapCategory, IsFunction 7.6-278 
      for IsCapCategory, IsFunction, IsInt 7.6-278 
  [2XAddZeroObjectFunctorialWithGivenZeroObjects[102X, for IsCapCategory, IsFunction 7.6-279 
      for IsCapCategory, IsFunction, IsInt 7.6-279 
  [2XApplyFunctor[102X 5.4-9 
  [2XApplyNaturalTransformation[102X 5.5-4 
  [2XAsCapCategory[102X, for IsCapCategoryAsCatObject 5.3-2 
  [2XAsCapCategoryMorphism[102X 3.2-4 
  [2XAsCapCategoryObject[102X 2.2-4 
  [2XAsCatObject[102X, for IsCapCategory 5.3-1 
  [2XAsHomalgMatrix[102X, for IsCapCategoryMorphism 3.2-5 
      for IsCapCategoryObject 2.2-5 
  [2XAsInteger[102X, for IsCapCategoryMorphism 3.2-5 
      for IsCapCategoryObject 2.2-5 
  [2XAsMorphismInWrapperCategory[102X, for IsWrapperCapCategory, IsCapCategoryMorphism 13.3-3 
      for IsWrapperCapCategoryObject, IsCapCategoryMorphism, IsWrapperCapCategoryObject 13.3-2 
  [2XAsObjectInWrapperCategory[102X, for IsWrapperCapCategory, IsCapCategoryObject 13.3-1 
  [2XAsPrimitiveValue[102X, for IsCapCategoryMorphism 3.2-5 
      for IsCapCategoryObject 2.2-5 
  [2XAstrictionToCoimage[102X, for IsCapCategoryMorphism 6.14-10 
  [2XAstrictionToCoimageWithGivenCoimageObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11 
  [2XBasisOfExternalHom[102X, for IsCapCategoryObject, IsCapCategoryObject 3.16-21 
  [2XBrowseCachingStatistic[102X 9.2-15 
  [2XBrowseTimingStatistics[102X 1.11-1 
  [2XCachingStatistic[102X 9.2-14 
  [2XCanCompute[102X, for IsCapCategory, IsFunction 1.6-1 
      for IsCapCategory, IsString 1.6-1 
  [2XCAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY[102X 9.2-10 
  [2XCAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY[102X 9.2-12 
  [2XCAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY[102X 9.2-11 
  [2XCAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY[102X 9.2-13 
  [2XCAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER[102X 9.2-9 
  [2XCAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY[102X 16.2-3 
  [2XCAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION[102X 9.2-7 
  [2XCAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS[102X 10.3-1 
  [2XCAP_INTERNAL_GET_DATA_TYPE_FROM_STRING[102X 9.2-2 
  [2XCAP_INTERNAL_GET_DATA_TYPES_FROM_STRINGS[102X 9.2-3 
  [2XCAP_INTERNAL_MERGE_PRECONDITIONS_LIST[102X 9.2-8 
  [2XCAP_INTERNAL_REPLACED_STRING_WITH_FILTER[102X 9.2-4 
  [2XCAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS[102X 9.2-5 
  [2XCAP_INTERNAL_RETURN_OPTION_OR_DEFAULT[102X 9.2-6 
  [2XCAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD[102X 10.3-2 
  [2XCAP_JIT_EXPR_CASE_WRAPPER[102X 9.2-45 
  [2XCAP_JIT_INCOMPLETE_LOGIC[102X 9.2-44 
  [2XCAPAddPrepareFunction[102X 7.5-2 
  [2XCapCat[102X 5.1-1 
  [2XCapCategory[102X, for IsCapCategoryMorphism 3.1-1 
      for IsCapCategoryObject 2.1-1 
  [2XCapCategorySwitchLogicOff[102X 1.5-8 
  [2XCapCategorySwitchLogicOn[102X 1.5-7 
  [2XCapCategorySwitchLogicPropagationForMorphismsOff[102X 1.5-4 
  [2XCapCategorySwitchLogicPropagationForMorphismsOn[102X 1.5-3 
  [2XCapCategorySwitchLogicPropagationForObjectsOff[102X 1.5-2 
  [2XCapCategorySwitchLogicPropagationForObjectsOn[102X 1.5-1 
  [2XCapCategorySwitchLogicPropagationOff[102X 1.5-6 
  [2XCapCategorySwitchLogicPropagationOn[102X 1.5-5 
  [2XCapFixpoint[102X 9.2-28 
  [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 
  [2XCapJitAddKnownMethod[102X 9.2-21 
  [2XCapJitAddTypeSignature[102X 9.2-22 
  [2XCapJitDataTypeOfCategory[102X 9.2-26 
  [2XCapJitDataTypeOfElementOfRing[102X 9.2-25 
  [2XCapJitDataTypeOfListOf[102X 9.2-23 
  [2XCapJitDataTypeOfMorphismOfCategory[102X 9.2-26 
  [2XCapJitDataTypeOfNTupleOf[102X 9.2-24 
  [2XCapJitDataTypeOfObjectOfCategory[102X 9.2-26 
  [2XCapJitDataTypeOfRing[102X 9.2-25 
  [2XCapJitDataTypeOfTwoCellOfCategory[102X 9.2-26 
  [2XCapJitTypedExpression[102X 9.2-27 
  [2XCAPOperationPrepareFunction[102X 7.5-1 
  [2XCategoryConstructor[102X, for IsRecord 11.2-1 
  [2XCategoryFilter[102X, for IsCapCategory 1.4-2 
      for IsDerivedMethod 8.2-6 
  [2XCategoryOfOperationWeightList[102X, for IsOperationWeightList 8.4-4 
  [2XCoastrictionToImage[102X, for IsCapCategoryMorphism 6.13-6 
  [2XCoastrictionToImageWithGivenImageObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7 
  [2XCoefficientsOfMorphism[102X, for IsCapCategoryMorphism 3.16-22 
  [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 
  [2XCoimageObjectFunctorial[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.14-14 
  [2XCoimageObjectFunctorialWithGivenCoimageObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.14-15 
  [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.4-9 
  [2XComponentOfMorphismFromCoproduct[102X, for IsCapCategoryMorphism, IsList, IsInt 6.7-10 
  [2XComponentOfMorphismFromDirectSum[102X, for IsCapCategoryMorphism, IsList, IsInt 6.6-19 
  [2XComponentOfMorphismIntoDirectProduct[102X, for IsCapCategoryMorphism, IsList, IsInt 6.8-9 
  [2XComponentOfMorphismIntoDirectSum[102X, for IsCapCategoryMorphism, IsList, IsInt 6.6-18 
  [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.3-1 
      for IsString 1.3-2 
      for IsString, IsFunction, IsFunction, IsFunction, IsFunction 1.3-3 
  [2XCreateCapCategoryMorphismWithAttributes[102X 3.2-3 
  [2XCreateCapCategoryObjectWithAttributes[102X 2.2-3 
  [2XCreateCapCategoryTwoCellWithAttributes[102X 4.2-3 
  [2XCreateCapCategoryWithDataTypes[102X 1.3-4 
  [2XCreateDerivation[102X 8.2-2 
  [2XCreateGapObjectWithAttributes[102X 9.2-55 
  [2XCurrentOperationWeight[102X, for IsOperationWeightList, IsString 8.4-5 
  [2XDeactivateCachingOfCategory[102X 1.9-2 
  [2XDeactivateDefaultCaching[102X 1.9-3 
  [2XDeactivateDerivationInfo[102X 8.1-3 
  [2XDerivationFunction[102X, for IsDerivedMethod 8.2-5 
  [2XDerivationGraph[102X, for IsOperationWeightList 8.4-3 
  [2XDerivationInfo[102X 8.1-1 
  [2XDerivationOfOperation[102X, for IsOperationWeightList, IsString 8.4-7 
  [2XDerivationsOfOperation[102X, for IsDerivedMethodGraph, IsString 8.3-8 
  [2XDerivationsUsingOperation[102X, for IsDerivedMethodGraph, IsString 8.3-7 
  [2XDescription[102X, for IsDerivedMethod 8.2-3 
  [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 
  [2XDirectSumFunctorial[102X, for IsList, IsList, IsList 6.6-20 
  [2XDirectSumFunctorialWithGivenDirectSums[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-21 
  [2XDirectSumOp[102X, for IsList 6.6-2 
  [2XDisableAddForCategoricalOperations[102X 1.12-1 
  [2XDisableInputSanityChecks[102X 1.10-1 
  [2XDisableOutputSanityChecks[102X 1.10-1 
  [2XDisableSanityChecks[102X 1.10-1 
  [2XDisableTimingStatistics[102X 1.11-1 
  [2XDisplayTimingStatistics[102X 1.11-1 
  [2XDistinguishedObjectOfHomomorphismStructure[102X, for IsCapCategory 3.16-4 
  [2XDistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding[102X, for IsCapCategory, IsCapCategory 3.16-18 
  [2XDown[102X, for IsObject 1.8-1 
  [2XDownOnlyMorphismData[102X, for IsCapCategoryMorphism 1.8-2 
  [2XDownToBottom[102X, for IsObject 1.8-3 
  [2XDummyCategory[102X, for IsRecord 14.2-4 
  [2XDummyCommutativeHomalgRing[102X 14.3-8 
  [2XDummyCommutativeRing[102X 14.1-8 
  [2XDummyField[102X 14.1-9 
  [2XDummyHomalgField[102X 14.3-9 
  [2XDummyHomalgRing[102X 14.3-7 
  [2XDummyRing[102X 14.1-7 
  [2XEmbeddingOfEqualizer[102X, for IsCapCategoryObject, IsList 6.9-3 
  [2XEmbeddingOfEqualizerWithGivenEqualizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4 
  [2XEnableAddForCategoricalOperations[102X 1.12-1 
  [2XEnableFullInputSanityChecks[102X 1.10-1 
  [2XEnableFullOutputSanityChecks[102X 1.10-1 
  [2XEnableFullSanityChecks[102X 1.10-1 
  [2XEnablePartialInputSanityChecks[102X 1.10-1 
  [2XEnablePartialOutputSanityChecks[102X 1.10-1 
  [2XEnablePartialSanityChecks[102X 1.10-1 
  [2XEnableTimingStatistics[102X 1.11-1 
  [2XEpimorphismFromProjectiveCoverObject[102X, for IsCapCategoryObject 6.16-2 
  [2XEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject[102X, for IsCapCategoryObject, IsCapCategoryObject 6.16-3 
  [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 
  [2XFiberProduct[102X 6.11-5 
  [2XFiberProductEmbeddingInDirectProduct[102X, for IsList 6.11-3 
  [2XFiberProductEmbeddingInDirectSum[102X, for IsList 6.11-4 
  [2XFiberProductFunctorial[102X, for IsList, IsList, IsList 6.11-13 
  [2XFiberProductFunctorialWithGivenFiberProducts[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14 
  [2XFiberProductOp[102X, for IsList 6.11-6 
  [2XFilteredWithKeys[102X 9.2-52 
  [2XFirstWithKeys[102X 9.2-53 
  [2XForAllWithKeys[102X 9.2-49 
  [2XForAnyWithKeys[102X 9.2-50 
  [2XFunctionCalledBeforeInstallation[102X, for IsDerivedMethod 8.2-11 
  [2XFunctionWithNamedArguments[102X 9.2-1 
  [2XFunctorCanonicalizeZeroMorphisms[102X, for IsCapCategory 5.4-15 
  [2XFunctorCanonicalizeZeroObjects[102X, for IsCapCategory 5.4-13 
  [2XFunctorFromTerminalCategory[102X, for IsCapCategoryObject 16.3-3 
  [2XFunctorMorphismOperation[102X, for IsCapFunctor 5.4-8 
  [2XFunctorObjectOperation[102X, for IsCapFunctor 5.4-6 
  [2XHandlePrecompiledTowers[102X 9.2-43 
  [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.3-3 
  [2XHorizontalPreCompose[102X, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-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.3-1 
  [2XImageEmbedding[102X, for IsCapCategoryMorphism 6.13-4 
  [2XImageEmbeddingWithGivenImageObject[102X, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-5 
  [2XImageObject[102X, for IsCapCategoryMorphism 6.13-3 
  [2XImageObjectFunctorial[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.13-10 
  [2XImageObjectFunctorialWithGivenImageObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.13-11 
  [2XIndecomposableInjectiveObjects[102X, for IsCapCategory 1.4-13 
  [2XIndecomposableProjectiveObjects[102X, for IsCapCategory 1.4-12 
  [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-7 
  [2XInjectionOfCofactorOfPushoutWithGivenPushout[102X, for IsList, IsInt, IsCapCategoryObject 6.12-8 
  [2XInjectiveColift[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.10-4 
  [2XInjectiveDimension[102X, for IsCapCategoryObject 2.12-2 
  [2XInjectiveEnvelopeObject[102X, for IsCapCategoryObject 6.16-4 
  [2XInputSignature[102X, for IsCapFunctor 5.4-10 
  [2XInstallDeprecatedAlias[102X 9.2-16 
  [2XInstallDerivationForCategory[102X, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10 
  [2XInstallFunctor[102X, for IsCapFunctor, IsString 5.4-11 
  [2XInstallMethodForCompilerForCAP[102X 9.2-19 
  [2XInstallNaturalTransformation[102X, for IsCapNaturalTransformation, IsString 5.5-5 
  [2XInstallOtherMethodForCompilerForCAP[102X 9.2-20 
  [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 
  [2XInverseOfMorphismFromCoimageToImage[102X, for IsCapCategoryMorphism 6.14-3 
  [2XInverseOfMorphismFromCoimageToImageWithGivenObjects[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4 
  [2XIsAbCategory[102X, for IsCapCategory 1.2-10 
  [2XIsAbelianCategory[102X, for IsCapCategory 1.2-15 
  [2XIsAbelianCategoryWithEnoughInjectives[102X, for IsCapCategory 1.2-17 
  [2XIsAbelianCategoryWithEnoughProjectives[102X, for IsCapCategory 1.2-16 
  [2XIsAdditiveCategory[102X, for IsCapCategory 1.2-13 
  [2XIsApplicableToCategory[102X, for IsDerivedMethod, IsCapCategory 8.2-7 
  [2XIsAutomorphism[102X, for IsCapCategoryMorphism 3.6-4 
  [2XIsBijectiveObject[102X, for IsCapCategoryObject 2.4-1 
  [2XIsCapCategory[102X, for IsAttributeStoringRep 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 
  [2XIsCapTerminalCategoryWithMultipleObjects[102X, for IsCapCategory 16.1-4 
  [2XIsCapTerminalCategoryWithSingleObject[102X, for IsCapCategory 16.1-1 
  [2XIsCategoryWithDecidableColifts[102X, for IsCapCategory 1.2-4 
  [2XIsCategoryWithDecidableLifts[102X, for IsCapCategory 1.2-3 
  [2XIsCategoryWithInitialObject[102X, for IsCapCategory 1.2-5 
  [2XIsCategoryWithTerminalObject[102X, for IsCapCategory 1.2-6 
  [2XIsCategoryWithZeroObject[102X, for IsCapCategory 1.2-7 
  [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 IsAttributeStoringRep 8.2-1 
  [2XIsDerivedMethodGraph[102X, for IsAttributeStoringRep 8.3-1 
  [2XIsDominating[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 
  [2XIsDummyCategory[102X, for IsCapCategory 14.2-1 
  [2XIsDummyCategoryMorphism[102X, for IsCapCategoryMorphism 14.2-3 
  [2XIsDummyCategoryObject[102X, for IsCapCategoryObject 14.2-2 
  [2XIsDummyCommutativeHomalgRing[102X 14.3-3 
  [2XIsDummyCommutativeHomalgRingElement[102X 14.3-4 
  [2XIsDummyCommutativeRing[102X 14.1-3 
  [2XIsDummyCommutativeRingElement[102X 14.1-4 
  [2XIsDummyField[102X 14.1-5 
  [2XIsDummyFieldElement[102X 14.1-6 
  [2XIsDummyHomalgField[102X 14.3-5 
  [2XIsDummyHomalgFieldElement[102X 14.3-6 
  [2XIsDummyHomalgRing[102X 14.3-1 
  [2XIsDummyHomalgRingElement[102X 14.3-2 
  [2XIsDummyRing[102X 14.1-1 
  [2XIsDummyRingElement[102X 14.1-2 
  [2XIsEndomorphism[102X, for IsCapCategoryMorphism 3.6-3 
  [2XIsEnrichedOverCommutativeRegularSemigroup[102X, for IsCapCategory 1.2-8 
  [2XIsEpimorphism[102X, for IsCapCategoryMorphism 3.4-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.6-1 
  [2XIsEqualForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2 
  [2XIsEqualForMorphismsOnMor[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 
  [2XIsEqualForObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 2.3-1 
  [2XIsEqualToIdentityMorphism[102X, for IsCapCategoryMorphism 3.6-1 
  [2XIsEqualToZeroMorphism[102X, for IsCapCategoryMorphism 3.6-2 
  [2XIsEquippedWithHomomorphismStructure[102X, for IsCapCategory 1.2-2 
  [2XIsHomSetInhabited[102X, for IsCapCategoryObject, IsCapCategoryObject 3.15-1 
  [2XIsIdempotent[102X, for IsCapCategoryMorphism 3.4-7 
  [2XIsInitial[102X, for IsCapCategoryObject 2.4-5 
  [2XIsInjective[102X, for IsCapCategoryObject 2.4-3 
  [2XIsIsomorphicForObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 2.3-2 
  [2XIsIsomorphism[102X, for IsCapCategoryMorphism 3.4-3 
  [2XIsLiftable[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7 
  [2XIsLiftableAlongMonomorphism[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3 
  [2XIsLinearCategoryOverCommutativeRing[102X, for IsCapCategory 1.2-11 
  [2XIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms[102X, for IsCapCategory 1.2-12 
  [2XIsLocallyOfFiniteInjectiveDimension[102X, for IsCapCategory 1.2-19 
  [2XIsLocallyOfFiniteProjectiveDimension[102X, for IsCapCategory 1.2-18 
  [2XIsMonomorphism[102X, for IsCapCategoryMorphism 3.4-1 
  [2XIsMorphismInCapTerminalCategoryWithMultipleObjects[102X, for IsCapCategoryMorphism 16.1-6 
  [2XIsMorphismInCapTerminalCategoryWithSingleObject[102X, for IsCapCategoryMorphism 16.1-3 
  [2XIsObjectInCapTerminalCategoryWithMultipleObjects[102X, for IsCapCategoryObject 16.1-5 
  [2XIsObjectInCapTerminalCategoryWithSingleObject[102X, for IsCapCategoryObject 16.1-2 
  [2XIsomorphismFromCoequalizerOfCoproductDiagramToPushout[102X, for IsList 6.12-2 
  [2XIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct[102X, for IsCapCategoryObject, IsList 6.10-12 
  [2XIsomorphismFromCoimageToCokernelOfKernel[102X, for IsCapCategoryMorphism 6.14-5 
  [2XIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer[102X, for IsCapCategoryObject, IsList 6.10-13 
  [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-2 
  [2XIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct[102X, for IsCapCategoryObject, IsList 6.9-12 
  [2XIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram[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 
  [2XIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer[102X, for IsCapCategoryObject, IsList 6.9-13 
  [2XIsomorphismFromPushoutToCoequalizerOfCoproductDiagram[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.4-6 
  [2XIsOperationWeightList[102X, for IsAttributeStoringRep 8.4-1 
  [2XIsPreAbelianCategory[102X, for IsCapCategory 1.2-14 
  [2XIsProjective[102X, for IsCapCategoryObject 2.4-2 
  [2XIsSkeletalCategory[102X, for IsCapCategory 1.2-9 
  [2XIsSpecializationOfFilter[102X 9.2-17 
  [2XIsSpecializationOfFilterList[102X 9.2-18 
  [2XIsSplitEpimorphism[102X, for IsCapCategoryMorphism 3.4-5 
  [2XIsSplitMonomorphism[102X, for IsCapCategoryMorphism 3.4-4 
  [2XIsTerminal[102X, for IsCapCategoryObject 2.4-4 
  [2XIsTerminalCategory[102X, for IsCapCategory 16.1-7 
  [2XIsWellDefined[102X, for IsCapCategoryCell 1.7-1 
  [2XIsWellDefinedForMorphisms[102X, for IsCapCategoryMorphism 3.11-1 
  [2XIsWellDefinedForMorphismsWithGivenSourceAndRange[102X, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.11-2 
  [2XIsWellDefinedForObjects[102X, for IsCapCategoryObject 2.8-1 
  [2XIsWellDefinedForTwoCells[102X, for IsCapCategoryTwoCell 4.4-1 
  [2XIsWrapperCapCategory[102X, for IsCapCategory 13.1-1 
  [2XIsWrapperCapCategoryMorphism[102X, for IsCapCategoryMorphism 13.1-3 
  [2XIsWrapperCapCategoryObject[102X, for IsCapCategoryObject 13.1-2 
  [2XIsZero[102X, for IsCapCategoryObject 2.4-7 
  [2XIsZeroForMorphisms[102X, for IsCapCategoryMorphism 3.8-1 
  [2XIsZeroForObjects[102X, for IsCapCategoryObject 2.4-6 
  [2XIterated[102X, for IsList, IsFunction, IsObject 9.2-29 
      for IsList, IsFunction, IsObject, IsObject 9.2-30 
  [2XJointPairwiseDifferencesOfMorphismsFromCoproduct[102X, for IsCapCategoryObject, IsList 6.10-11 
  [2XJointPairwiseDifferencesOfMorphismsIntoDirectProduct[102X, for IsCapCategoryObject, IsList 6.9-11 
  [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-54 
  [2XLaTeXOutput[102X, for IsCapCategory 1.14-2 
      for IsCapCategoryCell 1.14-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 
  [2XLinearCombinationOfMorphisms[102X, for IsCapCategoryObject, IsList, IsList, IsCapCategoryObject 3.10-9 
  [2XListCAPPrepareFunctions[102X 7.5-3 
  [2XListWithKeys[102X 9.2-46 
  [2XMakeDerivationGraph[102X, for IsDenseList 8.3-2 
  [2XMakeOperationWeightList[102X, for IsCapCategory, IsDerivedMethodGraph 8.4-2 
  [2XMereExistenceOfSolutionOfLinearSystemInAbCategory[102X, for IsList, IsList, IsList 3.16-10 
  [2XMissingOperationsForConstructivenessOfCategory[102X, for IsCapCategory, IsString 1.6-3 
  [2XModelingCategory[102X, for IsCapCategory 12.5-1 
  [2XModelingMorphism[102X, for IsCapCategory, IsCapCategoryMorphism 12.6-5 
  [2XModelingObject[102X, for IsCapCategory, IsCapCategoryObject 12.6-3 
  [2XMonomorphismIntoInjectiveEnvelopeObject[102X, for IsCapCategoryObject 6.16-5 
  [2XMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject[102X, for IsCapCategoryObject, IsCapCategoryObject 6.16-6 
  [2XMonomorphismIntoSomeInjectiveObject[102X, for IsCapCategoryObject 2.10-2 
  [2XMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject[102X, for IsCapCategoryObject, IsCapCategoryObject 2.10-3 
  [2XMorphismBetweenDirectSums[102X, for IsList 6.6-16 
      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.3-1 
  [2XMorphismDatum[102X, for IsCapCategoryMorphism 3.3-2 
  [2XMorphismDatumType[102X, for IsCapCategory 1.4-7 
  [2XMorphismFilter[102X, for IsCapCategory 1.4-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-9 
  [2XMorphismFromFiberProductToSinkWithGivenFiberProduct[102X, for IsList, IsCapCategoryObject 6.11-10 
  [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-9 
  [2XMorphismFromSourceToPushoutWithGivenPushout[102X, for IsList, IsCapCategoryObject 6.12-10 
  [2XMorphismFromZeroObject[102X, for IsCapCategoryObject 6.3-7 
  [2XMorphismIntoZeroObject[102X, for IsCapCategoryObject 6.3-8 
  [2XMorphismsOfExternalHom[102X, for IsCapCategoryObject, IsCapCategoryObject 3.16-20 
  [2XMultiplyWithElementOfCommutativeRingForMorphisms[102X, for IsRingElement, IsCapCategoryMorphism 3.8-5 
  [2XName[102X, for IsCapCategory 1.4-1 
      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-39 
  [2XNumberWithKeys[102X 9.2-51 
  [2XObjectCache[102X, for IsCapFunctor 9.1-1 
  [2XObjectConstructor[102X, for IsCapCategory, IsObject 2.7-1 
  [2XObjectDatum[102X, for IsCapCategoryObject 2.7-3 
  [2XObjectDatumType[102X, for IsCapCategory 1.4-6 
  [2XObjectFilter[102X, for IsCapCategory 1.4-3 
  [2XOperations[102X, for IsDerivedMethodGraph 8.3-6 
  [2XOperationWeight[102X, for IsCapCategory, IsString 1.6-2 
  [2XOperationWeightUsingDerivation[102X, for IsOperationWeightList, IsDerivedMethod 8.4-6 
  [2XPackageOfCAPOperation[102X 9.2-32 
  [2XPair[102X 9.2-40 
  [2XPostCompose[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 
      for IsList 3.10-6 
  [2XPostComposeList[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-7 
  [2XPostInverseForMorphisms[102X, for IsCapCategoryMorphism 3.13-3 
  [2XPreCompose[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2 
      for IsList 3.10-3 
  [2XPreComposeList[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-4 
  [2XPreInverseForMorphisms[102X, for IsCapCategoryMorphism 3.13-2 
  [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-48 
  [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-7 
  [2XProjectionInFactorOfFiberProductWithGivenFiberProduct[102X, for IsList, IsInt, IsCapCategoryObject 6.11-8 
  [2XProjectionOntoCoequalizer[102X, for IsCapCategoryObject, IsList 6.10-3 
  [2XProjectionOntoCoequalizerWithGivenCoequalizer[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-4 
  [2XProjectiveCoverObject[102X, for IsCapCategoryObject 6.16-1 
  [2XProjectiveDimension[102X, for IsCapCategoryObject 2.12-1 
  [2XProjectiveLift[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4 
  [2XPushout[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-6 
      for IsList 6.12-5 
  [2XPushoutFunctorial[102X, for IsList, IsList, IsList 6.12-13 
  [2XPushoutFunctorialWithGivenPushouts[102X, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-14 
  [2XPushoutProjectionFromCoproduct[102X, for IsList 6.12-3 
  [2XPushoutProjectionFromDirectSum[102X, for IsList 6.12-4 
  [2XRandomMorphism[102X, for IsCapCategory, IsInt 3.5-9 
      for IsCapCategory, IsList 3.5-9 
      for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-9 
      for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-9 
  [2XRandomMorphismByInteger[102X, for IsCapCategory, IsInt 3.5-7 
  [2XRandomMorphismByList[102X, for IsCapCategory, IsList 3.5-8 
  [2XRandomMorphismWithFixedRange[102X, for IsCapCategoryObject, IsInt 3.5-9 
      for IsCapCategoryObject, IsList 3.5-9 
  [2XRandomMorphismWithFixedRangeByInteger[102X, for IsCapCategoryObject, IsInt 3.5-3 
  [2XRandomMorphismWithFixedRangeByList[102X, for IsCapCategoryObject, IsList 3.5-4 
  [2XRandomMorphismWithFixedSource[102X, for IsCapCategoryObject, IsInt 3.5-9 
      for IsCapCategoryObject, IsList 3.5-9 
  [2XRandomMorphismWithFixedSourceAndRange[102X, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-9 
      for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-9 
  [2XRandomMorphismWithFixedSourceAndRangeByInteger[102X, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-5 
  [2XRandomMorphismWithFixedSourceAndRangeByList[102X, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-6 
  [2XRandomMorphismWithFixedSourceByInteger[102X, for IsCapCategoryObject, IsInt 3.5-1 
  [2XRandomMorphismWithFixedSourceByList[102X, for IsCapCategoryObject, IsList 3.5-2 
  [2XRandomObject[102X, for IsCapCategory, IsInt 2.5-3 
      for IsCapCategory, IsList 2.5-4 
  [2XRandomObjectByInteger[102X, for IsCapCategory, IsInt 2.5-1 
  [2XRandomObjectByList[102X, for IsCapCategory, IsList 2.5-2 
  [2XRange[102X, for IsCapCategoryMorphism 3.1-3 
      for IsCapCategoryTwoCell 4.1-2 
  [2XRangeCategoryOfHomomorphismStructure[102X, for IsCapCategory 1.4-10 
  [2XRangeOfFunctor[102X, for IsCapFunctor 5.4-4 
  [2XReevaluate[102X, for IsOperationWeightList 8.4-9 
  [2XReinterpretationFunctor[102X, for IsCapCategory 12.6-2 
  [2XReinterpretationOfCategory[102X, for IsCapCategory, IsRecord 12.6-1 
  [2XReinterpretationOfMorphism[102X, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6 
  [2XReinterpretationOfObject[102X, for IsCapCategory, IsCapCategoryObject 12.6-4 
  [2XResetTimingStatistics[102X 1.11-1 
  [2XSafeFirst[102X, for IsList, IsFunction 9.2-37 
  [2XSafePosition[102X, for IsList, IsObject 9.2-33 
  [2XSafePositionProperty[102X, for IsList, IsFunction 9.2-35 
  [2XSafeUniqueEntry[102X, for IsList, IsFunction 9.2-38 
  [2XSafeUniquePosition[102X, for IsList, IsObject 9.2-34 
  [2XSafeUniquePositionProperty[102X, for IsList, IsFunction 9.2-36 
  [2XSaturate[102X, for IsOperationWeightList 8.4-10 
  [2XSetCachingOfCategory[102X 1.9-1 
  [2XSetCachingOfCategoryCrisp[102X 1.9-2 
  [2XSetCachingOfCategoryWeak[102X 1.9-2 
  [2XSetDefaultCaching[102X 1.9-3 
  [2XSetDefaultCachingCrisp[102X 1.9-3 
  [2XSetDefaultCachingWeak[102X 1.9-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 
  [2XSomeIsomorphismBetweenObjects[102X, for IsCapCategoryObject, IsCapCategoryObject 2.3-3 
  [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 
  [2XSubtractionForMorphisms[102X, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 
  [2XSumOfMorphisms[102X, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8 
  [2XSumWithKeys[102X 9.2-47 
  [2XTarget[102X, for IsCapCategoryMorphism 3.1-4 
      for IsCapCategoryTwoCell 4.1-3 
  [2XTargetOperation[102X, for IsDerivedMethod 8.2-8 
  [2XTerminalCategoryWithMultipleObjects[102X 16.2-2 
  [2XTerminalCategoryWithSingleObject[102X 16.2-1 
  [2XTerminalCategoryWithSingleObjectUniqueMorphism[102X, for IsCapTerminalCategoryWithSingleObject 16.3-2 
  [2XTerminalCategoryWithSingleObjectUniqueObject[102X, for IsCapTerminalCategoryWithSingleObject 16.3-1 
  [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-31 
  [2XTransposedMatWithGivenDimensions[102X 9.2-42 
  [2XTriggerDerivationsUsingOperation[102X, for IsOperationWeightList, IsString 8.4-8 
  [2XTriple[102X 9.2-41 
  [2XTwoCellDatumType[102X, for IsCapCategory 1.4-8 
  [2XTwoCellFilter[102X, for IsCapCategory 1.4-5 
  [2XUnderlyingCell[102X, for IsWrapperCapCategoryMorphism 13.2-2 
      for IsWrapperCapCategoryObject 13.2-1 
  [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-11 
  [2XUniversalMorphismFromPushoutWithGivenPushout[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-12 
  [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-11 
  [2XUniversalMorphismIntoFiberProductWithGivenFiberProduct[102X, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-12 
  [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.3-5 
  [2XVerticalPreCompose[102X, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-4 
  [2XWrapperCategory[102X, for IsCapCategory, IsRecord 13.3-5 
  [2XWrappingFunctor[102X, for IsWrapperCapCategory 13.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 
  
  
  -------------------------------------------------------
