*, for IsRingElement, IsCapCategoryMorphism 3.8-6 /, for IsCapCategoryCell, IsWrapperCapCategory 12.3-4 ActivateDerivationInfo 8.1-2 Add, for IsCapCategory, IsCapCategoryMorphism 3.6-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 AddCanonicalIdentificationFromCoimageToImageObject, for IsCapCategory, IsFunction 7.6-7 AddCanonicalIdentificationFromImageObjectToCoimage, 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 AddColiftOrFail, for IsCapCategory, IsFunction 7.6-29 AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-30 AddComponentOfMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-31 AddCoproduct, for IsCapCategory, IsFunction 7.6-32 AddCoproductFunctorial, for IsCapCategory, IsFunction 7.6-33 AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 7.6-34 AddDerivation, for IsDerivedMethodGraph, IsDerivedMethod 8.3-4 AddDerivationToCAP 8.3-8 AddDirectProduct, for IsCapCategory, IsFunction 7.6-35 AddDirectProductFunctorial, for IsCapCategory, IsFunction 7.6-36 AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction 7.6-37 AddDirectSum, for IsCapCategory, IsFunction 7.6-38 AddDirectSumCodiagonalDifference, for IsCapCategory, IsFunction 7.6-39 AddDirectSumDiagonalDifference, for IsCapCategory, IsFunction 7.6-40 AddDirectSumFunctorial, for IsCapCategory, IsFunction 7.6-41 AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-42 AddDirectSumProjectionInPushout, for IsCapCategory, IsFunction 7.6-43 AddDistinguishedObjectOfHomomorphismStructure, for IsCapCategory, IsFunction 7.6-44 AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 7.6-45 AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-46 AddEpimorphismFromProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-47 AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-48 AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-49 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-50 AddEqualizer, for IsCapCategory, IsFunction 7.6-51 AddEqualizerFunctorial, for IsCapCategory, IsFunction 7.6-52 AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 7.6-53 AddFiberProduct, for IsCapCategory, IsFunction 7.6-54 AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction 7.6-55 AddFiberProductFunctorial, for IsCapCategory, IsFunction 7.6-56 AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 7.6-57 AddHomologyObject, for IsCapCategory, IsFunction 7.6-58 AddHomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategory, IsFunction 7.6-59 AddHomomorphismStructureOnMorphisms, for IsCapCategory, IsFunction 7.6-60 AddHomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategory, IsFunction 7.6-61 AddHomomorphismStructureOnObjects, for IsCapCategory, IsFunction 7.6-62 AddHorizontalPostCompose, for IsCapCategory, IsFunction 7.6-63 AddHorizontalPreCompose, for IsCapCategory, IsFunction 7.6-64 AddIdentityMorphism, for IsCapCategory, IsFunction 7.6-65 AddIdentityTwoCell, for IsCapCategory, IsFunction 7.6-66 AddImageEmbedding, for IsCapCategory, IsFunction 7.6-67 AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 7.6-68 AddImageObject, for IsCapCategory, IsFunction 7.6-69 AddImageObjectFunctorial, for IsCapCategory, IsFunction 7.6-70 AddImageObjectFunctorialWithGivenImageObjects, for IsCapCategory, IsFunction 7.6-71 AddIndecomposableInjectiveObjects, for IsCapCategory, IsFunction 7.6-72 AddIndecomposableProjectiveObjects, for IsCapCategory, IsFunction 7.6-73 AddInitialObject, for IsCapCategory, IsFunction 7.6-74 AddInitialObjectFunctorial, for IsCapCategory, IsFunction 7.6-75 AddInitialObjectFunctorialWithGivenInitialObjects, for IsCapCategory, IsFunction 7.6-76 AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 7.6-77 AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-78 AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 7.6-79 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-80 AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 7.6-81 AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-82 AddInjectiveColift, for IsCapCategory, IsFunction 7.6-83 AddInjectiveDimension, for IsCapCategory, IsFunction 7.6-84 AddInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-85 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategory, IsFunction 7.6-86 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategory, IsFunction 7.6-87 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategory, IsFunction 7.6-88 AddInverseForMorphisms, for IsCapCategory, IsFunction 7.6-89 AddInverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-90 AddIsAutomorphism, for IsCapCategory, IsFunction 7.6-91 AddIsBijectiveObject, for IsCapCategory, IsFunction 7.6-92 AddIsCodominating, for IsCapCategory, IsFunction 7.6-93 AddIsColiftable, for IsCapCategory, IsFunction 7.6-94 AddIsColiftableAlongEpimorphism, for IsCapCategory, IsFunction 7.6-95 AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 7.6-96 AddIsDominating, for IsCapCategory, IsFunction 7.6-97 AddIsEndomorphism, for IsCapCategory, IsFunction 7.6-98 AddIsEpimorphism, for IsCapCategory, IsFunction 7.6-99 AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 7.6-100 AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 7.6-101 AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 7.6-102 AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 7.6-103 AddIsEqualForMorphisms, for IsCapCategory, IsFunction 7.6-104 AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 7.6-105 AddIsEqualForObjects, for IsCapCategory, IsFunction 7.6-106 AddIsEqualToIdentityMorphism, for IsCapCategory, IsFunction 7.6-107 AddIsEqualToZeroMorphism, for IsCapCategory, IsFunction 7.6-108 AddIsHomSetInhabited, for IsCapCategory, IsFunction 7.6-109 AddIsIdempotent, for IsCapCategory, IsFunction 7.6-110 AddIsInitial, for IsCapCategory, IsFunction 7.6-111 AddIsInjective, for IsCapCategory, IsFunction 7.6-112 AddIsIsomorphism, for IsCapCategory, IsFunction 7.6-113 AddIsLiftable, for IsCapCategory, IsFunction 7.6-114 AddIsLiftableAlongMonomorphism, for IsCapCategory, IsFunction 7.6-115 AddIsMonomorphism, for IsCapCategory, IsFunction 7.6-116 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 7.6-127 AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 7.6-128 AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsCapCategory, IsFunction 7.6-129 AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction 7.6-130 AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction 7.6-131 AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction 7.6-132 AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction 7.6-133 AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction 7.6-134 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsCapCategory, IsFunction 7.6-135 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsCapCategory, IsFunction 7.6-136 AddIsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsCapCategory, IsFunction 7.6-137 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategory, IsFunction 7.6-138 AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction 7.6-139 AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction 7.6-140 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategory, IsFunction 7.6-141 AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 7.6-142 AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsCapCategory, IsFunction 7.6-143 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 7.6-144 AddIsomorphismFromPushoutToCokernelOfDiagonalDifference, 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-117 AddIsProjective, for IsCapCategory, IsFunction 7.6-118 AddIsSplitEpimorphism, for IsCapCategory, IsFunction 7.6-119 AddIsSplitMonomorphism, for IsCapCategory, IsFunction 7.6-120 AddIsTerminal, for IsCapCategory, IsFunction 7.6-121 AddIsWellDefinedForMorphisms, 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 AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2 AdditiveGenerators, for IsCapCategory 1.4-11 AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.8-4 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 AddLiftOrFail, 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.6-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 AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-168 AddMorphismFromEqualizerToSink, for IsCapCategory, IsFunction 7.6-169 AddMorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-170 AddMorphismFromFiberProductToSink, for IsCapCategory, IsFunction 7.6-171 AddMorphismFromFiberProductToSinkWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-172 AddMorphismFromKernelObjectToSink, for IsCapCategory, IsFunction 7.6-173 AddMorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-174 AddMorphismFromSourceToCoequalizer, for IsCapCategory, IsFunction 7.6-175 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-176 AddMorphismFromSourceToCokernelObject, for IsCapCategory, IsFunction 7.6-177 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-178 AddMorphismFromSourceToPushout, for IsCapCategory, IsFunction 7.6-179 AddMorphismFromSourceToPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-180 AddMorphismFunction, for IsCapFunctor, IsFunction 5.4-7 AddMorphismRepresentation, for IsCapCategory, IsObject 3.6-3 AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 7.6-181 AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject, for IsCapCategory, IsAttributeStoringRep 2.6-2 AddObjectConstructor, for IsCapCategory, IsFunction 7.6-182 AddObjectDatum, for IsCapCategory, IsFunction 7.6-183 AddObjectFunction, for IsCapFunctor, IsFunction 5.4-5 AddObjectRepresentation, for IsCapCategory, IsObject 2.6-3 AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose, for IsCapCategory, IsFunction 7.6-184 AddPostComposeList, for IsCapCategory, IsFunction 7.6-185 AddPostInverseForMorphisms, for IsCapCategory, IsFunction 7.6-186 AddPreCompose, for IsCapCategory, IsFunction 7.6-187 AddPreComposeList, for IsCapCategory, IsFunction 7.6-188 AddPreInverseForMorphisms, for IsCapCategory, IsFunction 7.6-189 AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 7.6-190 AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-191 AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 7.6-192 AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-193 AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 7.6-194 AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-195 AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 7.6-196 AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-197 AddProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-198 AddProjectiveDimension, for IsCapCategory, IsFunction 7.6-199 AddProjectiveLift, for IsCapCategory, IsFunction 7.6-200 AddPushout, for IsCapCategory, IsFunction 7.6-201 AddPushoutFunctorial, for IsCapCategory, IsFunction 7.6-202 AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 7.6-203 AddRandomMorphismByInteger, for IsCapCategory, IsFunction 7.6-204 AddRandomMorphismByList, for IsCapCategory, IsFunction 7.6-205 AddRandomMorphismWithFixedRangeByInteger, for IsCapCategory, IsFunction 7.6-206 AddRandomMorphismWithFixedRangeByList, for IsCapCategory, IsFunction 7.6-207 AddRandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategory, IsFunction 7.6-208 AddRandomMorphismWithFixedSourceAndRangeByList, for IsCapCategory, IsFunction 7.6-209 AddRandomMorphismWithFixedSourceByInteger, for IsCapCategory, IsFunction 7.6-210 AddRandomMorphismWithFixedSourceByList, for IsCapCategory, IsFunction 7.6-211 AddRandomObjectByInteger, for IsCapCategory, IsFunction 7.6-212 AddRandomObjectByList, for IsCapCategory, IsFunction 7.6-213 AddSimplifyEndo, for IsCapCategory, IsFunction 7.6-214 AddSimplifyEndo_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-215 AddSimplifyEndo_IsoToInputObject, for IsCapCategory, IsFunction 7.6-216 AddSimplifyMorphism, for IsCapCategory, IsFunction 7.6-217 AddSimplifyObject, for IsCapCategory, IsFunction 7.6-218 AddSimplifyObject_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-219 AddSimplifyObject_IsoToInputObject, for IsCapCategory, IsFunction 7.6-220 AddSimplifyRange, for IsCapCategory, IsFunction 7.6-221 AddSimplifyRange_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-222 AddSimplifyRange_IsoToInputObject, for IsCapCategory, IsFunction 7.6-223 AddSimplifySource, for IsCapCategory, IsFunction 7.6-224 AddSimplifySource_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-230 AddSimplifySource_IsoToInputObject, for IsCapCategory, IsFunction 7.6-231 AddSimplifySourceAndRange, for IsCapCategory, IsFunction 7.6-225 AddSimplifySourceAndRange_IsoFromInputRange, for IsCapCategory, IsFunction 7.6-226 AddSimplifySourceAndRange_IsoFromInputSource, for IsCapCategory, IsFunction 7.6-227 AddSimplifySourceAndRange_IsoToInputRange, for IsCapCategory, IsFunction 7.6-228 AddSimplifySourceAndRange_IsoToInputSource, for IsCapCategory, IsFunction 7.6-229 AddSolveLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-232 AddSolveLinearSystemInAbCategoryOrFail, for IsCapCategory, IsFunction 7.6-233 AddSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-234 AddSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-235 AddSomeReductionBySplitEpiSummand, for IsCapCategory, IsFunction 7.6-236 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategory, IsFunction 7.6-237 AddSomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategory, IsFunction 7.6-238 AddSubtractionForMorphisms, for IsCapCategory, IsFunction 7.6-239 AddSumOfMorphisms, for IsCapCategory, IsFunction 7.6-240 AddTerminalObject, for IsCapCategory, IsFunction 7.6-241 AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 7.6-242 AddTerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategory, IsFunction 7.6-243 AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 7.6-244 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-245 AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-246 AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-247 AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-248 AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-249 AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 7.6-250 AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-251 AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 7.6-252 AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 7.6-253 AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 7.6-254 AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-255 AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 7.6-256 AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-257 AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 7.6-258 AddUniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-259 AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-260 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-261 AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-262 AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-263 AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 7.6-264 AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-265 AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 7.6-266 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-267 AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 7.6-268 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 7.6-269 AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 7.6-270 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-271 AddVerticalPostCompose, for IsCapCategory, IsFunction 7.6-272 AddVerticalPreCompose, for IsCapCategory, IsFunction 7.6-273 AddWithGivenDerivationPairToCAP 8.3-9 AddZeroMorphism, for IsCapCategory, IsFunction 7.6-274 AddZeroObject, for IsCapCategory, IsFunction 7.6-275 AddZeroObjectFunctorial, for IsCapCategory, IsFunction 7.6-276 AddZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategory, IsFunction 7.6-277 ApplyFunctor 5.4-9 ApplyNaturalTransformation 5.5-4 AsCapCategory, for IsCapCategoryAsCatObject 5.3-2 AsCatObject, for IsCapCategory 5.3-1 AsMorphismInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryMorphism 12.3-3 AsObjectInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryObject 12.3-1 AstrictionToCoimage, for IsCapCategoryMorphism 6.14-10 AstrictionToCoimageWithGivenCoimageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11 BasisOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.16-20 BrowseCachingStatistic 9.2-17 BrowseTimingStatistics 1.11-1 CachingStatistic 9.2-16 CanCompute, for IsCapCategory, IsFunction 1.6-1 CanonicalIdentificationFromCoimageToImageObject, for IsCapCategoryMorphism 6.14-15 CanonicalIdentificationFromImageObjectToCoimage, for IsCapCategoryMorphism 6.14-14 CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY 9.2-8 CAP_INTERNAL_ASSERT_IS_LIST_OF_MORPHISMS_OF_CATEGORY 9.2-13 CAP_INTERNAL_ASSERT_IS_LIST_OF_OBJECTS_OF_CATEGORY 9.2-12 CAP_INTERNAL_ASSERT_IS_LIST_OF_TWO_CELLS_OF_CATEGORY 9.2-14 CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY 9.2-10 CAP_INTERNAL_ASSERT_IS_NON_NEGATIVE_INTEGER_OR_INFINITY 9.2-15 CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY 9.2-9 CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY 9.2-11 CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY 15.2-3 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 9.2-6 CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS 10.3-1 CAP_INTERNAL_MERGE_FILTER_LISTS 9.2-4 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 9.2-7 CAP_INTERNAL_REPLACE_STRING_WITH_FILTER 9.2-2 CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS 9.2-3 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-5 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2 CAP_JIT_INCOMPLETE_LOGIC 9.2-41 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-27 CapFunctor, for IsString, IsCapCategory, IsCapCategory 5.4-1 CapInternalInstallAdd 7.3-1 CapJitAddKnownMethod 9.2-23 CapJitAddTypeSignature 9.2-24 CapJitAddTypeSignatureDeferred 9.2-25 CapJitDataTypeOfCategory 9.2-26 CapJitDataTypeOfMorphismOfCategory 9.2-26 CapJitDataTypeOfObjectOfCategory 9.2-26 CAPOperationPrepareFunction 7.5-1 CategoryConstructor, for IsRecord 11.2-1 CategoryFilter, for IsCapCategory 1.4-2 CategoryOfOperationWeightList, for IsOperationWeightList 8.4-4 CheckConstructivenessOfCategory, for IsCapCategory, IsString 1.6-2 CoastrictionToImage, for IsCapCategoryMorphism 6.13-6 CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7 CoefficientsOfMorphism, for IsCapCategoryMorphism 3.16-22 CoefficientsOfMorphismWithGivenBasisOfExternalHom, for IsCapCategoryMorphism, IsList 3.16-21 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-16 CoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.14-17 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 ComponentOfMorphismFromDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-20 ComponentOfMorphismIntoDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-19 Contains, for IsStringMinHeap, IsString 8.5-8 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.6-5 CreateCapCategoryObjectWithAttributes 2.6-5 CreateCapCategoryWithDataTypes 1.3-4 CurrentOperationWeight, for IsOperationWeightList, IsString 8.4-5 DeactivateCachingOfCategory 1.9-2 DeactivateDefaultCaching 1.9-3 DeactivateDerivationInfo 8.1-3 DeclareFamilyProperty 9.2-1 DecreaseKey, for IsStringMinHeap, IsString, IsInt 8.5-5 DerivationFunction, for IsDerivedMethod 8.2-5 DerivationGraph, for IsOperationWeightList 8.4-3 DerivationInfo 8.1-1 DerivationName, for IsDerivedMethod 8.2-3 DerivationOfOperation, for IsOperationWeightList, IsString 8.4-7 DerivationsOfOperation, for IsDerivedMethodGraph, IsString 8.3-12 DerivationsUsingOperation, for IsDerivedMethodGraph, IsString 8.3-11 DerivationWeight, for IsDerivedMethod 8.2-4 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 DirectSumCodiagonalDifference, for IsList 6.12-5 DirectSumDiagonalDifference, for IsList 6.11-5 DirectSumFunctorial, for IsList, IsList, IsList 6.6-21 DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-22 DirectSumOp, for IsList 6.6-2 DirectSumProjectionInPushout, for IsList 6.12-6 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 13.2-1 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 ExtractMin, for IsStringMinHeap 8.5-4 FiberProduct 6.11-7 FiberProductEmbeddingInDirectSum, for IsList 6.11-6 FiberProductFunctorial, for IsList, IsList, IsList 6.11-15 FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-16 FiberProductOp, for IsList 6.11-8 FilteredWithKeys 9.2-48 FirstWithKeys 9.2-49 ForAllWithKeys 9.2-45 ForAnyWithKeys 9.2-46 FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11 FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15 FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13 FunctorFromTerminalCategory, for IsCapCategoryObject 15.3-3 FunctorMorphismOperation, for IsCapFunctor 5.4-8 FunctorObjectOperation, for IsCapFunctor 5.4-6 HandlePrecompiledTowers 9.2-40 Heapify, for IsStringMinHeap, IsPosInt 8.5-10 HeapSize, for IsStringMinHeap 8.5-7 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.2-3 HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-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.2-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-9 InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject 6.12-10 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-18 InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10 InstallDerivationsUsingOperation, for IsOperationWeightList, IsString 8.4-8 InstallFunctor, for IsCapFunctor, IsString 5.4-11 InstallMethodForCompilerForCAP 9.2-21 InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 5.5-5 InstallOtherMethodForCompilerForCAP 9.2-22 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 InverseMorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-3 InverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4 IsAbCategory, for IsCapCategory 1.2-7 IsAbelianCategory, for IsCapCategory 1.2-11 IsAbelianCategoryWithEnoughInjectives, for IsCapCategory 1.2-13 IsAbelianCategoryWithEnoughProjectives, for IsCapCategory 1.2-12 IsAdditiveCategory, for IsCapCategory 1.2-9 IsApplicableToCategory, for IsDerivedMethod, IsCapCategory 8.2-7 IsAutomorphism, for IsCapCategoryMorphism 3.5-4 IsBijectiveObject, for IsCapCategoryObject 2.3-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 15.1-4 IsCapTerminalCategoryWithSingleObject, for IsCapCategory 15.1-1 IsCategoryWithDecidableColifts, for IsCapCategory 1.2-4 IsCategoryWithDecidableLifts, for IsCapCategory 1.2-3 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 13.1-1 IsDummyCategoryMorphism, for IsCapCategoryMorphism 13.1-3 IsDummyCategoryObject, for IsCapCategoryObject 13.1-2 IsEmptyHeap, for IsStringMinHeap 8.5-6 IsEndomorphism, for IsCapCategoryMorphism 3.5-3 IsEnrichedOverCommutativeRegularSemigroup, for IsCapCategory 1.2-5 IsEpimorphism, for IsCapCategoryMorphism 3.3-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.5-1 IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2 IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.2-1 IsEqualToIdentityMorphism, for IsCapCategoryMorphism 3.5-1 IsEqualToZeroMorphism, for IsCapCategoryMorphism 3.5-2 IsEquippedWithHomomorphismStructure, for IsCapCategory 1.2-2 IsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 3.15-1 IsIdempotent, for IsCapCategoryMorphism 3.3-7 IsInitial, for IsCapCategoryObject 2.3-5 IsInjective, for IsCapCategoryObject 2.3-3 IsIsomorphism, for IsCapCategoryMorphism 3.3-3 IsLiftable, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7 IsLiftableAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3 IsLinearCategoryOverCommutativeRing, for IsCapCategory 1.2-8 IsLocallyOfFiniteInjectiveDimension, for IsCapCategory 1.2-15 IsLocallyOfFiniteProjectiveDimension, for IsCapCategory 1.2-14 IsMonomorphism, for IsCapCategoryMorphism 3.3-1 IsMorphismInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryMorphism 15.1-6 IsMorphismInCapTerminalCategoryWithSingleObject, for IsCapCategoryMorphism 15.1-3 IsObjectInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryObject 15.1-5 IsObjectInCapTerminalCategoryWithSingleObject, for IsCapCategoryObject 15.1-2 IsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsList 6.12-4 IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism 6.14-5 IsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsList 6.12-2 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-4 IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsList 6.11-3 IsomorphismFromFiberProductToKernelOfDiagonalDifference, 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 IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsList 6.11-2 IsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsList 6.12-3 IsomorphismFromPushoutToCokernelOfDiagonalDifference, 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.3-6 IsOperationWeightList, for IsAttributeStoringRep 8.4-1 IsPreAbelianCategory, for IsCapCategory 1.2-10 IsProjective, for IsCapCategoryObject 2.3-2 IsSkeletalCategory, for IsCapCategory 1.2-6 IsSpecializationOfFilter 9.2-19 IsSpecializationOfFilterList 9.2-20 IsSplitEpimorphism, for IsCapCategoryMorphism 3.3-5 IsSplitMonomorphism, for IsCapCategoryMorphism 3.3-4 IsStringMinHeap, for IsAttributeStoringRep 8.5-1 IsTerminal, for IsCapCategoryObject 2.3-4 IsTerminalCategory, for IsCapCategory 15.1-7 IsWellDefined, for IsCapCategoryCell 1.7-1 IsWellDefinedForMorphisms, for IsCapCategoryMorphism 3.11-1 IsWellDefinedForObjects, for IsCapCategoryObject 2.8-1 IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 4.3-1 IsWrapperCapCategory, for IsCapCategory 12.1-1 IsWrapperCapCategoryMorphism, for IsCapCategoryMorphism 12.1-3 IsWrapperCapCategoryObject, for IsCapCategoryObject 12.1-2 IsZero, for IsCapCategoryObject 2.3-7 IsZeroForMorphisms, for IsCapCategoryMorphism 3.8-1 IsZeroForObjects, for IsCapCategoryObject 2.3-6 Iterated, for IsList, IsFunction, IsObject 9.2-28 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-50 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 ListCAPPrepareFunctions 7.5-3 ListWithKeys 9.2-42 MakeDerivation, for IsString, IsFunction, IsDenseList,IsPosInt, IsFunction, IsFunction 8.2-2 MakeDerivationGraph, for IsDenseList 8.3-2 MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2 MereExistenceOfSolutionOfLinearSystemInAbCategory, for IsList, IsList, IsList 3.16-10 ModeledMorphism, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.3-10 ModeledObject, for IsCapCategory, IsCapCategoryObject 12.3-8 ModelingCategory, for IsCapCategory 12.2-1 ModelingMorphism, for IsCapCategory, IsCapCategoryMorphism 12.3-9 ModelingObject, for IsCapCategory, IsCapCategoryObject 12.3-7 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.2-1 MorphismDatum, for IsCapCategoryMorphism 3.2-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-11 MorphismFromFiberProductToSinkWithGivenFiberProduct, for IsList, IsCapCategoryObject 6.11-12 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-11 MorphismFromSourceToPushoutWithGivenPushout, for IsList, IsCapCategoryObject 6.12-12 MorphismFromZeroObject, for IsCapCategoryObject 6.3-7 MorphismIntoZeroObject, for IsCapCategoryObject 6.3-8 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-37 NumberWithKeys 9.2-47 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 ObjectifyMorphismWithSourceAndRangeForCAPWithAttributes 3.6-4 ObjectifyObjectForCAPWithAttributes 2.6-4 Operations, for IsDerivedMethodGraph 8.3-10 OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6 PackageOfCAPOperation 9.2-30 Pair 9.2-38 PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 PostComposeList, for IsList 3.10-7 PostInverseForMorphisms, for IsCapCategoryMorphism 3.13-3 PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2 PreComposeList, for IsList 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-44 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-9 ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject 6.11-10 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-8 PushoutFunctorial, for IsList, IsList, IsList 6.12-15 PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-16 RandomMorphism, for IsCapCategory, IsInt 3.4-9 RandomMorphismByInteger, for IsCapCategory, IsInt 3.4-7 RandomMorphismByList, for IsCapCategory, IsList 3.4-8 RandomMorphismWithFixedRange, for IsCapCategoryObject, IsInt 3.4-9 RandomMorphismWithFixedRangeByInteger, for IsCapCategoryObject, IsInt 3.4-3 RandomMorphismWithFixedRangeByList, for IsCapCategoryObject, IsList 3.4-4 RandomMorphismWithFixedSource, for IsCapCategoryObject, IsInt 3.4-9 RandomMorphismWithFixedSourceAndRange, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-9 RandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-5 RandomMorphismWithFixedSourceAndRangeByList, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.4-6 RandomMorphismWithFixedSourceByInteger, for IsCapCategoryObject, IsInt 3.4-1 RandomMorphismWithFixedSourceByList, for IsCapCategoryObject, IsList 3.4-2 RandomObject, for IsCapCategory, IsInt 2.4-3 RandomObjectByInteger, for IsCapCategory, IsInt 2.4-1 RandomObjectByList, for IsCapCategory, IsList 2.4-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 ResetTimingStatistics 1.11-1 SafeFirst, for IsList, IsFunction 9.2-35 SafePosition, for IsList, IsObject 9.2-31 SafePositionProperty, for IsList, IsFunction 9.2-33 SafeUniqueEntry, for IsList, IsFunction 9.2-36 SafeUniquePosition, for IsList, IsObject 9.2-32 SafeUniquePositionProperty, for IsList, IsFunction 9.2-34 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 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 StringMinHeap 8.5-2 SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 SumOfMorphisms, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8 SumWithKeys 9.2-43 Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 TargetOperation, for IsDerivedMethod 8.2-8 TerminalCategoryWithMultipleObjects 15.2-2 TerminalCategoryWithSingleObject 15.2-1 TerminalObject, for IsCapCategory 6.4-1 TerminalObjectFunctorial, for IsCapCategory 6.4-5 TerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 TransitivelyNeededOtherPackages 9.2-29 Triple 9.2-39 TwoCellDatumType, for IsCapCategory 1.4-8 TwoCellFilter, for IsCapCategory 1.4-5 UnderlyingCell, for IsWrapperCapCategoryMorphism 12.2-3 UniqueMorphism, for IsCapTerminalCategoryWithSingleObject 15.3-2 UniqueObject, for IsCapTerminalCategoryWithSingleObject 15.3-1 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-13 UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-14 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-13 UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-14 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.2-5 VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-4 WrapperCategory, for IsCapCategory, IsRecord 12.3-5 WrappingFunctor, for IsWrapperCapCategory 12.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