\*, 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.7-1 AddAdditiveGenerators, for IsCapCategory, IsFunction 7.7-2 AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 7.7-3 AddAstrictionToCoimage, for IsCapCategory, IsFunction 7.7-4 AddAstrictionToCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.7-5 AddBasisOfExternalHom, for IsCapCategory, IsFunction 7.7-6 AddCanonicalIdentificationFromCoimageToImageObject, for IsCapCategory, IsFunction 7.7-7 AddCanonicalIdentificationFromImageObjectToCoimage, for IsCapCategory, IsFunction 7.7-8 AddCategoricalProperty 1.1-6 AddCoastrictionToImage, for IsCapCategory, IsFunction 7.7-9 AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 7.7-10 AddCoefficientsOfMorphismWithGivenBasisOfExternalHom, for IsCapCategory, IsFunction 7.7-11 AddCoequalizer, for IsCapCategory, IsFunction 7.7-12 AddCoequalizerFunctorial, for IsCapCategory, IsFunction 7.7-13 AddCoequalizerFunctorialWithGivenCoequalizers, for IsCapCategory, IsFunction 7.7-14 AddCoimageObject, for IsCapCategory, IsFunction 7.7-15 AddCoimageProjection, for IsCapCategory, IsFunction 7.7-16 AddCoimageProjectionWithGivenCoimageObject, for IsCapCategory, IsFunction 7.7-17 AddCokernelColift, for IsCapCategory, IsFunction 7.7-18 AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 7.7-19 AddCokernelObject, for IsCapCategory, IsFunction 7.7-20 AddCokernelObjectFunctorial, for IsCapCategory, IsFunction 7.7-21 AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 7.7-22 AddCokernelProjection, for IsCapCategory, IsFunction 7.7-23 AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 7.7-24 AddColift, for IsCapCategory, IsFunction 7.7-25 AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 7.7-26 AddColiftOrFail, for IsCapCategory, IsFunction 7.7-27 AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 7.7-28 AddComponentOfMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.7-29 AddCoproduct, for IsCapCategory, IsFunction 7.7-30 AddCoproductFunctorial, for IsCapCategory, IsFunction 7.7-31 AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 7.7-32 AddDerivation, for IsDerivedMethodGraph, IsDerivedMethod 8.3-4 AddDerivationToCAP 8.3-8 AddDirectProduct, for IsCapCategory, IsFunction 7.7-33 AddDirectProductFunctorial, for IsCapCategory, IsFunction 7.7-34 AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction 7.7-35 AddDirectSum, for IsCapCategory, IsFunction 7.7-36 AddDirectSumCodiagonalDifference, for IsCapCategory, IsFunction 7.7-37 AddDirectSumDiagonalDifference, for IsCapCategory, IsFunction 7.7-38 AddDirectSumFunctorial, for IsCapCategory, IsFunction 7.7-39 AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 7.7-40 AddDirectSumProjectionInPushout, for IsCapCategory, IsFunction 7.7-41 AddDistinguishedObjectOfHomomorphismStructure, for IsCapCategory, IsFunction 7.7-42 AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 7.7-43 AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.7-44 AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 7.7-45 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 7.7-46 AddEqualizer, for IsCapCategory, IsFunction 7.7-47 AddEqualizerFunctorial, for IsCapCategory, IsFunction 7.7-48 AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 7.7-49 AddFiberProduct, for IsCapCategory, IsFunction 7.7-50 AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction 7.7-51 AddFiberProductFunctorial, for IsCapCategory, IsFunction 7.7-52 AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 7.7-53 AddHomologyObject, for IsCapCategory, IsFunction 7.7-54 AddHomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategory, IsFunction 7.7-55 AddHomomorphismStructureOnMorphisms, for IsCapCategory, IsFunction 7.7-56 AddHomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategory, IsFunction 7.7-57 AddHomomorphismStructureOnObjects, for IsCapCategory, IsFunction 7.7-58 AddHorizontalPostCompose, for IsCapCategory, IsFunction 7.7-59 AddHorizontalPreCompose, for IsCapCategory, IsFunction 7.7-60 AddIdentityMorphism, for IsCapCategory, IsFunction 7.7-61 AddIdentityTwoCell, for IsCapCategory, IsFunction 7.7-62 AddImageEmbedding, for IsCapCategory, IsFunction 7.7-63 AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 7.7-64 AddImageObject, for IsCapCategory, IsFunction 7.7-65 AddInitialObject, for IsCapCategory, IsFunction 7.7-66 AddInitialObjectFunctorial, for IsCapCategory, IsFunction 7.7-67 AddInitialObjectFunctorialWithGivenInitialObjects, for IsCapCategory, IsFunction 7.7-68 AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 7.7-69 AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.7-70 AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 7.7-71 AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.7-72 AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 7.7-73 AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.7-74 AddInjectiveColift, for IsCapCategory, IsFunction 7.7-75 AddInjectiveDimension, for IsCapCategory, IsFunction 7.7-76 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategory, IsFunction 7.7-77 AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategory, IsFunction 7.7-78 AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategory, IsFunction 7.7-79 AddInverseForMorphisms, for IsCapCategory, IsFunction 7.7-80 AddInverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.7-81 AddIsAutomorphism, for IsCapCategory, IsFunction 7.7-82 AddIsBijectiveObject, for IsCapCategory, IsFunction 7.7-83 AddIsCodominating, for IsCapCategory, IsFunction 7.7-84 AddIsColiftable, for IsCapCategory, IsFunction 7.7-85 AddIsColiftableAlongEpimorphism, for IsCapCategory, IsFunction 7.7-86 AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 7.7-87 AddIsDominating, for IsCapCategory, IsFunction 7.7-88 AddIsEndomorphism, for IsCapCategory, IsFunction 7.7-89 AddIsEpimorphism, for IsCapCategory, IsFunction 7.7-90 AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 7.7-91 AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 7.7-92 AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 7.7-93 AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 7.7-94 AddIsEqualForMorphisms, for IsCapCategory, IsFunction 7.7-95 AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 7.7-96 AddIsEqualForObjects, for IsCapCategory, IsFunction 7.7-97 AddIsEqualToIdentityMorphism, for IsCapCategory, IsFunction 7.7-98 AddIsEqualToZeroMorphism, for IsCapCategory, IsFunction 7.7-99 AddIsHomSetInhabited, for IsCapCategory, IsFunction 7.7-100 AddIsIdempotent, for IsCapCategory, IsFunction 7.7-101 AddIsInitial, for IsCapCategory, IsFunction 7.7-102 AddIsInjective, for IsCapCategory, IsFunction 7.7-103 AddIsIsomorphism, for IsCapCategory, IsFunction 7.7-104 AddIsLiftable, for IsCapCategory, IsFunction 7.7-105 AddIsLiftableAlongMonomorphism, for IsCapCategory, IsFunction 7.7-106 AddIsMonomorphism, for IsCapCategory, IsFunction 7.7-107 AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 7.7-118 AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 7.7-119 AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsCapCategory, IsFunction 7.7-120 AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction 7.7-121 AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction 7.7-122 AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction 7.7-123 AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction 7.7-124 AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction 7.7-125 AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsCapCategory, IsFunction 7.7-126 AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsCapCategory, IsFunction 7.7-127 AddIsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsCapCategory, IsFunction 7.7-128 AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategory, IsFunction 7.7-129 AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction 7.7-130 AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction 7.7-131 AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategory, IsFunction 7.7-132 AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 7.7-133 AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsCapCategory, IsFunction 7.7-134 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 7.7-135 AddIsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsCapCategory, IsFunction 7.7-136 AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction 7.7-137 AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction 7.7-138 AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction 7.7-139 AddIsOne, for IsCapCategory, IsFunction 7.7-108 AddIsProjective, for IsCapCategory, IsFunction 7.7-109 AddIsSplitEpimorphism, for IsCapCategory, IsFunction 7.7-110 AddIsSplitMonomorphism, for IsCapCategory, IsFunction 7.7-111 AddIsTerminal, for IsCapCategory, IsFunction 7.7-112 AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 7.7-113 AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 7.7-114 AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 7.7-115 AddIsZeroForMorphisms, for IsCapCategory, IsFunction 7.7-116 AddIsZeroForObjects, for IsCapCategory, IsFunction 7.7-117 AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2 AdditiveGenerators, for IsCapCategory 1.3-8 AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.8-4 AddKernelEmbedding, for IsCapCategory, IsFunction 7.7-140 AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 7.7-141 AddKernelLift, for IsCapCategory, IsFunction 7.7-142 AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 7.7-143 AddKernelObject, for IsCapCategory, IsFunction 7.7-144 AddKernelObjectFunctorial, for IsCapCategory, IsFunction 7.7-145 AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 7.7-146 AddLift, for IsCapCategory, IsFunction 7.7-147 AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 7.7-148 AddLiftOrFail, for IsCapCategory, IsFunction 7.7-149 AddMereExistenceOfSolutionOfLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.7-150 AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 7.7-151 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 7.7-152 AddMorphism, for IsCapCategory, IsAttributeStoringRep 3.6-2 AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 7.7-153 AddMorphismBetweenDirectSumsWithGivenDirectSums, for IsCapCategory, IsFunction 7.7-154 AddMorphismConstructor, for IsCapCategory, IsFunction 7.7-155 AddMorphismDatum, for IsCapCategory, IsFunction 7.7-156 AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.7-157 AddMorphismFromEqualizerToSink, for IsCapCategory, IsFunction 7.7-158 AddMorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategory, IsFunction 7.7-159 AddMorphismFromFiberProductToSink, for IsCapCategory, IsFunction 7.7-160 AddMorphismFromFiberProductToSinkWithGivenFiberProduct, for IsCapCategory, IsFunction 7.7-161 AddMorphismFromKernelObjectToSink, for IsCapCategory, IsFunction 7.7-162 AddMorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategory, IsFunction 7.7-163 AddMorphismFromSourceToCoequalizer, for IsCapCategory, IsFunction 7.7-164 AddMorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.7-165 AddMorphismFromSourceToCokernelObject, for IsCapCategory, IsFunction 7.7-166 AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategory, IsFunction 7.7-167 AddMorphismFromSourceToPushout, for IsCapCategory, IsFunction 7.7-168 AddMorphismFromSourceToPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.7-169 AddMorphismFunction, for IsCapFunctor, IsFunction 5.4-7 AddMorphismRepresentation, for IsCapCategory, IsObject 3.6-3 AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 7.7-170 AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 5.5-3 AddObject, for IsCapCategory, IsAttributeStoringRep 2.6-2 AddObjectConstructor, for IsCapCategory, IsFunction 7.7-171 AddObjectDatum, for IsCapCategory, IsFunction 7.7-172 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.7-173 AddPostComposeList, for IsCapCategory, IsFunction 7.7-174 AddPreCompose, for IsCapCategory, IsFunction 7.7-175 AddPreComposeList, for IsCapCategory, IsFunction 7.7-176 AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-11 AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 7.7-177 AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.7-178 AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 7.7-179 AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.7-180 AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 7.7-181 AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.7-182 AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 7.7-183 AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.7-184 AddProjectiveDimension, for IsCapCategory, IsFunction 7.7-185 AddProjectiveLift, for IsCapCategory, IsFunction 7.7-186 AddPushout, for IsCapCategory, IsFunction 7.7-187 AddPushoutFunctorial, for IsCapCategory, IsFunction 7.7-188 AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 7.7-189 AddRandomMorphismByInteger, for IsCapCategory, IsFunction 7.7-190 AddRandomMorphismByList, for IsCapCategory, IsFunction 7.7-191 AddRandomMorphismWithFixedRangeByInteger, for IsCapCategory, IsFunction 7.7-192 AddRandomMorphismWithFixedRangeByList, for IsCapCategory, IsFunction 7.7-193 AddRandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategory, IsFunction 7.7-194 AddRandomMorphismWithFixedSourceAndRangeByList, for IsCapCategory, IsFunction 7.7-195 AddRandomMorphismWithFixedSourceByInteger, for IsCapCategory, IsFunction 7.7-196 AddRandomMorphismWithFixedSourceByList, for IsCapCategory, IsFunction 7.7-197 AddRandomObjectByInteger, for IsCapCategory, IsFunction 7.7-198 AddRandomObjectByList, for IsCapCategory, IsFunction 7.7-199 AddSimplifyEndo, for IsCapCategory, IsFunction 7.7-200 AddSimplifyEndo_IsoFromInputObject, for IsCapCategory, IsFunction 7.7-201 AddSimplifyEndo_IsoToInputObject, for IsCapCategory, IsFunction 7.7-202 AddSimplifyMorphism, for IsCapCategory, IsFunction 7.7-203 AddSimplifyObject, for IsCapCategory, IsFunction 7.7-204 AddSimplifyObject_IsoFromInputObject, for IsCapCategory, IsFunction 7.7-205 AddSimplifyObject_IsoToInputObject, for IsCapCategory, IsFunction 7.7-206 AddSimplifyRange, for IsCapCategory, IsFunction 7.7-207 AddSimplifyRange_IsoFromInputObject, for IsCapCategory, IsFunction 7.7-208 AddSimplifyRange_IsoToInputObject, for IsCapCategory, IsFunction 7.7-209 AddSimplifySource, for IsCapCategory, IsFunction 7.7-210 AddSimplifySource_IsoFromInputObject, for IsCapCategory, IsFunction 7.7-216 AddSimplifySource_IsoToInputObject, for IsCapCategory, IsFunction 7.7-217 AddSimplifySourceAndRange, for IsCapCategory, IsFunction 7.7-211 AddSimplifySourceAndRange_IsoFromInputRange, for IsCapCategory, IsFunction 7.7-212 AddSimplifySourceAndRange_IsoFromInputSource, for IsCapCategory, IsFunction 7.7-213 AddSimplifySourceAndRange_IsoToInputRange, for IsCapCategory, IsFunction 7.7-214 AddSimplifySourceAndRange_IsoToInputSource, for IsCapCategory, IsFunction 7.7-215 AddSolveLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.7-218 AddSolveLinearSystemInAbCategoryOrFail, for IsCapCategory, IsFunction 7.7-219 AddSomeInjectiveObject, for IsCapCategory, IsFunction 7.7-220 AddSomeProjectiveObject, for IsCapCategory, IsFunction 7.7-221 AddSomeReductionBySplitEpiSummand, for IsCapCategory, IsFunction 7.7-222 AddSomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategory, IsFunction 7.7-223 AddSomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategory, IsFunction 7.7-224 AddSubtractionForMorphisms, for IsCapCategory, IsFunction 7.7-225 AddTerminalObject, for IsCapCategory, IsFunction 7.7-226 AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 7.7-227 AddTerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategory, IsFunction 7.7-228 AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 7.7-229 AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.7-230 AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 7.7-231 AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.7-232 AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 7.7-233 AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.7-234 AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 7.7-235 AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 7.7-236 AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 7.7-237 AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 7.7-238 AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 7.7-239 AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.7-240 AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 7.7-241 AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.7-242 AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 7.7-243 AddUniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.7-244 AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.7-245 AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.7-246 AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.7-247 AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.7-248 AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 7.7-249 AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.7-250 AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 7.7-251 AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.7-252 AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 7.7-253 AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 7.7-254 AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 7.7-255 AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.7-256 AddVerticalPostCompose, for IsCapCategory, IsFunction 7.7-257 AddVerticalPreCompose, for IsCapCategory, IsFunction 7.7-258 AddWithGivenDerivationPairToCAP 8.3-9 AddZeroMorphism, for IsCapCategory, IsFunction 7.7-259 AddZeroObject, for IsCapCategory, IsFunction 7.7-260 AddZeroObjectFunctorial, for IsCapCategory, IsFunction 7.7-261 AddZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategory, IsFunction 7.7-262 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-20 BrowseTimingStatistics 1.10-1 CachingStatistic 9.2-19 CanCompute, for IsCapCategory, IsFunction 1.5-1 CanonicalIdentificationFromCoimageToImageObject, for IsCapCategoryMorphism 6.14-15 CanonicalIdentificationFromImageObjectToCoimage, for IsCapCategoryMorphism 6.14-14 CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY 9.2-11 CAP_INTERNAL_ASSERT_IS_LIST_OF_MORPHISMS_OF_CATEGORY 9.2-16 CAP_INTERNAL_ASSERT_IS_LIST_OF_OBJECTS_OF_CATEGORY 9.2-15 CAP_INTERNAL_ASSERT_IS_LIST_OF_TWO_CELLS_OF_CATEGORY 9.2-17 CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY 9.2-13 CAP_INTERNAL_ASSERT_IS_NON_NEGATIVE_INTEGER_OR_INFINITY 9.2-18 CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY 9.2-12 CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY 9.2-14 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 9.2-9 CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS 10.3-1 CAP_INTERNAL_MERGE_FILTER_LISTS 9.2-7 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 9.2-10 CAP_INTERNAL_REPLACE_STRING_WITH_FILTER 9.2-5 CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS 9.2-6 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-8 CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2 CAP_JIT_INCOMPLETE_LOGIC 9.2-40 CAPAddPrepareFunction 7.6-2 CapCat 5.1-1 CapCategory, for IsCapCategoryMorphism 3.1-1 CapCategorySwitchLogicOff 1.4-8 CapCategorySwitchLogicOn 1.4-7 CapCategorySwitchLogicPropagationForMorphismsOff 1.4-4 CapCategorySwitchLogicPropagationForMorphismsOn 1.4-3 CapCategorySwitchLogicPropagationForObjectsOff 1.4-2 CapCategorySwitchLogicPropagationForObjectsOn 1.4-1 CapCategorySwitchLogicPropagationOff 1.4-6 CapCategorySwitchLogicPropagationOn 1.4-5 CapFixpoint 9.2-30 CapFunctor, for IsString, IsCapCategory, IsCapCategory 5.4-1 CapInternalInstallAdd 7.3-1 CapJitAddKnownMethod 9.2-26 CapJitAddTypeSignature 9.2-27 CapJitAddTypeSignatureDeferred 9.2-28 CapJitDataTypeOfCategory 9.2-29 CapJitDataTypeOfMorphismOfCategory 9.2-29 CapJitDataTypeOfObjectOfCategory 9.2-29 CAPOperationPrepareFunction 7.6-1 CategoryConstructor, for IsRecord 11.2-1 CategoryFilter, for IsCapCategory 1.3-1 CategoryOfOperationWeightList, for IsOperationWeightList 8.4-4 CellFilter, for IsCapCategory 1.3-2 CheckConstructivenessOfCategory, for IsCapCategory, IsString 1.5-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 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.3-6 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.2-1 CreateCapCategoryMorphismWithAttributes 3.6-5 CreateCapCategoryObjectWithAttributes 2.6-5 CurrentOperationWeight, for IsOperationWeightList, IsString 8.4-5 DeactivateCachingOfCategory 1.8-2 DeactivateDefaultCaching 1.8-3 DeactivateDerivationInfo 8.1-3 DeclareAttributeWithToDoForIsWellDefined 9.2-3 DeclareFamilyProperty 9.2-4 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.11-1 DisableInputSanityChecks 1.9-1 DisableOutputSanityChecks 1.9-1 DisableSanityChecks 1.9-1 DisableTimingStatistics 1.10-1 DisplayTimingStatistics 1.10-1 DistinguishedObjectOfHomomorphismStructure, for IsCapCategory 3.16-4 DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory 3.16-18 Down, for IsObject 1.7-1 DownOnlyMorphismData, for IsCapCategoryMorphism 1.7-2 DownToBottom, for IsObject 1.7-3 DummyCategory, for IsRecord 13.2-1 EmbeddingOfEqualizer, for IsCapCategoryObject, IsList 6.9-3 EmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4 EnableAddForCategoricalOperations 1.11-1 EnableFullInputSanityChecks 1.9-1 EnableFullOutputSanityChecks 1.9-1 EnableFullSanityChecks 1.9-1 EnablePartialInputSanityChecks 1.9-1 EnablePartialOutputSanityChecks 1.9-1 EnablePartialSanityChecks 1.9-1 EnableTimingStatistics 1.10-1 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-47 FirstWithKeys 9.2-48 ForAllWithKeys 9.2-44 ForAnyWithKeys 9.2-45 FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11 FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15 FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13 FunctorMorphismOperation, for IsCapFunctor 5.4-8 FunctorObjectOperation, for IsCapFunctor 5.4-6 HandlePrecompiledTowers 9.2-39 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 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 InputSignature, for IsCapFunctor 5.4-10 InstallDeprecatedAlias 9.2-21 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-24 InstallMethodWithToDoForIsWellDefined 9.2-1 InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 5.5-5 InstallOtherMethodForCompilerForCAP 9.2-25 InstallSetWithToDoForIsWellDefined, for IsObject, IsString, IsList 9.2-2 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 IsApplicableToCategory, for IsDerivedMethod, IsCapCategory 8.2-7 IsAutomorphism, for IsCapCategoryMorphism 3.5-4 IsBijectiveObject, for IsCapCategoryObject 2.3-1 IsCapCategory, for IsObject 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 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 IsObject 8.2-1 IsDerivedMethodGraph, for IsObject 8.3-1 IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 IsDummyCategory, for IsCapCategory 13.1-1 IsDummyCategoryCell, for IsCapCategoryCell 13.1-2 IsDummyCategoryMorphism, for IsDummyCategoryCell and IsCapCategoryMorphism 13.1-4 IsDummyCategoryObject, for IsDummyCategoryCell and IsCapCategoryObject 13.1-3 IsEmptyHeap, for IsStringMinHeap 8.5-6 IsEndomorphism, for IsCapCategoryMorphism 3.5-3 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 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 IsMonomorphism, for IsCapCategoryMorphism 3.3-1 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 IsObject 8.4-1 IsProjective, for IsCapCategoryObject 2.3-2 IsSpecializationOfFilter 9.2-22 IsSpecializationOfFilterList 9.2-23 IsSplitEpimorphism, for IsCapCategoryMorphism 3.3-5 IsSplitMonomorphism, for IsCapCategoryMorphism 3.3-4 IsStringMinHeap, for IsObject 8.5-1 IsTerminal, for IsCapCategoryObject 2.3-4 IsWellDefined, for IsCapCategoryCell 1.6-1 IsWellDefinedForMorphisms, for IsCapCategoryMorphism 3.11-1 IsWellDefinedForObjects, for IsCapCategoryObject 2.8-1 IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 4.3-1 IsWrapperCapCategory, for WasCreatedAsWrapperCapCategory 12.1-2 IsWrapperCapCategoryCell, for IsCapCategoryCell 12.1-3 IsWrapperCapCategoryMorphism, for IsWrapperCapCategoryCell and IsCapCategoryMorphism 12.1-5 IsWrapperCapCategoryObject, for IsWrapperCapCategoryCell and IsCapCategoryObject 12.1-4 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-31 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-49 LaTeXOutput, for IsCapCategory 1.13-2 Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5 LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1 LiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6 ListCAPPrepareFunctions 7.6-3 ListWithKeys 9.2-41 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 WasCreatedAsWrapperCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.3-10 ModeledObject, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject 12.3-8 ModelingCategory, for WasCreatedAsWrapperCapCategory 12.2-1 ModelingMorphism, for WasCreatedAsWrapperCapCategory, IsCapCategoryMorphism 12.3-9 ModelingObject, for WasCreatedAsWrapperCapCategory, IsCapCategoryObject 12.3-7 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 MorphismFilter, for IsCapCategory 1.3-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 IsCapNaturalTransformation 5.5-1 NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 5.4-16 NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 5.4-14 NaturalTransformation, for IsCapFunctor, IsCapFunctor 5.5-2 NTuple 9.2-36 NumberWithKeys 9.2-46 ObjectCache, for IsCapFunctor 9.1-1 ObjectConstructor, for IsCapCategory, IsObject 2.7-1 ObjectDatum, for IsCapCategoryObject 2.7-3 ObjectFilter, for IsCapCategory 1.3-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-33 Pair 9.2-37 PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5 PostComposeList, for IsList 3.10-7 PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2 PreComposeList, for IsList 3.10-4 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-43 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 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.3-7 RangeOfFunctor, for IsCapFunctor 5.4-4 Reevaluate, for IsOperationWeightList 8.4-9 ResetTimingStatistics 1.10-1 SafePosition, for IsList, IsObject 9.2-34 SafePositionProperty, for IsList, IsFunction 9.2-35 Saturate, for IsOperationWeightList 8.4-10 SetCachingOfCategory 1.8-1 SetCachingOfCategoryCrisp 1.8-2 SetCachingOfCategoryWeak 1.8-2 SetDefaultCaching 1.8-3 SetDefaultCachingCrisp 1.8-3 SetDefaultCachingWeak 1.8-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 SumWithKeys 9.2-42 Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 TargetOperation, for IsDerivedMethod 8.2-8 TerminalObject, for IsCapCategory 6.4-1 TerminalObjectFunctorial, for IsCapCategory 6.4-5 TerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategoryObject, IsCapCategoryObject 6.4-6 TransitivelyNeededOtherPackages 9.2-32 Triple 9.2-38 TwoCellFilter, for IsCapCategory 1.3-5 UnderlyingCell, for IsWrapperCapCategoryCell 12.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-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 WasCreatedAsWrapperCapCategory, for IsCapCategory 12.1-1 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