GAP (CAP) - Index

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Ind
[Top of Book] [Contents] [Previous Chapter]

[MathJax off]

### Index

`\*`, for IsRingElement, IsCapCategoryMorphism 3.8-6
`\/`, for IsCapCategoryCell, IsWrapperCapCategory 12.3-4
`ActivateDerivationInfo` 8.1-2
`Add`, for IsCapCategory, IsCapCategoryMorphism 3.6-1
for IsCapCategory, IsCapCategoryObject 2.6-1
for IsStringMinHeap, IsString, IsInt 8.5-3
`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
for IsDerivedMethodGraph, IsFunction, IsDenseList 8.3-6
for IsDerivedMethodGraph, IsFunction, IsDenseList, IsObject 8.3-5
for IsDerivedMethodGraph, IsFunction, IsFunction 8.3-7
`AddDerivationPair`, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList 8.3-9
for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList, IsDenseList 8.3-8
for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsFunction, IsFunction 8.3-10
for IsDerivedMethodGraph, IsFunction, IsFunction, IsFunction, IsFunction 8.3-11
`AddDerivationPairToCAP` 8.3-13
`AddDerivationToCAP` 8.3-12
`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-9
`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-14
`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
for IsWrapperCapCategoryObject, IsCapCategoryMorphism, IsWrapperCapCategoryObject 12.3-2
`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-18
`BrowseCachingStatistic` 9.2-20
`BrowseTimingStatistics` 1.10-1
`CachingStatistic` 9.2-19
`CanCompute`, for IsCapCategory, IsFunction 1.5-1
for IsCapCategory, IsString 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
`CAPAddPrepareFunction` 7.6-2
`CapCat` 5.1-1
`CapCategory`, for IsCapCategoryMorphism 3.1-1
for IsCapCategoryObject 2.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
for IsString, IsCapCategory, IsCapCategoryAsCatObject 5.4-1
for IsString, IsCapCategoryAsCatObject, IsCapCategory 5.4-1
for IsString, IsCapCategoryAsCatObject, IsCapCategoryAsCatObject 5.4-1
for IsString, IsList, IsCapCategory 5.4-2
for IsString, IsList, IsCapCategoryAsCatObject 5.4-2
`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
for IsDerivedMethod 8.2-6
`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-20
`CoefficientsOfMorphismWithGivenBasisOfExternalHom`, for IsCapCategoryMorphism, IsList 3.16-19
`Coequalizer` 6.10-1
`CoequalizerFunctorial`, for IsList, IsCapCategoryMorphism, IsList 6.10-9
`CoequalizerFunctorialWithGivenCoequalizers`, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10
`CoequalizerOp`, for 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
for IsList 6.2-8
`CokernelObjectFunctorialWithGivenCokernelObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-11
for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.2-10
`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-8
`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
for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.7-3
for IsList 6.7-1
`CoproductFunctorial`, for IsList, IsList, IsList 6.7-8
`CoproductFunctorialWithGivenCoproducts`, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.7-9
`CreateCapCategory` 1.2-1
for IsString 1.2-2
`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
`DerivationFunctionsWithExtraFilters`, 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
`DerivationResultWeight`, for IsDerivedMethod, IsDenseList 8.2-13
`DerivationsOfOperation`, for IsDerivedMethodGraph, IsString 8.3-17
`DerivationsUsingOperation`, for IsDerivedMethodGraph, IsString 8.3-16
`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
`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 IsList 6.9-3
`EmbeddingOfEqualizerWithGivenEqualizer`, for 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 IsList 6.9-2
`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
`FunctionCalledBeforeInstallation`, for IsDerivedMethod 8.2-14
`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-37
`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
`HomomorphismStructureOnMorphismsWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-3
`HomomorphismStructureOnObjects`, for IsCapCategoryObject, IsCapCategoryObject 3.16-1
`HomStructure`, for IsCapCategory 3.16-17
for IsCapCategoryMorphism 3.16-15
for IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-11
for IsCapCategoryMorphism, IsCapCategoryObject 3.16-12
for IsCapCategoryObject, IsCapCategoryMorphism 3.16-13
for IsCapCategoryObject, IsCapCategoryObject 3.16-14
for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-16
`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
for IsCapCategoryCell 6.5-2
`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-12
`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
`InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6
`InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7
`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
`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
for IsList 6.1-8
`KernelObjectFunctorialWithGivenKernelObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11
for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-10
`LaTeXOutput`, for IsCapCategory 1.13-2
for IsCapCategoryCell 1.13-1
`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
`MakeDerivation`, for IsString, IsFunction, IsDenseList,IsPosInt, IsDenseList, 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
for IsList, IsInt, IsInt 6.6-18
for IsList, IsList, IsList 6.6-15
`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 IsList 6.9-5
`MorphismFromEqualizerToSinkWithGivenEqualizer`, for 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 IsList 6.10-5
`MorphismFromSourceToCoequalizerWithGivenCoequalizer`, for 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
`MorphismType`, for IsCapCategory 1.3-7
`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-34
`ObjectCache`, for IsCapFunctor 9.1-1
`ObjectConstructor`, for IsCapCategory, IsObject 2.7-1
`ObjectDatum`, for IsCapCategoryObject 2.7-2
`ObjectFilter`, for IsCapCategory 1.3-3
`ObjectifyMorphismWithSourceAndRangeForCAPWithAttributes` 3.6-4
`ObjectifyObjectForCAPWithAttributes` 2.6-4
`ObjectType`, for IsCapCategory 1.3-6
`Operations`, for IsDerivedMethodGraph 8.3-15
`OperationWeightUsingDerivation`, for IsOperationWeightList, IsDerivedMethod 8.4-6
`PackageOfCAPOperation` 9.2-32
`Pair` 9.2-35
`PostCompose`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5
for IsList 3.10-6
`PostComposeList`, for IsList 3.10-7
`PreCompose`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2
for IsList 3.10-3
`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
`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 IsList 6.10-3
`ProjectionOntoCoequalizerWithGivenCoequalizer`, for 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
for IsList 6.12-7
`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
for IsCapCategory, IsList 3.4-9
`RandomMorphismByInteger`, for IsCapCategory, IsInt 3.4-7
`RandomMorphismByList`, for IsCapCategory, IsList 3.4-8
`RandomMorphismWithFixedRange`, for IsCapCategoryObject, IsInt 3.4-9
for IsCapCategoryObject, IsList 3.4-9
`RandomMorphismWithFixedRangeByInteger`, for IsCapCategoryObject, IsInt 3.4-3
`RandomMorphismWithFixedRangeByList`, for IsCapCategoryObject, IsList 3.4-4
`RandomMorphismWithFixedSource`, for IsCapCategoryObject, IsInt 3.4-9
for IsCapCategoryObject, IsList 3.4-9
`RandomMorphismWithFixedSourceAndRange`, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-9
for IsCapCategoryObject, IsCapCategoryObject, IsList 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
for IsCapCategory, IsList 2.4-4
`RandomObjectByInteger`, for IsCapCategory, IsInt 2.4-1
`RandomObjectByList`, for IsCapCategory, IsList 2.4-2
`Range`, for IsCapCategoryMorphism 3.1-3
for IsCapCategoryTwoCell 4.1-2
`RangeOfFunctor`, for IsCapFunctor 5.4-4
`Reevaluate`, for IsOperationWeightList 8.4-9
`ResetTimingStatistics` 1.10-1
`SafePosition`, for IsList, IsObject 9.2-33
`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
for IsCapCategoryObject 2.11-1
`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
for IsCapCategoryTwoCell 4.1-1
`SourceOfFunctor`, for IsCapFunctor 5.4-3
`StringMinHeap` 8.5-2
`SubtractionForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3
`Swap`, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9
`TargetOperation`, for IsDerivedMethod 8.2-8
`TerminalObject`, for IsCapCategory 6.4-1
for IsCapCategoryCell 6.4-2
`TerminalObjectFunctorial`, for IsCapCategory 6.4-5
`TerminalObjectFunctorialWithGivenTerminalObjects`, for IsCapCategoryObject, IsCapCategoryObject 6.4-6
`TransitivelyNeededOtherPackages` 9.2-31
`Triple` 9.2-36
`TwoCellFilter`, for IsCapCategory 1.3-5
`UnderlyingCell`, for IsWrapperCapCategoryCell 12.2-2
`UniversalMorphismFromCoequalizer`, for IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.10-7
`UniversalMorphismFromCoequalizerWithGivenCoequalizer`, for 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 IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7
`UniversalMorphismIntoEqualizerWithGivenEqualizer`, for 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
`UsedOperationMultiples`, for IsDerivedMethod 8.2-10
`UsedOperations`, for IsDerivedMethod 8.2-9
`UsedOperationsWithMultiples`, for IsDerivedMethod 8.2-11
`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
for IsCapCategoryCell 6.3-2
`ZeroObjectFunctorial`, for IsCapCategory 6.3-13
`ZeroObjectFunctorialWithGivenZeroObjects`, for IsCapCategoryObject, IsCapCategoryObject 6.3-14

[Top of Book] [Contents] [Previous Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Ind

generated by GAPDoc2HTML