*, 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 AddCategoricalProperty 1.2-1 AddCoastrictionToImage, for IsCapCategory, IsFunction 7.6-7 AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-8 AddCoefficientsOfMorphism, for IsCapCategory, IsFunction 7.6-9 AddCoequalizer, for IsCapCategory, IsFunction 7.6-10 AddCoequalizerFunctorial, for IsCapCategory, IsFunction 7.6-11 AddCoequalizerFunctorialWithGivenCoequalizers, for IsCapCategory, IsFunction 7.6-12 AddCoimageObject, for IsCapCategory, IsFunction 7.6-13 AddCoimageObjectFunctorial, for IsCapCategory, IsFunction 7.6-14 AddCoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategory, IsFunction 7.6-15 AddCoimageProjection, for IsCapCategory, IsFunction 7.6-16 AddCoimageProjectionWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-17 AddCokernelColift, for IsCapCategory, IsFunction 7.6-18 AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-19 AddCokernelObject, for IsCapCategory, IsFunction 7.6-20 AddCokernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-21 AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 7.6-22 AddCokernelProjection, for IsCapCategory, IsFunction 7.6-23 AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-24 AddColift, for IsCapCategory, IsFunction 7.6-25 AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 7.6-26 AddComponentOfMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-27 AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-28 AddComponentOfMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-29 AddComponentOfMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-30 AddCoproduct, for IsCapCategory, IsFunction 7.6-31 AddCoproductFunctorial, for IsCapCategory, IsFunction 7.6-32 AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 7.6-33 AddDerivation 8.3-4 AddDerivationToCAP 8.3-5 AddDirectProduct, for IsCapCategory, IsFunction 7.6-34 AddDirectProductFunctorial, for IsCapCategory, IsFunction 7.6-35 AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction 7.6-36 AddDirectSum, for IsCapCategory, IsFunction 7.6-37 AddDirectSumFunctorial, for IsCapCategory, IsFunction 7.6-38 AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-39 AddDistinguishedObjectOfHomomorphismStructure, for IsCapCategory, IsFunction 7.6-40 AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 7.6-41 AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-42 AddEpimorphismFromProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-43 AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-44 AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-45 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-46 AddEqualizer, for IsCapCategory, IsFunction 7.6-47 AddEqualizerFunctorial, for IsCapCategory, IsFunction 7.6-48 AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 7.6-49 AddFiberProduct, for IsCapCategory, IsFunction 7.6-50 AddFiberProductFunctorial, for IsCapCategory, IsFunction 7.6-51 AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 7.6-52 AddHomologyObject, for IsCapCategory, IsFunction 7.6-53 AddHomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategory, IsFunction 7.6-54 AddHomomorphismStructureOnMorphisms, for IsCapCategory, IsFunction 7.6-55 AddHomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategory, IsFunction 7.6-56 AddHomomorphismStructureOnObjects, for IsCapCategory, IsFunction 7.6-57 AddHorizontalPostCompose, for IsCapCategory, IsFunction 7.6-58 AddHorizontalPreCompose, for IsCapCategory, IsFunction 7.6-59 AddIdentityMorphism, for IsCapCategory, IsFunction 7.6-60 AddIdentityTwoCell, for IsCapCategory, IsFunction 7.6-61 AddImageEmbedding, for IsCapCategory, IsFunction 7.6-62 AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 7.6-63 AddImageObject, for IsCapCategory, IsFunction 7.6-64 AddImageObjectFunctorial, for IsCapCategory, IsFunction 7.6-65 AddImageObjectFunctorialWithGivenImageObjects, for IsCapCategory, IsFunction 7.6-66 AddIndecomposableInjectiveObjects, for IsCapCategory, IsFunction 7.6-67 AddIndecomposableProjectiveObjects, for IsCapCategory, IsFunction 7.6-68 AddInitialObject, for IsCapCategory, IsFunction 7.6-69 AddInitialObjectFunctorial, for IsCapCategory, IsFunction 7.6-70 AddInitialObjectFunctorialWithGivenInitialObjects, for IsCapCategory, IsFunction 7.6-71 AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 7.6-72 AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-73 AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 7.6-74 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-75 AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 7.6-76 AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-77 AddInjectiveColift, for IsCapCategory, IsFunction 7.6-78 AddInjectiveDimension, for IsCapCategory, IsFunction 7.6-79 AddInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-80 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategory, IsFunction 7.6-81 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategory, IsFunction 7.6-82 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategory, IsFunction 7.6-83 AddInverseForMorphisms, for IsCapCategory, IsFunction 7.6-84 AddInverseOfMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-85 AddInverseOfMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-86 AddIsAutomorphism, for IsCapCategory, IsFunction 7.6-87 AddIsBijectiveObject, for IsCapCategory, IsFunction 7.6-88 AddIsCodominating, for IsCapCategory, IsFunction 7.6-89 AddIsColiftable, for IsCapCategory, IsFunction 7.6-90 AddIsColiftableAlongEpimorphism, for IsCapCategory, IsFunction 7.6-91 AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 7.6-92 AddIsDominating, for IsCapCategory, IsFunction 7.6-93 AddIsEndomorphism, for IsCapCategory, IsFunction 7.6-94 AddIsEpimorphism, for IsCapCategory, IsFunction 7.6-95 AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 7.6-96 AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 7.6-97 AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 7.6-98 AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 7.6-99 AddIsEqualForMorphisms, for IsCapCategory, IsFunction 7.6-100 AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 7.6-101 AddIsEqualForObjects, for IsCapCategory, IsFunction 7.6-102 AddIsEqualToIdentityMorphism, for IsCapCategory, IsFunction 7.6-103 AddIsEqualToZeroMorphism, for IsCapCategory, IsFunction 7.6-104 AddIsHomSetInhabited, for IsCapCategory, IsFunction 7.6-105 AddIsIdempotent, for IsCapCategory, IsFunction 7.6-106 AddIsInitial, for IsCapCategory, IsFunction 7.6-107 AddIsInjective, for IsCapCategory, IsFunction 7.6-108 AddIsIsomorphicForObjects, for IsCapCategory, IsFunction 7.6-109 AddIsIsomorphism, for IsCapCategory, IsFunction 7.6-110 AddIsLiftable, for IsCapCategory, IsFunction 7.6-111 AddIsLiftableAlongMonomorphism, for IsCapCategory, IsFunction 7.6-112 AddIsMonomorphism, for IsCapCategory, IsFunction 7.6-113 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 7.6-125 AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategory, IsFunction 7.6-126 AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 7.6-127 AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer, for IsCapCategory, IsFunction 7.6-128 AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction 7.6-129 AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction 7.6-130 AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction 7.6-131 AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction 7.6-132 AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction 7.6-133 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsCapCategory, IsFunction 7.6-134 AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-135 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsCapCategory, IsFunction 7.6-136 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategory, IsFunction 7.6-137 AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction 7.6-138 AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction 7.6-139 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategory, IsFunction 7.6-140 AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 7.6-141 AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer, for IsCapCategory, IsFunction 7.6-142 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 7.6-143 AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction 7.6-144 AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction 7.6-145 AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction 7.6-146 AddIsOne, for IsCapCategory, IsFunction 7.6-114 AddIsProjective, for IsCapCategory, IsFunction 7.6-115 AddIsSplitEpimorphism, for IsCapCategory, IsFunction 7.6-116 AddIsSplitMonomorphism, for IsCapCategory, IsFunction 7.6-117 AddIsTerminal, for IsCapCategory, IsFunction 7.6-118 AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 7.6-119 AddIsWellDefinedForMorphismsWithGivenSourceAndRange, for IsCapCategory, IsFunction 7.6-120 AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 7.6-121 AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 7.6-122 AddIsZeroForMorphisms, for IsCapCategory, IsFunction 7.6-123 AddIsZeroForObjects, for IsCapCategory, IsFunction 7.6-124 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-147 AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-148 AddKernelEmbedding, for IsCapCategory, IsFunction 7.6-149 AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-150 AddKernelLift, for IsCapCategory, IsFunction 7.6-151 AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-152 AddKernelObject, for IsCapCategory, IsFunction 7.6-153 AddKernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-154 AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 7.6-155 AddLift, for IsCapCategory, IsFunction 7.6-156 AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 7.6-157 AddLinearCombinationOfMorphisms, for IsCapCategory, IsFunction 7.6-158 AddMereExistenceOfSolutionOfLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-159 AddMonomorphismIntoInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-160 AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-161 AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-162 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-163 AddMorphism, for IsCapCategory, IsAttributeStoringRep 3.2-2 AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 7.6-164 AddMorphismBetweenDirectSumsWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-165 AddMorphismConstructor, for IsCapCategory, IsFunction 7.6-166 AddMorphismDatum, for IsCapCategory, IsFunction 7.6-167 AddMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-168 AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-169 AddMorphismFromEqualizerToSink, for IsCapCategory, IsFunction 7.6-170 AddMorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-171 AddMorphismFromFiberProductToSink, for IsCapCategory, IsFunction 7.6-172 AddMorphismFromFiberProductToSinkWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-173 AddMorphismFromKernelObjectToSink, for IsCapCategory, IsFunction 7.6-174 AddMorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-175 AddMorphismFromSourceToCoequalizer, for IsCapCategory, IsFunction 7.6-176 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-177 AddMorphismFromSourceToCokernelObject, for IsCapCategory, IsFunction 7.6-178 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-179 AddMorphismFromSourceToPushout, for IsCapCategory, IsFunction 7.6-180 AddMorphismFromSourceToPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-181 AddMorphismFunction, for IsCapFunctor, IsFunction 5.4-7 AddMorphismsOfExternalHom, for IsCapCategory, IsFunction 7.6-182 AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 7.6-183 AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject, for IsCapCategory, IsAttributeStoringRep 2.2-2 AddObjectConstructor, for IsCapCategory, IsFunction 7.6-184 AddObjectDatum, for IsCapCategory, IsFunction 7.6-185 AddObjectFunction, for IsCapFunctor, IsFunction 5.4-5 AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose, for IsCapCategory, IsFunction 7.6-186 AddPostComposeList, for IsCapCategory, IsFunction 7.6-187 AddPostInverseForMorphisms, for IsCapCategory, IsFunction 7.6-188 AddPreCompose, for IsCapCategory, IsFunction 7.6-189 AddPreComposeList, for IsCapCategory, IsFunction 7.6-190 AddPreInverseForMorphisms, for IsCapCategory, IsFunction 7.6-191 AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 7.6-192 AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-193 AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 7.6-194 AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-195 AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 7.6-196 AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-197 AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 7.6-198 AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-199 AddProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-200 AddProjectiveDimension, for IsCapCategory, IsFunction 7.6-201 AddProjectiveLift, for IsCapCategory, IsFunction 7.6-202 AddPushout, for IsCapCategory, IsFunction 7.6-203 AddPushoutFunctorial, for IsCapCategory, IsFunction 7.6-204 AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 7.6-205 AddRandomMorphismByInteger, for IsCapCategory, IsFunction 7.6-206 AddRandomMorphismByList, for IsCapCategory, IsFunction 7.6-207 AddRandomMorphismWithFixedRangeByInteger, for IsCapCategory, IsFunction 7.6-208 AddRandomMorphismWithFixedRangeByList, for IsCapCategory, IsFunction 7.6-209 AddRandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategory, IsFunction 7.6-210 AddRandomMorphismWithFixedSourceAndRangeByList, for IsCapCategory, IsFunction 7.6-211 AddRandomMorphismWithFixedSourceByInteger, for IsCapCategory, IsFunction 7.6-212 AddRandomMorphismWithFixedSourceByList, for IsCapCategory, IsFunction 7.6-213 AddRandomObjectByInteger, for IsCapCategory, IsFunction 7.6-214 AddRandomObjectByList, for IsCapCategory, IsFunction 7.6-215 AddSimplifyEndo, for IsCapCategory, IsFunction 7.6-216 AddSimplifyEndo_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-217 AddSimplifyEndo_IsoToInputObject, for IsCapCategory, IsFunction 7.6-218 AddSimplifyMorphism, for IsCapCategory, IsFunction 7.6-219 AddSimplifyObject, for IsCapCategory, IsFunction 7.6-220 AddSimplifyObject_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-221 AddSimplifyObject_IsoToInputObject, for IsCapCategory, IsFunction 7.6-222 AddSimplifyRange, for IsCapCategory, IsFunction 7.6-223 AddSimplifyRange_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-224 AddSimplifyRange_IsoToInputObject, for IsCapCategory, IsFunction 7.6-225 AddSimplifySource, for IsCapCategory, IsFunction 7.6-226 AddSimplifySource_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-232 AddSimplifySource_IsoToInputObject, for IsCapCategory, IsFunction 7.6-233 AddSimplifySourceAndRange, for IsCapCategory, IsFunction 7.6-227 AddSimplifySourceAndRange_IsoFromInputRange, for IsCapCategory, IsFunction 7.6-228 AddSimplifySourceAndRange_IsoFromInputSource, for IsCapCategory, IsFunction 7.6-229 AddSimplifySourceAndRange_IsoToInputRange, for IsCapCategory, IsFunction 7.6-230 AddSimplifySourceAndRange_IsoToInputSource, for IsCapCategory, IsFunction 7.6-231 AddSolveLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-234 AddSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-235 AddSomeIsomorphismBetweenObjects, for IsCapCategory, IsFunction 7.6-236 AddSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-237 AddSomeReductionBySplitEpiSummand, for IsCapCategory, IsFunction 7.6-238 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategory, IsFunction 7.6-239 AddSomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategory, IsFunction 7.6-240 AddSubtractionForMorphisms, for IsCapCategory, IsFunction 7.6-241 AddSumOfMorphisms, for IsCapCategory, IsFunction 7.6-242 AddTerminalObject, for IsCapCategory, IsFunction 7.6-243 AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 7.6-244 AddTerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategory, IsFunction 7.6-245 AddTwoCell, for IsCapCategory, IsAttributeStoringRep 4.2-2 AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 7.6-246 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-247 AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-248 AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-249 AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-250 AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-251 AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 7.6-252 AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-253 AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 7.6-254 AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 7.6-255 AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 7.6-256 AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-257 AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 7.6-258 AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-259 AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 7.6-260 AddUniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-261 AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-262 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-263 AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-264 AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-265 AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 7.6-266 AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-267 AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 7.6-268 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-269 AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 7.6-270 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 7.6-271 AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 7.6-272 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-273 AddVerticalPostCompose, for IsCapCategory, IsFunction 7.6-274 AddVerticalPreCompose, for IsCapCategory, IsFunction 7.6-275 AddZeroMorphism, for IsCapCategory, IsFunction 7.6-276 AddZeroObject, for IsCapCategory, IsFunction 7.6-277 AddZeroObjectFunctorial, for IsCapCategory, IsFunction 7.6-278 AddZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategory, IsFunction 7.6-279 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.16-21 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 16.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.16-22 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.16-4 DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory 3.16-18 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.9-2 EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.9-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.16-18 ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding, for IsCapCategory 3.16-19 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 16.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.16-2 HomomorphismStructureOnMorphismsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-18 HomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-3 HomomorphismStructureOnMorphismsWithGivenObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18 HomomorphismStructureOnObjects, for IsCapCategoryObject, IsCapCategoryObject 3.16-1 HomomorphismStructureOnObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.16-18 HomStructure, for IsCapCategory 3.16-17 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.10-4 InjectiveDimension, for IsCapCategoryObject 2.12-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.16-5 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism 3.16-18 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6 InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7 InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-18 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-12 IsAbelianCategory, for IsCapCategory 1.2-19 IsAbelianCategoryWithEnoughInjectives, for IsCapCategory 1.2-21 IsAbelianCategoryWithEnoughProjectives, for IsCapCategory 1.2-20 IsAdditiveCategory, for IsCapCategory 1.2-17 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 16.1-4 IsCapTerminalCategoryWithSingleObject, for IsCapCategory 16.1-1 IsCategoryWithCoequalizers, for IsCapCategory 1.2-9 IsCategoryWithCokernels, for IsCapCategory 1.2-16 IsCategoryWithDecidableColifts, for IsCapCategory 1.2-4 IsCategoryWithDecidableLifts, for IsCapCategory 1.2-3 IsCategoryWithEqualizers, for IsCapCategory 1.2-8 IsCategoryWithInitialObject, for IsCapCategory 1.2-5 IsCategoryWithKernels, for IsCapCategory 1.2-15 IsCategoryWithTerminalObject, for IsCapCategory 1.2-6 IsCategoryWithZeroObject, for IsCapCategory 1.2-7 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-10 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-2 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-13 IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms, for IsCapCategory 1.2-14 IsLocallyOfFiniteInjectiveDimension, for IsCapCategory 1.2-23 IsLocallyOfFiniteProjectiveDimension, for IsCapCategory 1.2-22 IsMonomorphism, for IsCapCategoryMorphism 3.4-1 IsMorphismInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryMorphism 16.1-6 IsMorphismInCapTerminalCategoryWithSingleObject, for IsCapCategoryMorphism 16.1-3 IsObjectInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryObject 16.1-5 IsObjectInCapTerminalCategoryWithSingleObject, for IsCapCategoryObject 16.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-18 IsProjective, for IsCapCategoryObject 2.4-2 IsSkeletalCategory, for IsCapCategory 1.2-11 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 16.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-24 ListWithKeys 9.2-46 MakeDerivationGraph, for IsDenseList 8.3-2 MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2 MereExistenceOfSolutionOfLinearSystemInAbCategory, for IsList, IsList, IsList 3.16-10 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.10-2 MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.10-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.16-20 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.12-1 ProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-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 Simplify, for IsCapCategoryMorphism 3.17-16 SimplifyEndo, for IsCapCategoryMorphism, IsObject 3.17-13 SimplifyEndo_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.17-15 SimplifyEndo_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.17-14 SimplifyMorphism, for IsCapCategoryMorphism, IsObject 3.17-1 SimplifyObject, for IsCapCategoryObject, IsObject 2.11-2 SimplifyObject_IsoFromInputObject, for IsCapCategoryObject, IsObject 2.11-3 SimplifyObject_IsoToInputObject, for IsCapCategoryObject, IsObject 2.11-4 SimplifyRange, for IsCapCategoryMorphism, IsObject 3.17-5 SimplifyRange_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.17-7 SimplifyRange_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.17-6 SimplifySource, for IsCapCategoryMorphism, IsObject 3.17-2 SimplifySource_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.17-4 SimplifySource_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.17-3 SimplifySourceAndRange, for IsCapCategoryMorphism, IsObject 3.17-8 SimplifySourceAndRange_IsoFromInputRange, for IsCapCategoryMorphism, IsObject 3.17-10 SimplifySourceAndRange_IsoFromInputSource, for IsCapCategoryMorphism, IsObject 3.17-12 SimplifySourceAndRange_IsoToInputRange, for IsCapCategoryMorphism, IsObject 3.17-9 SimplifySourceAndRange_IsoToInputSource, for IsCapCategoryMorphism, IsObject 3.17-11 SolveLinearSystemInAbCategory, for IsList, IsList, IsList 3.16-8 SolveLinearSystemInAbCategoryOrFail, for IsList, IsList, IsList 3.16-9 SomeInjectiveObject, for IsCapCategoryObject 2.10-1 SomeIsomorphismBetweenObjects, for IsCapCategoryObject, IsCapCategoryObject 2.3-3 SomeProjectiveObject, for IsCapCategoryObject 2.9-1 SomeReductionBySplitEpiSummand, for IsCapCategoryMorphism 3.18-1 SomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategoryMorphism 3.18-3 SomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategoryMorphism 3.18-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 16.2-2 TerminalCategoryWithSingleObject 16.2-1 TerminalCategoryWithSingleObjectUniqueMorphism, for IsCapTerminalCategoryWithSingleObject 16.3-2 TerminalCategoryWithSingleObjectUniqueObject, for IsCapTerminalCategoryWithSingleObject 16.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