*, for IsRingElement, IsCapCategoryMorphism 3.8-6 /, for IsCapCategoryCell, IsWrapperCapCategory 13.3-4 ActivateDerivationInfo 8.1-2 Add, for IsCapCategory, IsCapCategoryMorphism 3.2-1 AddAdditionForMorphisms, for IsCapCategory, IsFunction 7.6-1 AddAdditiveGenerators, for IsCapCategory, IsFunction 7.6-2 AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 7.6-3 AddAstrictionToCoimage, for IsCapCategory, IsFunction 7.6-4 AddAstrictionToCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-5 AddBasisOfExternalHom, for IsCapCategory, IsFunction 7.6-6 AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory, for IsCapCategory, IsFunction 7.6-7 AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory, for IsCapCategory, IsFunction 7.6-8 AddCategoricalProperty 1.2-1 AddCoastrictionToImage, for IsCapCategory, IsFunction 7.6-9 AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-10 AddCoefficientsOfMorphism, for IsCapCategory, IsFunction 7.6-11 AddCoequalizer, for IsCapCategory, IsFunction 7.6-12 AddCoequalizerFunctorial, for IsCapCategory, IsFunction 7.6-13 AddCoequalizerFunctorialWithGivenCoequalizers, for IsCapCategory, IsFunction 7.6-14 AddCoimageObject, for IsCapCategory, IsFunction 7.6-15 AddCoimageObjectFunctorial, for IsCapCategory, IsFunction 7.6-16 AddCoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategory, IsFunction 7.6-17 AddCoimageProjection, for IsCapCategory, IsFunction 7.6-18 AddCoimageProjectionWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-19 AddCokernelColift, for IsCapCategory, IsFunction 7.6-20 AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-21 AddCokernelObject, for IsCapCategory, IsFunction 7.6-22 AddCokernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-23 AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 7.6-24 AddCokernelProjection, for IsCapCategory, IsFunction 7.6-25 AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-26 AddColift, for IsCapCategory, IsFunction 7.6-27 AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 7.6-28 AddComponentOfMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-29 AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-30 AddComponentOfMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-31 AddComponentOfMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-32 AddCoproduct, for IsCapCategory, IsFunction 7.6-33 AddCoproductFunctorial, for IsCapCategory, IsFunction 7.6-34 AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 7.6-35 AddDerivation 8.3-4 AddDerivationToCAP 8.3-5 AddDirectProduct, for IsCapCategory, IsFunction 7.6-36 AddDirectProductFunctorial, for IsCapCategory, IsFunction 7.6-37 AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction 7.6-38 AddDirectSum, for IsCapCategory, IsFunction 7.6-39 AddDirectSumFunctorial, for IsCapCategory, IsFunction 7.6-40 AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-41 AddDistinguishedObjectOfHomomorphismStructure, for IsCapCategory, IsFunction 7.6-42 AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 7.6-43 AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-44 AddEpimorphismFromProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-45 AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-46 AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-47 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-48 AddEqualizer, for IsCapCategory, IsFunction 7.6-49 AddEqualizerFunctorial, for IsCapCategory, IsFunction 7.6-50 AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 7.6-51 AddFiberProduct, for IsCapCategory, IsFunction 7.6-52 AddFiberProductFunctorial, for IsCapCategory, IsFunction 7.6-53 AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 7.6-54 AddHomologyObject, for IsCapCategory, IsFunction 7.6-55 AddHomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategory, IsFunction 7.6-56 AddHomomorphismStructureOnMorphisms, for IsCapCategory, IsFunction 7.6-57 AddHomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategory, IsFunction 7.6-58 AddHomomorphismStructureOnObjects, for IsCapCategory, IsFunction 7.6-59 AddHorizontalPostCompose, for IsCapCategory, IsFunction 7.6-60 AddHorizontalPreCompose, for IsCapCategory, IsFunction 7.6-61 AddIdentityMorphism, for IsCapCategory, IsFunction 7.6-62 AddIdentityTwoCell, for IsCapCategory, IsFunction 7.6-63 AddImageEmbedding, for IsCapCategory, IsFunction 7.6-64 AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 7.6-65 AddImageObject, for IsCapCategory, IsFunction 7.6-66 AddImageObjectFunctorial, for IsCapCategory, IsFunction 7.6-67 AddImageObjectFunctorialWithGivenImageObjects, for IsCapCategory, IsFunction 7.6-68 AddIndecomposableInjectiveObjects, for IsCapCategory, IsFunction 7.6-69 AddIndecomposableProjectiveObjects, for IsCapCategory, IsFunction 7.6-70 AddInitialObject, for IsCapCategory, IsFunction 7.6-71 AddInitialObjectFunctorial, for IsCapCategory, IsFunction 7.6-72 AddInitialObjectFunctorialWithGivenInitialObjects, for IsCapCategory, IsFunction 7.6-73 AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 7.6-74 AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-75 AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 7.6-76 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-77 AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 7.6-78 AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-79 AddInjectiveColift, for IsCapCategory, IsFunction 7.6-80 AddInjectiveDimension, for IsCapCategory, IsFunction 7.6-81 AddInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-82 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategory, IsFunction 7.6-83 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategory, IsFunction 7.6-84 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategory, IsFunction 7.6-85 AddInverseForMorphisms, for IsCapCategory, IsFunction 7.6-86 AddInverseOfMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-87 AddInverseOfMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-88 AddIsAutomorphism, for IsCapCategory, IsFunction 7.6-89 AddIsBijectiveObject, for IsCapCategory, IsFunction 7.6-90 AddIsCodominating, for IsCapCategory, IsFunction 7.6-91 AddIsColiftable, for IsCapCategory, IsFunction 7.6-92 AddIsColiftableAlongEpimorphism, for IsCapCategory, IsFunction 7.6-93 AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 7.6-94 AddIsDominating, for IsCapCategory, IsFunction 7.6-95 AddIsEndomorphism, for IsCapCategory, IsFunction 7.6-96 AddIsEpimorphism, for IsCapCategory, IsFunction 7.6-97 AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 7.6-98 AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 7.6-99 AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 7.6-100 AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 7.6-101 AddIsEqualForMorphisms, for IsCapCategory, IsFunction 7.6-102 AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 7.6-103 AddIsEqualForObjects, for IsCapCategory, IsFunction 7.6-104 AddIsEqualToIdentityMorphism, for IsCapCategory, IsFunction 7.6-105 AddIsEqualToZeroMorphism, for IsCapCategory, IsFunction 7.6-106 AddIsHomSetInhabited, for IsCapCategory, IsFunction 7.6-107 AddIsIdempotent, for IsCapCategory, IsFunction 7.6-108 AddIsInitial, for IsCapCategory, IsFunction 7.6-109 AddIsInjective, for IsCapCategory, IsFunction 7.6-110 AddIsIsomorphicForObjects, for IsCapCategory, IsFunction 7.6-111 AddIsIsomorphism, for IsCapCategory, IsFunction 7.6-112 AddIsLiftable, for IsCapCategory, IsFunction 7.6-113 AddIsLiftableAlongMonomorphism, for IsCapCategory, IsFunction 7.6-114 AddIsMonomorphism, for IsCapCategory, IsFunction 7.6-115 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 7.6-127 AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategory, IsFunction 7.6-128 AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 7.6-129 AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer, for IsCapCategory, IsFunction 7.6-130 AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction 7.6-131 AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction 7.6-132 AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction 7.6-133 AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction 7.6-134 AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction 7.6-135 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsCapCategory, IsFunction 7.6-136 AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-137 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsCapCategory, IsFunction 7.6-138 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategory, IsFunction 7.6-139 AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction 7.6-140 AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction 7.6-141 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategory, IsFunction 7.6-142 AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 7.6-143 AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer, for IsCapCategory, IsFunction 7.6-144 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 7.6-145 AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction 7.6-146 AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction 7.6-147 AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction 7.6-148 AddIsOne, for IsCapCategory, IsFunction 7.6-116 AddIsProjective, for IsCapCategory, IsFunction 7.6-117 AddIsSplitEpimorphism, for IsCapCategory, IsFunction 7.6-118 AddIsSplitMonomorphism, for IsCapCategory, IsFunction 7.6-119 AddIsTerminal, for IsCapCategory, IsFunction 7.6-120 AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 7.6-121 AddIsWellDefinedForMorphismsWithGivenSourceAndRange, for IsCapCategory, IsFunction 7.6-122 AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 7.6-123 AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 7.6-124 AddIsZeroForMorphisms, for IsCapCategory, IsFunction 7.6-125 AddIsZeroForObjects, for IsCapCategory, IsFunction 7.6-126 AdditionalWeight, for IsDerivedMethod 8.2-4 AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2 AdditiveGenerators, for IsCapCategory 1.4-11 AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.8-4 AddJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategory, IsFunction 7.6-149 AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-150 AddKernelEmbedding, for IsCapCategory, IsFunction 7.6-151 AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-152 AddKernelLift, for IsCapCategory, IsFunction 7.6-153 AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-154 AddKernelObject, for IsCapCategory, IsFunction 7.6-155 AddKernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-156 AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 7.6-157 AddLift, for IsCapCategory, IsFunction 7.6-158 AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 7.6-159 AddLinearCombinationOfMorphisms, for IsCapCategory, IsFunction 7.6-160 AddMereExistenceOfSolutionOfLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-161 AddMereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-162 AddMereExistenceOfUniqueSolutionOfLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-163 AddMonomorphismIntoInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-164 AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-165 AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-166 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-167 AddMorphism, for IsCapCategory, IsAttributeStoringRep 3.2-2 AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 7.6-168 AddMorphismBetweenDirectSumsWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-169 AddMorphismConstructor, for IsCapCategory, IsFunction 7.6-170 AddMorphismDatum, for IsCapCategory, IsFunction 7.6-171 AddMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-172 AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-173 AddMorphismFromEqualizerToSink, for IsCapCategory, IsFunction 7.6-174 AddMorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-175 AddMorphismFromFiberProductToSink, for IsCapCategory, IsFunction 7.6-176 AddMorphismFromFiberProductToSinkWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-177 AddMorphismFromKernelObjectToSink, for IsCapCategory, IsFunction 7.6-178 AddMorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-179 AddMorphismFromSourceToCoequalizer, for IsCapCategory, IsFunction 7.6-180 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-181 AddMorphismFromSourceToCokernelObject, for IsCapCategory, IsFunction 7.6-182 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-183 AddMorphismFromSourceToPushout, for IsCapCategory, IsFunction 7.6-184 AddMorphismFromSourceToPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-185 AddMorphismFunction, for IsCapFunctor, IsFunction 5.4-7 AddMorphismsOfExternalHom, for IsCapCategory, IsFunction 7.6-186 AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 7.6-187 AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject, for IsCapCategory, IsAttributeStoringRep 2.2-2 AddObjectConstructor, for IsCapCategory, IsFunction 7.6-188 AddObjectDatum, for IsCapCategory, IsFunction 7.6-189 AddObjectFunction, for IsCapFunctor, IsFunction 5.4-5 AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose, for IsCapCategory, IsFunction 7.6-190 AddPostComposeList, for IsCapCategory, IsFunction 7.6-191 AddPostInverseForMorphisms, for IsCapCategory, IsFunction 7.6-192 AddPreCompose, for IsCapCategory, IsFunction 7.6-193 AddPreComposeList, for IsCapCategory, IsFunction 7.6-194 AddPreInverseForMorphisms, for IsCapCategory, IsFunction 7.6-195 AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 7.6-196 AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-197 AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 7.6-198 AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-199 AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 7.6-200 AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-201 AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 7.6-202 AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-203 AddProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-204 AddProjectiveDimension, for IsCapCategory, IsFunction 7.6-205 AddProjectiveLift, for IsCapCategory, IsFunction 7.6-206 AddPushout, for IsCapCategory, IsFunction 7.6-207 AddPushoutFunctorial, for IsCapCategory, IsFunction 7.6-208 AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 7.6-209 AddRandomMorphismByInteger, for IsCapCategory, IsFunction 7.6-210 AddRandomMorphismByList, for IsCapCategory, IsFunction 7.6-211 AddRandomMorphismWithFixedRangeByInteger, for IsCapCategory, IsFunction 7.6-212 AddRandomMorphismWithFixedRangeByList, for IsCapCategory, IsFunction 7.6-213 AddRandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategory, IsFunction 7.6-214 AddRandomMorphismWithFixedSourceAndRangeByList, for IsCapCategory, IsFunction 7.6-215 AddRandomMorphismWithFixedSourceByInteger, for IsCapCategory, IsFunction 7.6-216 AddRandomMorphismWithFixedSourceByList, for IsCapCategory, IsFunction 7.6-217 AddRandomObjectByInteger, for IsCapCategory, IsFunction 7.6-218 AddRandomObjectByList, for IsCapCategory, IsFunction 7.6-219 AddSetOfMorphismsOfFiniteCategory, for IsCapCategory, IsFunction 7.6-220 AddSetOfObjectsOfCategory, for IsCapCategory, IsFunction 7.6-221 AddSimplifyEndo, for IsCapCategory, IsFunction 7.6-222 AddSimplifyEndo_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-223 AddSimplifyEndo_IsoToInputObject, for IsCapCategory, IsFunction 7.6-224 AddSimplifyMorphism, for IsCapCategory, IsFunction 7.6-225 AddSimplifyObject, for IsCapCategory, IsFunction 7.6-226 AddSimplifyObject_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-227 AddSimplifyObject_IsoToInputObject, for IsCapCategory, IsFunction 7.6-228 AddSimplifyRange, for IsCapCategory, IsFunction 7.6-229 AddSimplifyRange_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-230 AddSimplifyRange_IsoToInputObject, for IsCapCategory, IsFunction 7.6-231 AddSimplifySource, for IsCapCategory, IsFunction 7.6-232 AddSimplifySource_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-238 AddSimplifySource_IsoToInputObject, for IsCapCategory, IsFunction 7.6-239 AddSimplifySourceAndRange, for IsCapCategory, IsFunction 7.6-233 AddSimplifySourceAndRange_IsoFromInputRange, for IsCapCategory, IsFunction 7.6-234 AddSimplifySourceAndRange_IsoFromInputSource, for IsCapCategory, IsFunction 7.6-235 AddSimplifySourceAndRange_IsoToInputRange, for IsCapCategory, IsFunction 7.6-236 AddSimplifySourceAndRange_IsoToInputSource, for IsCapCategory, IsFunction 7.6-237 AddSolveLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-240 AddSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-241 AddSomeIsomorphismBetweenObjects, for IsCapCategory, IsFunction 7.6-242 AddSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-243 AddSomeReductionBySplitEpiSummand, for IsCapCategory, IsFunction 7.6-244 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategory, IsFunction 7.6-245 AddSomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategory, IsFunction 7.6-246 AddSubtractionForMorphisms, for IsCapCategory, IsFunction 7.6-247 AddSumOfMorphisms, for IsCapCategory, IsFunction 7.6-248 AddTerminalObject, for IsCapCategory, IsFunction 7.6-249 AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 7.6-250 AddTerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategory, IsFunction 7.6-251 AddTwoCell, for IsCapCategory, IsAttributeStoringRep 4.2-2 AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 7.6-252 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-253 AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-254 AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-255 AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-256 AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-257 AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 7.6-258 AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-259 AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 7.6-260 AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 7.6-261 AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 7.6-262 AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-263 AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 7.6-264 AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-265 AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 7.6-266 AddUniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-267 AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-268 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-269 AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-270 AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-271 AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 7.6-272 AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-273 AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 7.6-274 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-275 AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 7.6-276 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 7.6-277 AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 7.6-278 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-279 AddVerticalPostCompose, for IsCapCategory, IsFunction 7.6-280 AddVerticalPreCompose, for IsCapCategory, IsFunction 7.6-281 AddZeroMorphism, for IsCapCategory, IsFunction 7.6-282 AddZeroObject, for IsCapCategory, IsFunction 7.6-283 AddZeroObjectFunctorial, for IsCapCategory, IsFunction 7.6-284 AddZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategory, IsFunction 7.6-285 ApplyFunctor 5.4-9 ApplyNaturalTransformation 5.5-4 AsCapCategory, for IsCapCategoryAsCatObject 5.3-2 AsCapCategoryMorphism 3.2-4 AsCapCategoryObject 2.2-4 AsCatObject, for IsCapCategory 5.3-1 AsHomalgMatrix, for IsCapCategoryMorphism 3.2-5 AsInteger, for IsCapCategoryMorphism 3.2-5 AsMorphismInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryMorphism 13.3-3 AsObjectInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryObject 13.3-1 AsPrimitiveValue, for IsCapCategoryMorphism 3.2-5 AstrictionToCoimage, for IsCapCategoryMorphism 6.14-10 AstrictionToCoimageWithGivenCoimageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11 BasisOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.17-26 BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory, for IsList, IsList 3.17-15 BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory, for IsList, IsList 3.17-13 BrowseCachingStatistic 9.2-15 BrowseTimingStatistics 1.11-1 CachingStatistic 9.2-14 CanCompute, for IsCapCategory, IsFunction 1.6-1 CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY 9.2-10 CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY 9.2-12 CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY 9.2-11 CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY 9.2-13 CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER 9.2-9 CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY 17.2-3 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 9.2-7 CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS 10.3-1 CAP_INTERNAL_GET_DATA_TYPE_FROM_STRING 9.2-2 CAP_INTERNAL_GET_DATA_TYPES_FROM_STRINGS 9.2-3 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 9.2-8 CAP_INTERNAL_REPLACED_STRING_WITH_FILTER 9.2-4 CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS 9.2-5 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-6 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2 CAP_JIT_EXPR_CASE_WRAPPER 9.2-45 CAP_JIT_INCOMPLETE_LOGIC 9.2-44 CAPAddPrepareFunction 7.5-2 CapCat 5.1-1 CapCategory, for IsCapCategoryMorphism 3.1-1 CapCategorySwitchLogicOff 1.5-8 CapCategorySwitchLogicOn 1.5-7 CapCategorySwitchLogicPropagationForMorphismsOff 1.5-4 CapCategorySwitchLogicPropagationForMorphismsOn 1.5-3 CapCategorySwitchLogicPropagationForObjectsOff 1.5-2 CapCategorySwitchLogicPropagationForObjectsOn 1.5-1 CapCategorySwitchLogicPropagationOff 1.5-6 CapCategorySwitchLogicPropagationOn 1.5-5 CapFixpoint 9.2-28 CapFunctor, for IsString, IsCapCategory, IsCapCategory 5.4-1 CapJitAddKnownMethod 9.2-21 CapJitAddTypeSignature 9.2-22 CapJitDataTypeOfCategory 9.2-26 CapJitDataTypeOfElementOfRing 9.2-25 CapJitDataTypeOfListOf 9.2-23 CapJitDataTypeOfMorphismOfCategory 9.2-26 CapJitDataTypeOfNTupleOf 9.2-24 CapJitDataTypeOfObjectOfCategory 9.2-26 CapJitDataTypeOfRing 9.2-25 CapJitDataTypeOfTwoCellOfCategory 9.2-26 CapJitTypedExpression 9.2-27 CAPOperationPrepareFunction 7.5-1 CategoryConstructor, for IsRecord 11.2-1 CategoryFilter, for IsCapCategory 1.4-2 CategoryOfOperationWeightList, for IsOperationWeightList 8.4-4 CoastrictionToImage, for IsCapCategoryMorphism 6.13-6 CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7 CoefficientsOfMorphism, for IsCapCategoryMorphism 3.17-27 Coequalizer 6.10-1 CoequalizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.10-9 CoequalizerFunctorialWithGivenCoequalizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10 CoequalizerOp, for IsCapCategoryObject, IsList 6.10-2 CoimageObject, for IsCapCategoryMorphism 6.14-7 CoimageObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.14-14 CoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.14-15 CoimageProjection, for IsCapCategoryMorphism 6.14-8 CoimageProjectionWithGivenCoimageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-9 CokernelColift, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.2-6 CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.2-7 CokernelObject, for IsCapCategoryMorphism 6.2-1 CokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-9 CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-11 CokernelProjection, for IsCapCategoryMorphism 6.2-2 CokernelProjectionWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3 Colift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-8 ColiftAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-2 ColiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-9 CommutativeRingOfLinearCategory, for IsCapCategory 1.4-9 ComponentOfMorphismFromCoproduct, for IsCapCategoryMorphism, IsList, IsInt 6.7-10 ComponentOfMorphismFromDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-19 ComponentOfMorphismIntoDirectProduct, for IsCapCategoryMorphism, IsList, IsInt 6.8-9 ComponentOfMorphismIntoDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-18 Coproduct, for IsCapCategoryObject, IsCapCategoryObject 6.7-2 CoproductFunctorial, for IsList, IsList, IsList 6.7-8 CoproductFunctorialWithGivenCoproducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.7-9 CreateCapCategory 1.3-1 CreateCapCategoryMorphismWithAttributes 3.2-3 CreateCapCategoryObjectWithAttributes 2.2-3 CreateCapCategoryTwoCellWithAttributes 4.2-3 CreateCapCategoryWithDataTypes 1.3-4 CreateDerivation 8.2-2 CreateGapObjectWithAttributes 9.2-55 CurrentOperationWeight, for IsOperationWeightList, IsString 8.4-5 DeactivateCachingOfCategory 1.9-2 DeactivateDefaultCaching 1.9-3 DeactivateDerivationInfo 8.1-3 DerivationFunction, for IsDerivedMethod 8.2-5 DerivationGraph, for IsOperationWeightList 8.4-3 DerivationInfo 8.1-1 DerivationOfOperation, for IsOperationWeightList, IsString 8.4-7 DerivationsOfOperation, for IsDerivedMethodGraph, IsString 8.3-8 DerivationsUsingOperation, for IsDerivedMethodGraph, IsString 8.3-7 Description, for IsDerivedMethod 8.2-3 DirectProduct 6.8-1 DirectProductFunctorial, for IsList, IsList, IsList 6.8-7 DirectProductFunctorialWithGivenDirectProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.8-8 DirectProductOp, for IsList 6.8-2 DirectSum 6.6-1 DirectSumFunctorial, for IsList, IsList, IsList 6.6-20 DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-21 DirectSumOp, for IsList 6.6-2 DisableAddForCategoricalOperations 1.12-1 DisableInputSanityChecks 1.10-1 DisableOutputSanityChecks 1.10-1 DisableSanityChecks 1.10-1 DisableTimingStatistics 1.11-1 DisplayTimingStatistics 1.11-1 DistinguishedObjectOfHomomorphismStructure, for IsCapCategory 3.17-4 DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory 3.17-23 Down, for IsObject 1.8-1 DownOnlyMorphismData, for IsCapCategoryMorphism 1.8-2 DownToBottom, for IsObject 1.8-3 DummyCategory, for IsRecord 14.2-4 DummyCommutativeHomalgRing 14.3-8 DummyCommutativeRing 14.1-8 DummyField 14.1-9 DummyHomalgField 14.3-9 DummyHomalgRing 14.3-7 DummyRing 14.1-7 EmbeddingOfEqualizer, for IsCapCategoryObject, IsList 6.9-3 EmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4 EnableAddForCategoricalOperations 1.12-1 EnableFullInputSanityChecks 1.10-1 EnableFullOutputSanityChecks 1.10-1 EnableFullSanityChecks 1.10-1 EnablePartialInputSanityChecks 1.10-1 EnablePartialOutputSanityChecks 1.10-1 EnablePartialSanityChecks 1.10-1 EnableTimingStatistics 1.11-1 EpimorphismFromProjectiveCoverObject, for IsCapCategoryObject 6.16-2 EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategoryObject, IsCapCategoryObject 6.16-3 EpimorphismFromSomeProjectiveObject, for IsCapCategoryObject 2.10-2 EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.10-3 Equalizer 6.9-1 EqualizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.9-9 EqualizerFunctorialWithGivenEqualizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-10 EqualizerOp, for IsCapCategoryObject, IsList 6.9-2 ExtendRangeOfHomomorphismStructureByFullEmbedding, for IsCapCategory, IsCapCategory, IsFunction, IsFunction, IsFunction, IsFunction 3.17-23 ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding, for IsCapCategory 3.17-24 FiberProduct 6.11-5 FiberProductEmbeddingInDirectProduct, for IsList 6.11-3 FiberProductEmbeddingInDirectSum, for IsList 6.11-4 FiberProductFunctorial, for IsList, IsList, IsList 6.11-13 FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14 FiberProductOp, for IsList 6.11-6 FilteredWithKeys 9.2-52 FirstWithKeys 9.2-53 ForAllWithKeys 9.2-49 ForAnyWithKeys 9.2-50 FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11 FunctionWithNamedArguments 9.2-1 FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15 FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13 FunctorFromTerminalCategory, for IsCapCategoryObject 17.3-3 FunctorMorphismOperation, for IsCapFunctor 5.4-8 FunctorObjectOperation, for IsCapFunctor 5.4-6 HandlePrecompiledTowers 9.2-43 HomologyObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-1 HomologyObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-2 HomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.15-3 HomomorphismStructureOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.17-2 HomomorphismStructureOnMorphismsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 3.17-23 HomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.17-3 HomomorphismStructureOnMorphismsWithGivenObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.17-23 HomomorphismStructureOnObjects, for IsCapCategoryObject, IsCapCategoryObject 3.17-1 HomomorphismStructureOnObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.17-23 HomStructure, for IsCapCategory 3.17-22 HorizontalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-3 HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-2 HorizontalPreComposeFunctorWithNaturalTransformation, for IsCapFunctor, IsCapNaturalTransformation 5.5-7 HorizontalPreComposeNaturalTransformationWithFunctor, for IsCapNaturalTransformation, IsCapFunctor 5.5-6 IdentityFunctor, for IsCapCategory 5.4-12 IdentityMorphism, for IsCapCategoryObject 3.10-1 IdentityTwoCell, for IsCapCategoryMorphism 4.3-1 ImageEmbedding, for IsCapCategoryMorphism 6.13-4 ImageEmbeddingWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-5 ImageObject, for IsCapCategoryMorphism 6.13-3 ImageObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.13-10 ImageObjectFunctorialWithGivenImageObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.13-11 IndecomposableInjectiveObjects, for IsCapCategory 1.4-13 IndecomposableProjectiveObjects, for IsCapCategory 1.4-12 InfoCategoryConstructor 11.1-1 InitialObject, for IsCapCategory 6.5-1 InitialObjectFunctorial, for IsCapCategory 6.5-5 InitialObjectFunctorialWithGivenInitialObjects, for IsCapCategoryObject, IsCapCategoryObject 6.5-6 InjectionOfCofactorOfCoproduct, for IsList, IsInt 6.7-4 InjectionOfCofactorOfCoproductWithGivenCoproduct, for IsList, IsInt, IsCapCategoryObject 6.7-5 InjectionOfCofactorOfDirectSum, for IsList, IsInt 6.6-5 InjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject 6.6-6 InjectionOfCofactorOfPushout, for IsList, IsInt 6.12-7 InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject 6.12-8 InjectiveColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.11-4 InjectiveDimension, for IsCapCategoryObject 2.13-2 InjectiveEnvelopeObject, for IsCapCategoryObject 6.16-4 InputSignature, for IsCapFunctor 5.4-10 InstallDeprecatedAlias 9.2-16 InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10 InstallFunctor, for IsCapFunctor, IsString 5.4-11 InstallMethodForCompilerForCAP 9.2-19 InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 5.5-5 InstallOtherMethodForCompilerForCAP 9.2-20 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategoryMorphism 3.17-5 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism 3.17-23 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.17-6 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.17-23 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.17-7 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.17-23 InverseForMorphisms, for IsCapCategoryMorphism 3.13-1 InverseOfMorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-3 InverseOfMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4 IsAbCategory, for IsCapCategory 1.2-16 IsAbelianCategory, for IsCapCategory 1.2-23 IsAbelianCategoryWithEnoughInjectives, for IsCapCategory 1.2-25 IsAbelianCategoryWithEnoughProjectives, for IsCapCategory 1.2-24 IsAdditiveCategory, for IsCapCategory 1.2-21 IsApplicableToCategory, for IsDerivedMethod, IsCapCategory 8.2-7 IsAutomorphism, for IsCapCategoryMorphism 3.6-4 IsBijectiveObject, for IsCapCategoryObject 2.4-1 IsCapCategory, for IsAttributeStoringRep 1.1-1 IsCapCategoryAsCatObject, for IsCapCategoryObject 5.2-1 IsCapCategoryCell, for IsAttributeStoringRep 1.1-2 IsCapCategoryMorphism, for IsCapCategoryCell 1.1-4 IsCapCategoryObject, for IsCapCategoryCell 1.1-3 IsCapCategoryTwoCell, for IsCapCategoryCell 1.1-5 IsCapFunctor, for IsCapCategoryMorphism 5.2-2 IsCapNaturalTransformation, for IsCapCategoryTwoCell 5.2-3 IsCapTerminalCategoryWithMultipleObjects, for IsCapCategory 17.1-4 IsCapTerminalCategoryWithSingleObject, for IsCapCategory 17.1-1 IsCategoryWithCoequalizers, for IsCapCategory 1.2-13 IsCategoryWithCokernels, for IsCapCategory 1.2-20 IsCategoryWithDecidableColifts, for IsCapCategory 1.2-8 IsCategoryWithDecidableLifts, for IsCapCategory 1.2-7 IsCategoryWithEqualizers, for IsCapCategory 1.2-12 IsCategoryWithInitialObject, for IsCapCategory 1.2-9 IsCategoryWithKernels, for IsCapCategory 1.2-19 IsCategoryWithTerminalObject, for IsCapCategory 1.2-10 IsCategoryWithZeroObject, for IsCapCategory 1.2-11 IsCodominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-4 IsColiftable, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-10 IsColiftableAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-4 IsCongruentForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1 IsDerivedMethod, for IsAttributeStoringRep 8.2-1 IsDerivedMethodGraph, for IsAttributeStoringRep 8.3-1 IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 IsDummyCategory, for IsCapCategory 14.2-1 IsDummyCategoryMorphism, for IsCapCategoryMorphism 14.2-3 IsDummyCategoryObject, for IsCapCategoryObject 14.2-2 IsDummyCommutativeHomalgRing 14.3-3 IsDummyCommutativeHomalgRingElement 14.3-4 IsDummyCommutativeRing 14.1-3 IsDummyCommutativeRingElement 14.1-4 IsDummyField 14.1-5 IsDummyFieldElement 14.1-6 IsDummyHomalgField 14.3-5 IsDummyHomalgFieldElement 14.3-6 IsDummyHomalgRing 14.3-1 IsDummyHomalgRingElement 14.3-2 IsDummyRing 14.1-1 IsDummyRingElement 14.1-2 IsEndomorphism, for IsCapCategoryMorphism 3.6-3 IsEnrichedOverCommutativeRegularSemigroup, for IsCapCategory 1.2-14 IsEpimorphism, for IsCapCategoryMorphism 3.4-2 IsEqualAsFactorobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-2 IsEqualAsSubobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-1 IsEqualForCacheForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.14-1 IsEqualForCacheForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.6-1 IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2 IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.3-1 IsEqualToIdentityMorphism, for IsCapCategoryMorphism 3.6-1 IsEqualToZeroMorphism, for IsCapCategoryMorphism 3.6-2 IsEquippedWithHomomorphismStructure, for IsCapCategory 1.2-6 IsEquivalentToFiniteCategory, for IsCapCategory 1.2-5 16.1-1 IsFinite, for IsCapCategory 1.2-4 IsFiniteCategory, for IsCapCategory 1.2-3 IsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 3.15-1 IsIdempotent, for IsCapCategoryMorphism 3.4-7 IsInitial, for IsCapCategoryObject 2.4-5 IsInjective, for IsCapCategoryObject 2.4-3 IsIsomorphicForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.3-2 IsIsomorphism, for IsCapCategoryMorphism 3.4-3 IsLiftable, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7 IsLiftableAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3 IsLinearCategoryOverCommutativeRing, for IsCapCategory 1.2-17 IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms, for IsCapCategory 1.2-18 IsLocallyOfFiniteInjectiveDimension, for IsCapCategory 1.2-27 IsLocallyOfFiniteProjectiveDimension, for IsCapCategory 1.2-26 IsMonomorphism, for IsCapCategoryMorphism 3.4-1 IsMorphismInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryMorphism 17.1-6 IsMorphismInCapTerminalCategoryWithSingleObject, for IsCapCategoryMorphism 17.1-3 IsObjectFiniteCategory, for IsCapCategory 1.2-2 IsObjectInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryObject 17.1-5 IsObjectInCapTerminalCategoryWithSingleObject, for IsCapCategoryObject 17.1-2 IsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsList 6.12-2 IsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-12 IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism 6.14-5 IsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer, for IsCapCategoryObject, IsList 6.10-13 IsomorphismFromCokernelOfKernelToCoimage, for IsCapCategoryMorphism 6.14-6 IsomorphismFromCoproductToDirectSum, for IsList 6.6-14 IsomorphismFromDirectProductToDirectSum, for IsList 6.6-12 IsomorphismFromDirectSumToCoproduct, for IsList 6.6-13 IsomorphismFromDirectSumToDirectProduct, for IsList 6.6-11 IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsList 6.11-2 IsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-12 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsList 6.11-1 IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-4 IsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategoryMorphism 6.13-1 IsomorphismFromInitialObjectToZeroObject, for IsCapCategory 6.3-10 IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-5 IsomorphismFromKernelOfCokernelToImageObject, for IsCapCategoryMorphism 6.13-2 IsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer, for IsCapCategoryObject, IsList 6.9-13 IsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsList 6.12-1 IsomorphismFromTerminalObjectToZeroObject, for IsCapCategory 6.3-12 IsomorphismFromZeroObjectToInitialObject, for IsCapCategory 6.3-9 IsomorphismFromZeroObjectToTerminalObject, for IsCapCategory 6.3-11 IsOne, for IsCapCategoryMorphism 3.4-6 IsOperationWeightList, for IsAttributeStoringRep 8.4-1 IsPreAbelianCategory, for IsCapCategory 1.2-22 IsProjective, for IsCapCategoryObject 2.4-2 IsSkeletalCategory, for IsCapCategory 1.2-15 IsSpecializationOfFilter 9.2-17 IsSpecializationOfFilterList 9.2-18 IsSplitEpimorphism, for IsCapCategoryMorphism 3.4-5 IsSplitMonomorphism, for IsCapCategoryMorphism 3.4-4 IsTerminal, for IsCapCategoryObject 2.4-4 IsTerminalCategory, for IsCapCategory 17.1-7 IsWellDefined, for IsCapCategoryCell 1.7-1 IsWellDefinedForMorphisms, for IsCapCategoryMorphism 3.11-1 IsWellDefinedForMorphismsWithGivenSourceAndRange, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.11-2 IsWellDefinedForObjects, for IsCapCategoryObject 2.8-1 IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 4.4-1 IsWrapperCapCategory, for IsCapCategory 13.1-1 IsWrapperCapCategoryMorphism, for IsCapCategoryMorphism 13.1-3 IsWrapperCapCategoryObject, for IsCapCategoryObject 13.1-2 IsZero, for IsCapCategoryObject 2.4-7 IsZeroForMorphisms, for IsCapCategoryMorphism 3.8-1 IsZeroForObjects, for IsCapCategoryObject 2.4-6 Iterated, for IsList, IsFunction, IsObject 9.2-29 JointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-11 JointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-11 KernelEmbedding, for IsCapCategoryMorphism 6.1-2 KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3 KernelLift, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.1-6 KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.1-7 KernelObject, for IsCapCategoryMorphism 6.1-1 KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-9 KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11 LastWithKeys 9.2-54 LaTeXOutput, for IsCapCategory 1.14-2 Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5 LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1 LiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6 LinearCombinationOfMorphisms, for IsCapCategoryObject, IsList, IsList, IsCapCategoryObject 3.10-9 ListCAPPrepareFunctions 7.5-3 ListOfDefiningOperations 1.2-28 ListWithKeys 9.2-46 MakeDerivationGraph, for IsDenseList 8.3-2 MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2 MereExistenceOfSolutionOfLinearSystemInAbCategory, for IsList, IsList, IsList 3.17-10 MereExistenceOfUniqueSolutionOfHomogeneousLinearSystemInAbCategory, for IsList, IsList 3.17-12 MereExistenceOfUniqueSolutionOfLinearSystemInAbCategory, for IsList, IsList, IsList 3.17-11 MissingOperationsForConstructivenessOfCategory, for IsCapCategory, IsStringRep 1.6-3 ModelingCategory, for IsCapCategory 12.5-1 ModelingMorphism, for IsCapCategory, IsCapCategoryMorphism 12.6-5 ModelingObject, for IsCapCategory, IsCapCategoryObject 12.6-3 MonomorphismIntoInjectiveEnvelopeObject, for IsCapCategoryObject 6.16-5 MonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject, for IsCapCategoryObject, IsCapCategoryObject 6.16-6 MonomorphismIntoSomeInjectiveObject, for IsCapCategoryObject 2.11-2 MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.11-3 MorphismBetweenDirectSums, for IsList 6.6-16 MorphismBetweenDirectSumsWithGivenDirectSums, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-17 MorphismCache, for IsCapFunctor 9.1-2 MorphismConstructor, for IsCapCategoryObject, IsObject, IsCapCategoryObject 3.3-1 MorphismDatum, for IsCapCategoryMorphism 3.3-2 MorphismDatumType, for IsCapCategory 1.4-7 MorphismFilter, for IsCapCategory 1.4-4 MorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-1 MorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2 MorphismFromEqualizerToSink, for IsCapCategoryObject, IsList 6.9-5 MorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-6 MorphismFromFiberProductToSink, for IsList 6.11-9 MorphismFromFiberProductToSinkWithGivenFiberProduct, for IsList, IsCapCategoryObject 6.11-10 MorphismFromKernelObjectToSink, for IsCapCategoryMorphism 6.1-4 MorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5 MorphismFromSourceToCoequalizer, for IsCapCategoryObject, IsList 6.10-5 MorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-6 MorphismFromSourceToCokernelObject, for IsCapCategoryMorphism 6.2-4 MorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5 MorphismFromSourceToPushout, for IsList 6.12-9 MorphismFromSourceToPushoutWithGivenPushout, for IsList, IsCapCategoryObject 6.12-10 MorphismFromZeroObject, for IsCapCategoryObject 6.3-7 MorphismIntoZeroObject, for IsCapCategoryObject 6.3-8 MorphismsOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.17-25 MultiplyWithElementOfCommutativeRingForMorphisms, for IsRingElement, IsCapCategoryMorphism 3.8-5 Name, for IsCapCategory 1.4-1 NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 5.4-16 NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 5.4-14 NaturalTransformation, for IsCapFunctor, IsCapFunctor 5.5-2 NTuple 9.2-39 NumberWithKeys 9.2-51 ObjectCache, for IsCapFunctor 9.1-1 ObjectConstructor, for IsCapCategory, IsObject 2.7-1 ObjectDatum, for IsCapCategoryObject 2.7-3 ObjectDatumType, for IsCapCategory 1.4-6 ObjectFilter, for IsCapCategory 1.4-3 Operations, for IsDerivedMethodGraph 8.3-6 OperationWeight, for IsCapCategory, IsString 1.6-2 OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6 PackageOfCAPOperation 9.2-32 Pair 9.2-40 PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 PostComposeList, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-7 PostInverseForMorphisms, for IsCapCategoryMorphism 3.13-3 PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2 PreComposeList, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-4 PreInverseForMorphisms, for IsCapCategoryMorphism 3.13-2 PrintDerivationTree, for IsOperationWeightList, IsString 8.4-12 PrintTree, for IsObject, IsFunction, IsFunction 8.4-13 PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt 8.4-14 ProductWithKeys 9.2-48 ProjectionInFactorOfDirectProduct, for IsList, IsInt 6.8-3 ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject 6.8-4 ProjectionInFactorOfDirectSum, for IsList, IsInt 6.6-3 ProjectionInFactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject 6.6-4 ProjectionInFactorOfFiberProduct, for IsList, IsInt 6.11-7 ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject 6.11-8 ProjectionOntoCoequalizer, for IsCapCategoryObject, IsList 6.10-3 ProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-4 ProjectiveCoverObject, for IsCapCategoryObject 6.16-1 ProjectiveDimension, for IsCapCategoryObject 2.13-1 ProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.10-4 Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-6 PushoutFunctorial, for IsList, IsList, IsList 6.12-13 PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-14 PushoutProjectionFromCoproduct, for IsList 6.12-3 PushoutProjectionFromDirectSum, for IsList 6.12-4 RandomMorphism, for IsCapCategory, IsInt 3.5-9 RandomMorphismByInteger, for IsCapCategory, IsInt 3.5-7 RandomMorphismByList, for IsCapCategory, IsList 3.5-8 RandomMorphismWithFixedRange, for IsCapCategoryObject, IsInt 3.5-9 RandomMorphismWithFixedRangeByInteger, for IsCapCategoryObject, IsInt 3.5-3 RandomMorphismWithFixedRangeByList, for IsCapCategoryObject, IsList 3.5-4 RandomMorphismWithFixedSource, for IsCapCategoryObject, IsInt 3.5-9 RandomMorphismWithFixedSourceAndRange, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-9 RandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-5 RandomMorphismWithFixedSourceAndRangeByList, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-6 RandomMorphismWithFixedSourceByInteger, for IsCapCategoryObject, IsInt 3.5-1 RandomMorphismWithFixedSourceByList, for IsCapCategoryObject, IsList 3.5-2 RandomObject, for IsCapCategory, IsInt 2.5-3 RandomObjectByInteger, for IsCapCategory, IsInt 2.5-1 RandomObjectByList, for IsCapCategory, IsList 2.5-2 Range, for IsCapCategoryMorphism 3.1-3 RangeCategoryOfHomomorphismStructure, for IsCapCategory 1.4-10 RangeOfFunctor, for IsCapFunctor 5.4-4 Reevaluate, for IsOperationWeightList 8.4-9 ReinterpretationFunctor, for IsCapCategory 12.6-2 ReinterpretationOfCategory, for IsCapCategory, IsRecord 12.6-1 ReinterpretationOfMorphism, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6 ReinterpretationOfObject, for IsCapCategory, IsCapCategoryObject 12.6-4 ResetTimingStatistics 1.11-1 SafeFirst, for IsList, IsFunction 9.2-37 SafePosition, for IsList, IsObject 9.2-33 SafePositionProperty, for IsList, IsFunction 9.2-35 SafeUniqueEntry, for IsList, IsFunction 9.2-38 SafeUniquePosition, for IsList, IsObject 9.2-34 SafeUniquePositionProperty, for IsList, IsFunction 9.2-36 Saturate, for IsOperationWeightList 8.4-10 SetCachingOfCategory 1.9-1 SetCachingOfCategoryCrisp 1.9-2 SetCachingOfCategoryWeak 1.9-2 SetDefaultCaching 1.9-3 SetDefaultCachingCrisp 1.9-3 SetDefaultCachingWeak 1.9-3 SetOfMorphisms, for IsCapCategory 3.16-2 SetOfMorphismsOfFiniteCategory, for IsCapCategory 3.16-1 SetOfObjects, for IsCapCategory 2.9-2 SetOfObjectsOfCategory, for IsCapCategory 2.9-1 Simplify, for IsCapCategoryMorphism 3.18-16 SimplifyEndo, for IsCapCategoryMorphism, IsObject 3.18-13 SimplifyEndo_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.18-15 SimplifyEndo_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.18-14 SimplifyMorphism, for IsCapCategoryMorphism, IsObject 3.18-1 SimplifyObject, for IsCapCategoryObject, IsObject 2.12-2 SimplifyObject_IsoFromInputObject, for IsCapCategoryObject, IsObject 2.12-3 SimplifyObject_IsoToInputObject, for IsCapCategoryObject, IsObject 2.12-4 SimplifyRange, for IsCapCategoryMorphism, IsObject 3.18-5 SimplifyRange_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.18-7 SimplifyRange_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.18-6 SimplifySource, for IsCapCategoryMorphism, IsObject 3.18-2 SimplifySource_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.18-4 SimplifySource_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.18-3 SimplifySourceAndRange, for IsCapCategoryMorphism, IsObject 3.18-8 SimplifySourceAndRange_IsoFromInputRange, for IsCapCategoryMorphism, IsObject 3.18-10 SimplifySourceAndRange_IsoFromInputSource, for IsCapCategoryMorphism, IsObject 3.18-12 SimplifySourceAndRange_IsoToInputRange, for IsCapCategoryMorphism, IsObject 3.18-9 SimplifySourceAndRange_IsoToInputSource, for IsCapCategoryMorphism, IsObject 3.18-11 SolveLinearSystemInAbCategory, for IsList, IsList, IsList 3.17-8 SolveLinearSystemInAbCategoryOrFail, for IsList, IsList, IsList 3.17-9 SomeInjectiveObject, for IsCapCategoryObject 2.11-1 SomeIsomorphismBetweenObjects, for IsCapCategoryObject, IsCapCategoryObject 2.3-3 SomeProjectiveObject, for IsCapCategoryObject 2.10-1 SomeReductionBySplitEpiSummand, for IsCapCategoryMorphism 3.19-1 SomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategoryMorphism 3.19-3 SomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategoryMorphism 3.19-2 Source, for IsCapCategoryMorphism 3.1-2 SourceOfFunctor, for IsCapFunctor 5.4-3 SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 SumOfMorphisms, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8 SumWithKeys 9.2-47 Target, for IsCapCategoryMorphism 3.1-4 TargetOperation, for IsDerivedMethod 8.2-8 TerminalCategoryWithMultipleObjects 17.2-2 TerminalCategoryWithSingleObject 17.2-1 TerminalCategoryWithSingleObjectUniqueMorphism, for IsCapTerminalCategoryWithSingleObject 17.3-2 TerminalCategoryWithSingleObjectUniqueObject, for IsCapTerminalCategoryWithSingleObject 17.3-1 TerminalObject, for IsCapCategory 6.4-1 TerminalObjectFunctorial, for IsCapCategory 6.4-5 TerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 TransitivelyNeededOtherPackages 9.2-31 TransposedMatWithGivenDimensions 9.2-42 TriggerDerivationsUsingOperation, for IsOperationWeightList, IsString 8.4-8 Triple 9.2-41 TwoCellDatumType, for IsCapCategory 1.4-8 TwoCellFilter, for IsCapCategory 1.4-5 UnderlyingCell, for IsWrapperCapCategoryMorphism 13.2-2 UniversalMorphismFromCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.10-7 UniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.10-8 UniversalMorphismFromCoproduct, for IsList, IsCapCategoryObject, IsList 6.7-6 UniversalMorphismFromCoproductWithGivenCoproduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.7-7 UniversalMorphismFromDirectSum, for IsList, IsCapCategoryObject, IsList 6.6-9 UniversalMorphismFromDirectSumWithGivenDirectSum, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-10 UniversalMorphismFromImage, for IsCapCategoryMorphism, IsList 6.13-8 UniversalMorphismFromImageWithGivenImageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-9 UniversalMorphismFromInitialObject, for IsCapCategoryObject 6.5-3 UniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategoryObject, IsCapCategoryObject 6.5-4 UniversalMorphismFromPushout, for IsList, IsCapCategoryObject, IsList 6.12-11 UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-12 UniversalMorphismFromZeroObject, for IsCapCategoryObject 6.3-3 UniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-4 UniversalMorphismIntoCoimage, for IsCapCategoryMorphism, IsList 6.14-12 UniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-13 UniversalMorphismIntoDirectProduct, for IsList, IsCapCategoryObject, IsList 6.8-5 UniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-6 UniversalMorphismIntoDirectSum, for IsList, IsCapCategoryObject, IsList 6.6-7 UniversalMorphismIntoDirectSumWithGivenDirectSum, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-8 UniversalMorphismIntoEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7 UniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.9-8 UniversalMorphismIntoFiberProduct, for IsList, IsCapCategoryObject, IsList 6.11-11 UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-12 UniversalMorphismIntoTerminalObject, for IsCapCategoryObject 6.4-3 UniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategoryObject, IsCapCategoryObject 6.4-4 UniversalMorphismIntoZeroObject, for IsCapCategoryObject 6.3-5 UniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-6 UsedOperationsWithMultiplesAndCategoryGetters, for IsDerivedMethod 8.2-9 VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-5 VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-4 WrapperCategory, for IsCapCategory, IsRecord 13.3-5 WrappingFunctor, for IsWrapperCapCategory 13.3-6 ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject 3.8-7 ZeroObject, for IsCapCategory 6.3-1 ZeroObjectFunctorial, for IsCapCategory 6.3-13 ZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategoryObject, IsCapCategoryObject 6.3-14
generated by GAPDoc2HTML