GAP (CAP) - Index

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

[MathJax on]

### Index

`*`, for IsRingElement, IsCapCategoryMorphism 3.8-6
`/`, for IsCapCategoryCell, IsWrapperCapCategory 12.3-4
for IsObject, IsCapCategory 2.7-2
`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.6-1
`AddAdditiveGenerators`, for IsCapCategory, IsFunction 7.6-2
`AddAdditiveInverseForMorphisms`, for IsCapCategory, IsFunction 7.6-3
`AddAstrictionToCoimage`, for IsCapCategory, IsFunction 7.6-4
`AddAstrictionToCoimageWithGivenCoimageObject`, for IsCapCategory, IsFunction 7.6-5
`AddBasisOfExternalHom`, for IsCapCategory, IsFunction 7.6-6
`AddCanonicalIdentificationFromCoimageToImageObject`, for IsCapCategory, IsFunction 7.6-7
`AddCanonicalIdentificationFromImageObjectToCoimage`, for IsCapCategory, IsFunction 7.6-8
`AddCategoricalProperty` 1.2-1
`AddCoastrictionToImage`, for IsCapCategory, IsFunction 7.6-9
`AddCoastrictionToImageWithGivenImageObject`, for IsCapCategory, IsFunction 7.6-10
`AddCoefficientsOfMorphism`, for IsCapCategory, IsFunction 7.6-11
`AddCoequalizer`, for IsCapCategory, IsFunction 7.6-12
`AddCoequalizerFunctorial`, for IsCapCategory, IsFunction 7.6-13
`AddCoequalizerFunctorialWithGivenCoequalizers`, for IsCapCategory, IsFunction 7.6-14
`AddCoimageObject`, for IsCapCategory, IsFunction 7.6-15
`AddCoimageObjectFunctorial`, for IsCapCategory, IsFunction 7.6-16
`AddCoimageObjectFunctorialWithGivenCoimageObjects`, for IsCapCategory, IsFunction 7.6-17
`AddCoimageProjection`, for IsCapCategory, IsFunction 7.6-18
`AddCoimageProjectionWithGivenCoimageObject`, for IsCapCategory, IsFunction 7.6-19
`AddCokernelColift`, for IsCapCategory, IsFunction 7.6-20
`AddCokernelColiftWithGivenCokernelObject`, for IsCapCategory, IsFunction 7.6-21
`AddCokernelObject`, for IsCapCategory, IsFunction 7.6-22
`AddCokernelObjectFunctorial`, for IsCapCategory, IsFunction 7.6-23
`AddCokernelObjectFunctorialWithGivenCokernelObjects`, for IsCapCategory, IsFunction 7.6-24
`AddCokernelProjection`, for IsCapCategory, IsFunction 7.6-25
`AddCokernelProjectionWithGivenCokernelObject`, for IsCapCategory, IsFunction 7.6-26
`AddColift`, for IsCapCategory, IsFunction 7.6-27
`AddColiftAlongEpimorphism`, for IsCapCategory, IsFunction 7.6-28
`AddColiftOrFail`, for IsCapCategory, IsFunction 7.6-29
`AddComponentOfMorphismFromDirectSum`, for IsCapCategory, IsFunction 7.6-30
`AddComponentOfMorphismIntoDirectSum`, for IsCapCategory, IsFunction 7.6-31
`AddCoproduct`, for IsCapCategory, IsFunction 7.6-32
`AddCoproductFunctorial`, for IsCapCategory, IsFunction 7.6-33
`AddCoproductFunctorialWithGivenCoproducts`, for IsCapCategory, IsFunction 7.6-34
`AddDerivation`, for IsDerivedMethodGraph, IsDerivedMethod 8.3-4
for IsDerivedMethodGraph, IsFunction, IsDenseList 8.3-6
for IsDerivedMethodGraph, IsFunction, IsDenseList, IsObject 8.3-5
for IsDerivedMethodGraph, IsFunction, IsFunction 8.3-7
`AddDerivationToCAP` 8.3-8
`AddDirectProduct`, for IsCapCategory, IsFunction 7.6-35
`AddDirectProductFunctorial`, for IsCapCategory, IsFunction 7.6-36
`AddDirectProductFunctorialWithGivenDirectProducts`, for IsCapCategory, IsFunction 7.6-37
`AddDirectSum`, for IsCapCategory, IsFunction 7.6-38
`AddDirectSumCodiagonalDifference`, for IsCapCategory, IsFunction 7.6-39
`AddDirectSumDiagonalDifference`, for IsCapCategory, IsFunction 7.6-40
`AddDirectSumFunctorial`, for IsCapCategory, IsFunction 7.6-41
`AddDirectSumFunctorialWithGivenDirectSums`, for IsCapCategory, IsFunction 7.6-42
`AddDirectSumProjectionInPushout`, for IsCapCategory, IsFunction 7.6-43
`AddDistinguishedObjectOfHomomorphismStructure`, for IsCapCategory, IsFunction 7.6-44
`AddEmbeddingOfEqualizer`, for IsCapCategory, IsFunction 7.6-45
`AddEmbeddingOfEqualizerWithGivenEqualizer`, for IsCapCategory, IsFunction 7.6-46
`AddEpimorphismFromProjectiveCoverObject`, for IsCapCategory, IsFunction 7.6-47
`AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject`, for IsCapCategory, IsFunction 7.6-48
`AddEpimorphismFromSomeProjectiveObject`, for IsCapCategory, IsFunction 7.6-49
`AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject`, for IsCapCategory, IsFunction 7.6-50
`AddEqualizer`, for IsCapCategory, IsFunction 7.6-51
`AddEqualizerFunctorial`, for IsCapCategory, IsFunction 7.6-52
`AddEqualizerFunctorialWithGivenEqualizers`, for IsCapCategory, IsFunction 7.6-53
`AddFiberProduct`, for IsCapCategory, IsFunction 7.6-54
`AddFiberProductEmbeddingInDirectSum`, for IsCapCategory, IsFunction 7.6-55
`AddFiberProductFunctorial`, for IsCapCategory, IsFunction 7.6-56
`AddFiberProductFunctorialWithGivenFiberProducts`, for IsCapCategory, IsFunction 7.6-57
`AddHomologyObject`, for IsCapCategory, IsFunction 7.6-58
`AddHomologyObjectFunctorialWithGivenHomologyObjects`, for IsCapCategory, IsFunction 7.6-59
`AddHomomorphismStructureOnMorphisms`, for IsCapCategory, IsFunction 7.6-60
`AddHomomorphismStructureOnMorphismsWithGivenObjects`, for IsCapCategory, IsFunction 7.6-61
`AddHomomorphismStructureOnObjects`, for IsCapCategory, IsFunction 7.6-62
`AddHorizontalPostCompose`, for IsCapCategory, IsFunction 7.6-63
`AddHorizontalPreCompose`, for IsCapCategory, IsFunction 7.6-64
`AddIdentityMorphism`, for IsCapCategory, IsFunction 7.6-65
`AddIdentityTwoCell`, for IsCapCategory, IsFunction 7.6-66
`AddImageEmbedding`, for IsCapCategory, IsFunction 7.6-67
`AddImageEmbeddingWithGivenImageObject`, for IsCapCategory, IsFunction 7.6-68
`AddImageObject`, for IsCapCategory, IsFunction 7.6-69
`AddImageObjectFunctorial`, for IsCapCategory, IsFunction 7.6-70
`AddImageObjectFunctorialWithGivenImageObjects`, for IsCapCategory, IsFunction 7.6-71
`AddIndecomposableInjectiveObjects`, for IsCapCategory, IsFunction 7.6-72
`AddIndecomposableProjectiveObjects`, for IsCapCategory, IsFunction 7.6-73
`AddInitialObject`, for IsCapCategory, IsFunction 7.6-74
`AddInitialObjectFunctorial`, for IsCapCategory, IsFunction 7.6-75
`AddInitialObjectFunctorialWithGivenInitialObjects`, for IsCapCategory, IsFunction 7.6-76
`AddInjectionOfCofactorOfCoproduct`, for IsCapCategory, IsFunction 7.6-77
`AddInjectionOfCofactorOfCoproductWithGivenCoproduct`, for IsCapCategory, IsFunction 7.6-78
`AddInjectionOfCofactorOfDirectSum`, for IsCapCategory, IsFunction 7.6-79
`AddInjectionOfCofactorOfDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 7.6-80
`AddInjectionOfCofactorOfPushout`, for IsCapCategory, IsFunction 7.6-81
`AddInjectionOfCofactorOfPushoutWithGivenPushout`, for IsCapCategory, IsFunction 7.6-82
`AddInjectiveColift`, for IsCapCategory, IsFunction 7.6-83
`AddInjectiveDimension`, for IsCapCategory, IsFunction 7.6-84
`AddInjectiveEnvelopeObject`, for IsCapCategory, IsFunction 7.6-85
`AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure`, for IsCapCategory, IsFunction 7.6-86
`AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects`, for IsCapCategory, IsFunction 7.6-87
`AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism`, for IsCapCategory, IsFunction 7.6-88
`AddInverseForMorphisms`, for IsCapCategory, IsFunction 7.6-89
`AddInverseMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategory, IsFunction 7.6-90
`AddIsAutomorphism`, for IsCapCategory, IsFunction 7.6-91
`AddIsBijectiveObject`, for IsCapCategory, IsFunction 7.6-92
`AddIsCodominating`, for IsCapCategory, IsFunction 7.6-93
`AddIsColiftable`, for IsCapCategory, IsFunction 7.6-94
`AddIsColiftableAlongEpimorphism`, for IsCapCategory, IsFunction 7.6-95
`AddIsCongruentForMorphisms`, for IsCapCategory, IsFunction 7.6-96
`AddIsDominating`, for IsCapCategory, IsFunction 7.6-97
`AddIsEndomorphism`, for IsCapCategory, IsFunction 7.6-98
`AddIsEpimorphism`, for IsCapCategory, IsFunction 7.6-99
`AddIsEqualAsFactorobjects`, for IsCapCategory, IsFunction 7.6-100
`AddIsEqualAsSubobjects`, for IsCapCategory, IsFunction 7.6-101
`AddIsEqualForCacheForMorphisms`, for IsCapCategory, IsFunction 7.6-102
`AddIsEqualForCacheForObjects`, for IsCapCategory, IsFunction 7.6-103
`AddIsEqualForMorphisms`, for IsCapCategory, IsFunction 7.6-104
`AddIsEqualForMorphismsOnMor`, for IsCapCategory, IsFunction 7.6-105
`AddIsEqualForObjects`, for IsCapCategory, IsFunction 7.6-106
`AddIsEqualToIdentityMorphism`, for IsCapCategory, IsFunction 7.6-107
`AddIsEqualToZeroMorphism`, for IsCapCategory, IsFunction 7.6-108
`AddIsHomSetInhabited`, for IsCapCategory, IsFunction 7.6-109
`AddIsIdempotent`, for IsCapCategory, IsFunction 7.6-110
`AddIsInitial`, for IsCapCategory, IsFunction 7.6-111
`AddIsInjective`, for IsCapCategory, IsFunction 7.6-112
`AddIsIsomorphism`, for IsCapCategory, IsFunction 7.6-113
`AddIsLiftable`, for IsCapCategory, IsFunction 7.6-114
`AddIsLiftableAlongMonomorphism`, for IsCapCategory, IsFunction 7.6-115
`AddIsMonomorphism`, for IsCapCategory, IsFunction 7.6-116
`AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout`, for IsCapCategory, IsFunction 7.6-127
`AddIsomorphismFromCoimageToCokernelOfKernel`, for IsCapCategory, IsFunction 7.6-128
`AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout`, for IsCapCategory, IsFunction 7.6-129
`AddIsomorphismFromCokernelOfKernelToCoimage`, for IsCapCategory, IsFunction 7.6-130
`AddIsomorphismFromCoproductToDirectSum`, for IsCapCategory, IsFunction 7.6-131
`AddIsomorphismFromDirectProductToDirectSum`, for IsCapCategory, IsFunction 7.6-132
`AddIsomorphismFromDirectSumToCoproduct`, for IsCapCategory, IsFunction 7.6-133
`AddIsomorphismFromDirectSumToDirectProduct`, for IsCapCategory, IsFunction 7.6-134
`AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct`, for IsCapCategory, IsFunction 7.6-135
`AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram`, for IsCapCategory, IsFunction 7.6-136
`AddIsomorphismFromFiberProductToKernelOfDiagonalDifference`, for IsCapCategory, IsFunction 7.6-137
`AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject`, for IsCapCategory, IsFunction 7.6-138
`AddIsomorphismFromImageObjectToKernelOfCokernel`, for IsCapCategory, IsFunction 7.6-139
`AddIsomorphismFromInitialObjectToZeroObject`, for IsCapCategory, IsFunction 7.6-140
`AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject`, for IsCapCategory, IsFunction 7.6-141
`AddIsomorphismFromKernelOfCokernelToImageObject`, for IsCapCategory, IsFunction 7.6-142
`AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct`, for IsCapCategory, IsFunction 7.6-143
`AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram`, for IsCapCategory, IsFunction 7.6-144
`AddIsomorphismFromPushoutToCokernelOfDiagonalDifference`, for IsCapCategory, IsFunction 7.6-145
`AddIsomorphismFromTerminalObjectToZeroObject`, for IsCapCategory, IsFunction 7.6-146
`AddIsomorphismFromZeroObjectToInitialObject`, for IsCapCategory, IsFunction 7.6-147
`AddIsomorphismFromZeroObjectToTerminalObject`, for IsCapCategory, IsFunction 7.6-148
`AddIsOne`, for IsCapCategory, IsFunction 7.6-117
`AddIsProjective`, for IsCapCategory, IsFunction 7.6-118
`AddIsSplitEpimorphism`, for IsCapCategory, IsFunction 7.6-119
`AddIsSplitMonomorphism`, for IsCapCategory, IsFunction 7.6-120
`AddIsTerminal`, for IsCapCategory, IsFunction 7.6-121
`AddIsWellDefinedForMorphisms`, for IsCapCategory, IsFunction 7.6-122
`AddIsWellDefinedForObjects`, for IsCapCategory, IsFunction 7.6-123
`AddIsWellDefinedForTwoCells`, for IsCapCategory, IsFunction 7.6-124
`AddIsZeroForMorphisms`, for IsCapCategory, IsFunction 7.6-125
`AddIsZeroForObjects`, for IsCapCategory, IsFunction 7.6-126
`AdditionForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2
`AdditiveGenerators`, for IsCapCategory 1.4-11
`AdditiveInverseForMorphisms`, for IsCapCategoryMorphism 3.8-4
`AddKernelEmbedding`, for IsCapCategory, IsFunction 7.6-149
`AddKernelEmbeddingWithGivenKernelObject`, for IsCapCategory, IsFunction 7.6-150
`AddKernelLift`, for IsCapCategory, IsFunction 7.6-151
`AddKernelLiftWithGivenKernelObject`, for IsCapCategory, IsFunction 7.6-152
`AddKernelObject`, for IsCapCategory, IsFunction 7.6-153
`AddKernelObjectFunctorial`, for IsCapCategory, IsFunction 7.6-154
`AddKernelObjectFunctorialWithGivenKernelObjects`, for IsCapCategory, IsFunction 7.6-155
`AddLift`, for IsCapCategory, IsFunction 7.6-156
`AddLiftAlongMonomorphism`, for IsCapCategory, IsFunction 7.6-157
`AddLiftOrFail`, for IsCapCategory, IsFunction 7.6-158
`AddMereExistenceOfSolutionOfLinearSystemInAbCategory`, for IsCapCategory, IsFunction 7.6-159
`AddMonomorphismIntoInjectiveEnvelopeObject`, for IsCapCategory, IsFunction 7.6-160
`AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject`, for IsCapCategory, IsFunction 7.6-161
`AddMonomorphismIntoSomeInjectiveObject`, for IsCapCategory, IsFunction 7.6-162
`AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject`, for IsCapCategory, IsFunction 7.6-163
`AddMorphism`, for IsCapCategory, IsAttributeStoringRep 3.6-2
`AddMorphismBetweenDirectSums`, for IsCapCategory, IsFunction 7.6-164
`AddMorphismBetweenDirectSumsWithGivenDirectSums`, for IsCapCategory, IsFunction 7.6-165
`AddMorphismConstructor`, for IsCapCategory, IsFunction 7.6-166
`AddMorphismDatum`, for IsCapCategory, IsFunction 7.6-167
`AddMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategory, IsFunction 7.6-168
`AddMorphismFromEqualizerToSink`, for IsCapCategory, IsFunction 7.6-169
`AddMorphismFromEqualizerToSinkWithGivenEqualizer`, for IsCapCategory, IsFunction 7.6-170
`AddMorphismFromFiberProductToSink`, for IsCapCategory, IsFunction 7.6-171
`AddMorphismFromFiberProductToSinkWithGivenFiberProduct`, for IsCapCategory, IsFunction 7.6-172
`AddMorphismFromKernelObjectToSink`, for IsCapCategory, IsFunction 7.6-173
`AddMorphismFromKernelObjectToSinkWithGivenKernelObject`, for IsCapCategory, IsFunction 7.6-174
`AddMorphismFromSourceToCoequalizer`, for IsCapCategory, IsFunction 7.6-175
`AddMorphismFromSourceToCoequalizerWithGivenCoequalizer`, for IsCapCategory, IsFunction 7.6-176
`AddMorphismFromSourceToCokernelObject`, for IsCapCategory, IsFunction 7.6-177
`AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject`, for IsCapCategory, IsFunction 7.6-178
`AddMorphismFromSourceToPushout`, for IsCapCategory, IsFunction 7.6-179
`AddMorphismFromSourceToPushoutWithGivenPushout`, for IsCapCategory, IsFunction 7.6-180
`AddMorphismFunction`, for IsCapFunctor, IsFunction 5.4-7
`AddMorphismRepresentation`, for IsCapCategory, IsObject 3.6-3
`AddMultiplyWithElementOfCommutativeRingForMorphisms`, for IsCapCategory, IsFunction 7.6-181
`AddNaturalTransformationFunction`, for IsCapNaturalTransformation, IsFunction 5.5-3
`AddObject`, for IsCapCategory, IsAttributeStoringRep 2.6-2
`AddObjectConstructor`, for IsCapCategory, IsFunction 7.6-182
`AddObjectDatum`, for IsCapCategory, IsFunction 7.6-183
`AddObjectFunction`, for IsCapFunctor, IsFunction 5.4-5
`AddObjectRepresentation`, for IsCapCategory, IsObject 2.6-3
`AddOperationsToDerivationGraph`, for IsDerivedMethodGraph, IsDenseList 8.3-3
`AddPostCompose`, for IsCapCategory, IsFunction 7.6-184
`AddPostComposeList`, for IsCapCategory, IsFunction 7.6-185
`AddPostInverseForMorphisms`, for IsCapCategory, IsFunction 7.6-186
`AddPreCompose`, for IsCapCategory, IsFunction 7.6-187
`AddPreComposeList`, for IsCapCategory, IsFunction 7.6-188
`AddPreInverseForMorphisms`, for IsCapCategory, IsFunction 7.6-189
`AddPrimitiveOperation`, for IsOperationWeightList, IsString, IsInt 8.4-11
`AddProjectionInFactorOfDirectProduct`, for IsCapCategory, IsFunction 7.6-190
`AddProjectionInFactorOfDirectProductWithGivenDirectProduct`, for IsCapCategory, IsFunction 7.6-191
`AddProjectionInFactorOfDirectSum`, for IsCapCategory, IsFunction 7.6-192
`AddProjectionInFactorOfDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 7.6-193
`AddProjectionInFactorOfFiberProduct`, for IsCapCategory, IsFunction 7.6-194
`AddProjectionInFactorOfFiberProductWithGivenFiberProduct`, for IsCapCategory, IsFunction 7.6-195
`AddProjectionOntoCoequalizer`, for IsCapCategory, IsFunction 7.6-196
`AddProjectionOntoCoequalizerWithGivenCoequalizer`, for IsCapCategory, IsFunction 7.6-197
`AddProjectiveCoverObject`, for IsCapCategory, IsFunction 7.6-198
`AddProjectiveDimension`, for IsCapCategory, IsFunction 7.6-199
`AddProjectiveLift`, for IsCapCategory, IsFunction 7.6-200
`AddPushout`, for IsCapCategory, IsFunction 7.6-201
`AddPushoutFunctorial`, for IsCapCategory, IsFunction 7.6-202
`AddPushoutFunctorialWithGivenPushouts`, for IsCapCategory, IsFunction 7.6-203
`AddRandomMorphismByInteger`, for IsCapCategory, IsFunction 7.6-204
`AddRandomMorphismByList`, for IsCapCategory, IsFunction 7.6-205
`AddRandomMorphismWithFixedRangeByInteger`, for IsCapCategory, IsFunction 7.6-206
`AddRandomMorphismWithFixedRangeByList`, for IsCapCategory, IsFunction 7.6-207
`AddRandomMorphismWithFixedSourceAndRangeByInteger`, for IsCapCategory, IsFunction 7.6-208
`AddRandomMorphismWithFixedSourceAndRangeByList`, for IsCapCategory, IsFunction 7.6-209
`AddRandomMorphismWithFixedSourceByInteger`, for IsCapCategory, IsFunction 7.6-210
`AddRandomMorphismWithFixedSourceByList`, for IsCapCategory, IsFunction 7.6-211
`AddRandomObjectByInteger`, for IsCapCategory, IsFunction 7.6-212
`AddRandomObjectByList`, for IsCapCategory, IsFunction 7.6-213
`AddSimplifyEndo`, for IsCapCategory, IsFunction 7.6-214
`AddSimplifyEndo_IsoFromInputObject`, for IsCapCategory, IsFunction 7.6-215
`AddSimplifyEndo_IsoToInputObject`, for IsCapCategory, IsFunction 7.6-216
`AddSimplifyMorphism`, for IsCapCategory, IsFunction 7.6-217
`AddSimplifyObject`, for IsCapCategory, IsFunction 7.6-218
`AddSimplifyObject_IsoFromInputObject`, for IsCapCategory, IsFunction 7.6-219
`AddSimplifyObject_IsoToInputObject`, for IsCapCategory, IsFunction 7.6-220
`AddSimplifyRange`, for IsCapCategory, IsFunction 7.6-221
`AddSimplifyRange_IsoFromInputObject`, for IsCapCategory, IsFunction 7.6-222
`AddSimplifyRange_IsoToInputObject`, for IsCapCategory, IsFunction 7.6-223
`AddSimplifySource`, for IsCapCategory, IsFunction 7.6-224
`AddSimplifySource_IsoFromInputObject`, for IsCapCategory, IsFunction 7.6-230
`AddSimplifySource_IsoToInputObject`, for IsCapCategory, IsFunction 7.6-231
`AddSimplifySourceAndRange`, for IsCapCategory, IsFunction 7.6-225
`AddSimplifySourceAndRange_IsoFromInputRange`, for IsCapCategory, IsFunction 7.6-226
`AddSimplifySourceAndRange_IsoFromInputSource`, for IsCapCategory, IsFunction 7.6-227
`AddSimplifySourceAndRange_IsoToInputRange`, for IsCapCategory, IsFunction 7.6-228
`AddSimplifySourceAndRange_IsoToInputSource`, for IsCapCategory, IsFunction 7.6-229
`AddSolveLinearSystemInAbCategory`, for IsCapCategory, IsFunction 7.6-232
`AddSolveLinearSystemInAbCategoryOrFail`, for IsCapCategory, IsFunction 7.6-233
`AddSomeInjectiveObject`, for IsCapCategory, IsFunction 7.6-234
`AddSomeProjectiveObject`, for IsCapCategory, IsFunction 7.6-235
`AddSomeReductionBySplitEpiSummand`, for IsCapCategory, IsFunction 7.6-236
`AddSomeReductionBySplitEpiSummand_MorphismFromInputRange`, for IsCapCategory, IsFunction 7.6-237
`AddSomeReductionBySplitEpiSummand_MorphismToInputRange`, for IsCapCategory, IsFunction 7.6-238
`AddSubtractionForMorphisms`, for IsCapCategory, IsFunction 7.6-239
`AddSumOfMorphisms`, for IsCapCategory, IsFunction 7.6-240
`AddTerminalObject`, for IsCapCategory, IsFunction 7.6-241
`AddTerminalObjectFunctorial`, for IsCapCategory, IsFunction 7.6-242
`AddTerminalObjectFunctorialWithGivenTerminalObjects`, for IsCapCategory, IsFunction 7.6-243
`AddUniversalMorphismFromCoequalizer`, for IsCapCategory, IsFunction 7.6-244
`AddUniversalMorphismFromCoequalizerWithGivenCoequalizer`, for IsCapCategory, IsFunction 7.6-245
`AddUniversalMorphismFromCoproduct`, for IsCapCategory, IsFunction 7.6-246
`AddUniversalMorphismFromCoproductWithGivenCoproduct`, for IsCapCategory, IsFunction 7.6-247
`AddUniversalMorphismFromDirectSum`, for IsCapCategory, IsFunction 7.6-248
`AddUniversalMorphismFromDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 7.6-249
`AddUniversalMorphismFromImage`, for IsCapCategory, IsFunction 7.6-250
`AddUniversalMorphismFromImageWithGivenImageObject`, for IsCapCategory, IsFunction 7.6-251
`AddUniversalMorphismFromInitialObject`, for IsCapCategory, IsFunction 7.6-252
`AddUniversalMorphismFromInitialObjectWithGivenInitialObject`, for IsCapCategory, IsFunction 7.6-253
`AddUniversalMorphismFromPushout`, for IsCapCategory, IsFunction 7.6-254
`AddUniversalMorphismFromPushoutWithGivenPushout`, for IsCapCategory, IsFunction 7.6-255
`AddUniversalMorphismFromZeroObject`, for IsCapCategory, IsFunction 7.6-256
`AddUniversalMorphismFromZeroObjectWithGivenZeroObject`, for IsCapCategory, IsFunction 7.6-257
`AddUniversalMorphismIntoCoimage`, for IsCapCategory, IsFunction 7.6-258
`AddUniversalMorphismIntoCoimageWithGivenCoimageObject`, for IsCapCategory, IsFunction 7.6-259
`AddUniversalMorphismIntoDirectProduct`, for IsCapCategory, IsFunction 7.6-260
`AddUniversalMorphismIntoDirectProductWithGivenDirectProduct`, for IsCapCategory, IsFunction 7.6-261
`AddUniversalMorphismIntoDirectSum`, for IsCapCategory, IsFunction 7.6-262
`AddUniversalMorphismIntoDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 7.6-263
`AddUniversalMorphismIntoEqualizer`, for IsCapCategory, IsFunction 7.6-264
`AddUniversalMorphismIntoEqualizerWithGivenEqualizer`, for IsCapCategory, IsFunction 7.6-265
`AddUniversalMorphismIntoFiberProduct`, for IsCapCategory, IsFunction 7.6-266
`AddUniversalMorphismIntoFiberProductWithGivenFiberProduct`, for IsCapCategory, IsFunction 7.6-267
`AddUniversalMorphismIntoTerminalObject`, for IsCapCategory, IsFunction 7.6-268
`AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject`, for IsCapCategory, IsFunction 7.6-269
`AddUniversalMorphismIntoZeroObject`, for IsCapCategory, IsFunction 7.6-270
`AddUniversalMorphismIntoZeroObjectWithGivenZeroObject`, for IsCapCategory, IsFunction 7.6-271
`AddVerticalPostCompose`, for IsCapCategory, IsFunction 7.6-272
`AddVerticalPreCompose`, for IsCapCategory, IsFunction 7.6-273
`AddWithGivenDerivationPairToCAP` 8.3-9
`AddZeroMorphism`, for IsCapCategory, IsFunction 7.6-274
`AddZeroObject`, for IsCapCategory, IsFunction 7.6-275
`AddZeroObjectFunctorial`, for IsCapCategory, IsFunction 7.6-276
`AddZeroObjectFunctorialWithGivenZeroObjects`, for IsCapCategory, IsFunction 7.6-277
`ApplyFunctor` 5.4-9
`ApplyNaturalTransformation` 5.5-4
`AsCapCategory`, for IsCapCategoryAsCatObject 5.3-2
`AsCatObject`, for IsCapCategory 5.3-1
`AsMorphismInWrapperCategory`, for IsWrapperCapCategory, IsCapCategoryMorphism 12.3-3
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-20
`BrowseCachingStatistic` 9.2-17
`BrowseTimingStatistics` 1.11-1
`CachingStatistic` 9.2-16
`CanCompute`, for IsCapCategory, IsFunction 1.6-1
for IsCapCategory, IsString 1.6-1
`CanonicalIdentificationFromCoimageToImageObject`, for IsCapCategoryMorphism 6.14-15
`CanonicalIdentificationFromImageObjectToCoimage`, for IsCapCategoryMorphism 6.14-14
`CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY` 9.2-8
`CAP_INTERNAL_ASSERT_IS_LIST_OF_MORPHISMS_OF_CATEGORY` 9.2-13
`CAP_INTERNAL_ASSERT_IS_LIST_OF_OBJECTS_OF_CATEGORY` 9.2-12
`CAP_INTERNAL_ASSERT_IS_LIST_OF_TWO_CELLS_OF_CATEGORY` 9.2-14
`CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY` 9.2-10
`CAP_INTERNAL_ASSERT_IS_NON_NEGATIVE_INTEGER_OR_INFINITY` 9.2-15
`CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY` 9.2-9
`CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY` 9.2-11
`CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY` 15.2-3
`CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION` 9.2-6
`CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS` 10.3-1
`CAP_INTERNAL_MERGE_FILTER_LISTS` 9.2-4
`CAP_INTERNAL_MERGE_PRECONDITIONS_LIST` 9.2-7
`CAP_INTERNAL_REPLACE_STRING_WITH_FILTER` 9.2-2
`CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS` 9.2-3
`CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT` 9.2-5
`CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD` 10.3-2
`CAP_JIT_INCOMPLETE_LOGIC` 9.2-41
`CAPAddPrepareFunction` 7.5-2
`CapCat` 5.1-1
`CapCategory`, for IsCapCategoryMorphism 3.1-1
for IsCapCategoryObject 2.1-1
`CapCategorySwitchLogicOff` 1.5-8
`CapCategorySwitchLogicOn` 1.5-7
`CapCategorySwitchLogicPropagationForMorphismsOff` 1.5-4
`CapCategorySwitchLogicPropagationForMorphismsOn` 1.5-3
`CapCategorySwitchLogicPropagationForObjectsOff` 1.5-2
`CapCategorySwitchLogicPropagationForObjectsOn` 1.5-1
`CapCategorySwitchLogicPropagationOff` 1.5-6
`CapCategorySwitchLogicPropagationOn` 1.5-5
`CapFixpoint` 9.2-27
`CapFunctor`, for IsString, IsCapCategory, IsCapCategory 5.4-1
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-23
`CapJitAddTypeSignature` 9.2-24
`CapJitAddTypeSignatureDeferred` 9.2-25
`CapJitDataTypeOfCategory` 9.2-26
`CapJitDataTypeOfMorphismOfCategory` 9.2-26
`CapJitDataTypeOfObjectOfCategory` 9.2-26
`CAPOperationPrepareFunction` 7.5-1
`CategoryConstructor`, for IsRecord 11.2-1
`CategoryFilter`, for IsCapCategory 1.4-2
for IsDerivedMethod 8.2-6
`CategoryOfOperationWeightList`, for IsOperationWeightList 8.4-4
`CheckConstructivenessOfCategory`, for IsCapCategory, IsString 1.6-2
`CoastrictionToImage`, for IsCapCategoryMorphism 6.13-6
`CoastrictionToImageWithGivenImageObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7
`CoefficientsOfMorphism`, for IsCapCategoryMorphism 3.16-22
`CoefficientsOfMorphismWithGivenBasisOfExternalHom`, for IsCapCategoryMorphism, IsList 3.16-21
`Coequalizer` 6.10-1
`CoequalizerFunctorial`, for IsList, IsCapCategoryMorphism, IsList 6.10-9
`CoequalizerFunctorialWithGivenCoequalizers`, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10
`CoequalizerOp`, for IsCapCategoryObject, IsList 6.10-2
`CoimageObject`, for IsCapCategoryMorphism 6.14-7
`CoimageObjectFunctorial`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.14-16
`CoimageObjectFunctorialWithGivenCoimageObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.14-17
`CoimageProjection`, for IsCapCategoryMorphism 6.14-8
`CoimageProjectionWithGivenCoimageObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-9
`CokernelColift`, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.2-6
`CokernelColiftWithGivenCokernelObject`, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.2-7
`CokernelObject`, for IsCapCategoryMorphism 6.2-1
`CokernelObjectFunctorial`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-9
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.4-9
`ComponentOfMorphismFromDirectSum`, for IsCapCategoryMorphism, IsList, IsInt 6.6-20
`ComponentOfMorphismIntoDirectSum`, for IsCapCategoryMorphism, IsList, IsInt 6.6-19
`Contains`, for IsStringMinHeap, IsString 8.5-8
`Coproduct`, for IsCapCategoryObject, IsCapCategoryObject 6.7-2
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.3-1
for IsString 1.3-2
for IsString, IsFunction, IsFunction, IsFunction, IsFunction 1.3-3
`CreateCapCategoryMorphismWithAttributes` 3.6-5
`CreateCapCategoryObjectWithAttributes` 2.6-5
`CreateCapCategoryWithDataTypes` 1.3-4
`CurrentOperationWeight`, for IsOperationWeightList, IsString 8.4-5
`DeactivateCachingOfCategory` 1.9-2
`DeactivateDefaultCaching` 1.9-3
`DeactivateDerivationInfo` 8.1-3
`DeclareFamilyProperty` 9.2-1
`DecreaseKey`, for IsStringMinHeap, IsString, IsInt 8.5-5
`DerivationFunction`, for IsDerivedMethod 8.2-5
`DerivationGraph`, for IsOperationWeightList 8.4-3
`DerivationInfo` 8.1-1
`DerivationName`, for IsDerivedMethod 8.2-3
`DerivationOfOperation`, for IsOperationWeightList, IsString 8.4-7
`DerivationsOfOperation`, for IsDerivedMethodGraph, IsString 8.3-12
`DerivationsUsingOperation`, for IsDerivedMethodGraph, IsString 8.3-11
`DerivationWeight`, for IsDerivedMethod 8.2-4
`DirectProduct` 6.8-1
`DirectProductFunctorial`, for IsList, IsList, IsList 6.8-7
`DirectProductFunctorialWithGivenDirectProducts`, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.8-8
`DirectProductOp`, for IsList 6.8-2
`DirectSum` 6.6-1
`DirectSumCodiagonalDifference`, for IsList 6.12-5
`DirectSumDiagonalDifference`, for IsList 6.11-5
`DirectSumFunctorial`, for IsList, IsList, IsList 6.6-21
`DirectSumFunctorialWithGivenDirectSums`, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-22
`DirectSumOp`, for IsList 6.6-2
`DirectSumProjectionInPushout`, for IsList 6.12-6
`DisableAddForCategoricalOperations` 1.12-1
`DisableInputSanityChecks` 1.10-1
`DisableOutputSanityChecks` 1.10-1
`DisableSanityChecks` 1.10-1
`DisableTimingStatistics` 1.11-1
`DisplayTimingStatistics` 1.11-1
`DistinguishedObjectOfHomomorphismStructure`, for IsCapCategory 3.16-4
`DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding`, for IsCapCategory, IsCapCategory 3.16-18
`Down`, for IsObject 1.8-1
`DownOnlyMorphismData`, for IsCapCategoryMorphism 1.8-2
`DownToBottom`, for IsObject 1.8-3
`DummyCategory`, for IsRecord 13.2-1
`EmbeddingOfEqualizer`, for IsCapCategoryObject, IsList 6.9-3
`EmbeddingOfEqualizerWithGivenEqualizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4
`EnableAddForCategoricalOperations` 1.12-1
`EnableFullInputSanityChecks` 1.10-1
`EnableFullOutputSanityChecks` 1.10-1
`EnableFullSanityChecks` 1.10-1
`EnablePartialInputSanityChecks` 1.10-1
`EnablePartialOutputSanityChecks` 1.10-1
`EnablePartialSanityChecks` 1.10-1
`EnableTimingStatistics` 1.11-1
`EpimorphismFromProjectiveCoverObject`, for IsCapCategoryObject 6.16-2
`EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject`, for IsCapCategoryObject, IsCapCategoryObject 6.16-3
`EpimorphismFromSomeProjectiveObject`, for IsCapCategoryObject 2.9-2
`EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject`, for IsCapCategoryObject, IsCapCategoryObject 2.9-3
`Equalizer` 6.9-1
`EqualizerFunctorial`, for IsList, IsCapCategoryMorphism, IsList 6.9-9
`EqualizerFunctorialWithGivenEqualizers`, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-10
`EqualizerOp`, for IsCapCategoryObject, IsList 6.9-2
`ExtendRangeOfHomomorphismStructureByFullEmbedding`, for IsCapCategory, IsCapCategory, IsFunction, IsFunction, IsFunction, IsFunction 3.16-18
`ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding`, for IsCapCategory 3.16-19
`ExtractMin`, for IsStringMinHeap 8.5-4
`FiberProduct` 6.11-7
`FiberProductEmbeddingInDirectSum`, for IsList 6.11-6
`FiberProductFunctorial`, for IsList, IsList, IsList 6.11-15
`FiberProductFunctorialWithGivenFiberProducts`, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-16
`FiberProductOp`, for IsList 6.11-8
`FilteredWithKeys` 9.2-48
`FirstWithKeys` 9.2-49
`ForAllWithKeys` 9.2-45
`ForAnyWithKeys` 9.2-46
`FunctionCalledBeforeInstallation`, for IsDerivedMethod 8.2-11
`FunctorCanonicalizeZeroMorphisms`, for IsCapCategory 5.4-15
`FunctorCanonicalizeZeroObjects`, for IsCapCategory 5.4-13
`FunctorFromTerminalCategory`, for IsCapCategoryObject 15.3-3
`FunctorMorphismOperation`, for IsCapFunctor 5.4-8
`FunctorObjectOperation`, for IsCapFunctor 5.4-6
`HandlePrecompiledTowers` 9.2-40
`Heapify`, for IsStringMinHeap, IsPosInt 8.5-10
`HeapSize`, for IsStringMinHeap 8.5-7
`HomologyObject`, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-1
`HomologyObjectFunctorial`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-2
`HomologyObjectFunctorialWithGivenHomologyObjects`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.15-3
`HomomorphismStructureOnMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-2
`HomomorphismStructureOnMorphismsExtendedByFullEmbedding`, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism, IsCapCategoryMorphism 3.16-18
`HomomorphismStructureOnMorphismsWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-3
`HomomorphismStructureOnMorphismsWithGivenObjectsExtendedByFullEmbedding`, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18
`HomomorphismStructureOnObjects`, for IsCapCategoryObject, IsCapCategoryObject 3.16-1
`HomomorphismStructureOnObjectsExtendedByFullEmbedding`, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject 3.16-18
`HomStructure`, for IsCapCategory 3.16-17
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
`ImageObjectFunctorial`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.13-10
`ImageObjectFunctorialWithGivenImageObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.13-11
`IndecomposableInjectiveObjects`, for IsCapCategory 1.4-13
`IndecomposableProjectiveObjects`, for IsCapCategory 1.4-12
`InfoCategoryConstructor` 11.1-1
`InitialObject`, for IsCapCategory 6.5-1
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
`InjectiveEnvelopeObject`, for IsCapCategoryObject 6.16-4
`InputSignature`, for IsCapFunctor 5.4-10
`InstallDeprecatedAlias` 9.2-18
`InstallDerivationForCategory`, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10
`InstallDerivationsUsingOperation`, for IsOperationWeightList, IsString 8.4-8
`InstallFunctor`, for IsCapFunctor, IsString 5.4-11
`InstallMethodForCompilerForCAP` 9.2-21
`InstallNaturalTransformation`, for IsCapNaturalTransformation, IsString 5.5-5
`InstallOtherMethodForCompilerForCAP` 9.2-22
`InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure`, for IsCapCategoryMorphism 3.16-5
`InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding`, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism 3.16-18
`InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6
`InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding`, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18
`InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7
`InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding`, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-18
`InverseForMorphisms`, for IsCapCategoryMorphism 3.13-1
`InverseMorphismFromCoimageToImage`, for IsCapCategoryMorphism 6.14-3
`InverseMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4
`IsAbCategory`, for IsCapCategory 1.2-7
`IsAbelianCategory`, for IsCapCategory 1.2-11
`IsAbelianCategoryWithEnoughInjectives`, for IsCapCategory 1.2-13
`IsAbelianCategoryWithEnoughProjectives`, for IsCapCategory 1.2-12
`IsAdditiveCategory`, for IsCapCategory 1.2-9
`IsApplicableToCategory`, for IsDerivedMethod, IsCapCategory 8.2-7
`IsAutomorphism`, for IsCapCategoryMorphism 3.5-4
`IsBijectiveObject`, for IsCapCategoryObject 2.3-1
`IsCapCategory`, for IsAttributeStoringRep 1.1-1
`IsCapCategoryAsCatObject`, for IsCapCategoryObject 5.2-1
`IsCapCategoryCell`, for IsAttributeStoringRep 1.1-2
`IsCapCategoryMorphism`, for IsCapCategoryCell 1.1-4
`IsCapCategoryObject`, for IsCapCategoryCell 1.1-3
`IsCapCategoryTwoCell`, for IsCapCategoryCell 1.1-5
`IsCapFunctor`, for IsCapCategoryMorphism 5.2-2
`IsCapNaturalTransformation`, for IsCapCategoryTwoCell 5.2-3
`IsCapTerminalCategoryWithMultipleObjects`, for IsCapCategory 15.1-4
`IsCapTerminalCategoryWithSingleObject`, for IsCapCategory 15.1-1
`IsCategoryWithDecidableColifts`, for IsCapCategory 1.2-4
`IsCategoryWithDecidableLifts`, for IsCapCategory 1.2-3
`IsCodominating`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-4
`IsColiftable`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-10
`IsColiftableAlongEpimorphism`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-4
`IsCongruentForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1
`IsDerivedMethod`, for IsAttributeStoringRep 8.2-1
`IsDerivedMethodGraph`, for IsAttributeStoringRep 8.3-1
`IsDominating`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3
`IsDummyCategory`, for IsCapCategory 13.1-1
`IsDummyCategoryMorphism`, for IsCapCategoryMorphism 13.1-3
`IsDummyCategoryObject`, for IsCapCategoryObject 13.1-2
`IsEmptyHeap`, for IsStringMinHeap 8.5-6
`IsEndomorphism`, for IsCapCategoryMorphism 3.5-3
`IsEnrichedOverCommutativeRegularSemigroup`, for IsCapCategory 1.2-5
`IsEpimorphism`, for IsCapCategoryMorphism 3.3-2
`IsEqualAsFactorobjects`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-2
`IsEqualAsSubobjects`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-1
`IsEqualForCacheForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.14-1
`IsEqualForCacheForObjects`, for IsCapCategoryObject, IsCapCategoryObject 2.5-1
`IsEqualForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2
`IsEqualForMorphismsOnMor`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3
`IsEqualForObjects`, for IsCapCategoryObject, IsCapCategoryObject 2.2-1
`IsEqualToIdentityMorphism`, for IsCapCategoryMorphism 3.5-1
`IsEqualToZeroMorphism`, for IsCapCategoryMorphism 3.5-2
`IsEquippedWithHomomorphismStructure`, for IsCapCategory 1.2-2
`IsHomSetInhabited`, for IsCapCategoryObject, IsCapCategoryObject 3.15-1
`IsIdempotent`, for IsCapCategoryMorphism 3.3-7
`IsInitial`, for IsCapCategoryObject 2.3-5
`IsInjective`, for IsCapCategoryObject 2.3-3
`IsIsomorphism`, for IsCapCategoryMorphism 3.3-3
`IsLiftable`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7
`IsLiftableAlongMonomorphism`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3
`IsLinearCategoryOverCommutativeRing`, for IsCapCategory 1.2-8
`IsLocallyOfFiniteInjectiveDimension`, for IsCapCategory 1.2-15
`IsLocallyOfFiniteProjectiveDimension`, for IsCapCategory 1.2-14
`IsMonomorphism`, for IsCapCategoryMorphism 3.3-1
`IsMorphismInCapTerminalCategoryWithMultipleObjects`, for IsCapCategoryMorphism 15.1-6
`IsMorphismInCapTerminalCategoryWithSingleObject`, for IsCapCategoryMorphism 15.1-3
`IsObjectInCapTerminalCategoryWithMultipleObjects`, for IsCapCategoryObject 15.1-5
`IsObjectInCapTerminalCategoryWithSingleObject`, for IsCapCategoryObject 15.1-2
`IsomorphismFromCoequalizerOfCoproductDiagramToPushout`, for IsList 6.12-4
`IsomorphismFromCoimageToCokernelOfKernel`, for IsCapCategoryMorphism 6.14-5
`IsomorphismFromCokernelOfDiagonalDifferenceToPushout`, for IsList 6.12-2
`IsomorphismFromCokernelOfKernelToCoimage`, for IsCapCategoryMorphism 6.14-6
`IsomorphismFromCoproductToDirectSum`, for IsList 6.6-14
`IsomorphismFromDirectProductToDirectSum`, for IsList 6.6-12
`IsomorphismFromDirectSumToCoproduct`, for IsList 6.6-13
`IsomorphismFromDirectSumToDirectProduct`, for IsList 6.6-11
`IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct`, for IsList 6.11-4
`IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram`, for IsList 6.11-3
`IsomorphismFromFiberProductToKernelOfDiagonalDifference`, for IsList 6.11-1
`IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject`, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-4
`IsomorphismFromImageObjectToKernelOfCokernel`, for IsCapCategoryMorphism 6.13-1
`IsomorphismFromInitialObjectToZeroObject`, for IsCapCategory 6.3-10
`IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject`, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-5
`IsomorphismFromKernelOfCokernelToImageObject`, for IsCapCategoryMorphism 6.13-2
`IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct`, for IsList 6.11-2
`IsomorphismFromPushoutToCoequalizerOfCoproductDiagram`, for IsList 6.12-3
`IsomorphismFromPushoutToCokernelOfDiagonalDifference`, for IsList 6.12-1
`IsomorphismFromTerminalObjectToZeroObject`, for IsCapCategory 6.3-12
`IsomorphismFromZeroObjectToInitialObject`, for IsCapCategory 6.3-9
`IsomorphismFromZeroObjectToTerminalObject`, for IsCapCategory 6.3-11
`IsOne`, for IsCapCategoryMorphism 3.3-6
`IsOperationWeightList`, for IsAttributeStoringRep 8.4-1
`IsPreAbelianCategory`, for IsCapCategory 1.2-10
`IsProjective`, for IsCapCategoryObject 2.3-2
`IsSkeletalCategory`, for IsCapCategory 1.2-6
`IsSpecializationOfFilter` 9.2-19
`IsSpecializationOfFilterList` 9.2-20
`IsSplitEpimorphism`, for IsCapCategoryMorphism 3.3-5
`IsSplitMonomorphism`, for IsCapCategoryMorphism 3.3-4
`IsStringMinHeap`, for IsAttributeStoringRep 8.5-1
`IsTerminal`, for IsCapCategoryObject 2.3-4
`IsTerminalCategory`, for IsCapCategory 15.1-7
`IsWellDefined`, for IsCapCategoryCell 1.7-1
`IsWellDefinedForMorphisms`, for IsCapCategoryMorphism 3.11-1
`IsWellDefinedForObjects`, for IsCapCategoryObject 2.8-1
`IsWellDefinedForTwoCells`, for IsCapCategoryTwoCell 4.3-1
`IsWrapperCapCategory`, for IsCapCategory 12.1-1
`IsWrapperCapCategoryMorphism`, for IsCapCategoryMorphism 12.1-3
`IsWrapperCapCategoryObject`, for IsCapCategoryObject 12.1-2
`IsZero`, for IsCapCategoryObject 2.3-7
`IsZeroForMorphisms`, for IsCapCategoryMorphism 3.8-1
`IsZeroForObjects`, for IsCapCategoryObject 2.3-6
`Iterated`, for IsList, IsFunction, IsObject 9.2-28
`KernelEmbedding`, for IsCapCategoryMorphism 6.1-2
`KernelEmbeddingWithGivenKernelObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3
`KernelLift`, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.1-6
`KernelLiftWithGivenKernelObject`, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.1-7
`KernelObject`, for IsCapCategoryMorphism 6.1-1
`KernelObjectFunctorial`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-9
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
`LastWithKeys` 9.2-50
`LaTeXOutput`, for IsCapCategory 1.14-2
for IsCapCategoryCell 1.14-1
`Lift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5
`LiftAlongMonomorphism`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1
`LiftOrFail`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6
`ListCAPPrepareFunctions` 7.5-3
`ListWithKeys` 9.2-42
`MakeDerivation`, for IsString, IsFunction, IsDenseList,IsPosInt, IsFunction, IsFunction 8.2-2
`MakeDerivationGraph`, for IsDenseList 8.3-2
`MakeOperationWeightList`, for IsCapCategory, IsDerivedMethodGraph 8.4-2
`MereExistenceOfSolutionOfLinearSystemInAbCategory`, for IsList, IsList, IsList 3.16-10
`ModeledMorphism`, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.3-10
`ModeledObject`, for IsCapCategory, IsCapCategoryObject 12.3-8
`ModelingCategory`, for IsCapCategory 12.2-1
`ModelingMorphism`, for IsCapCategory, IsCapCategoryMorphism 12.3-9
`ModelingObject`, for IsCapCategory, IsCapCategoryObject 12.3-7
`MonomorphismIntoInjectiveEnvelopeObject`, for IsCapCategoryObject 6.16-5
`MonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject`, for IsCapCategoryObject, IsCapCategoryObject 6.16-6
`MonomorphismIntoSomeInjectiveObject`, for IsCapCategoryObject 2.10-2
`MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject`, for IsCapCategoryObject, IsCapCategoryObject 2.10-3
`MorphismBetweenDirectSums`, for IsList 6.6-16
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
`MorphismDatumType`, for IsCapCategory 1.4-7
`MorphismFilter`, for IsCapCategory 1.4-4
`MorphismFromCoimageToImage`, for IsCapCategoryMorphism 6.14-1
`MorphismFromCoimageToImageWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2
`MorphismFromEqualizerToSink`, for IsCapCategoryObject, IsList 6.9-5
`MorphismFromEqualizerToSinkWithGivenEqualizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-6
`MorphismFromFiberProductToSink`, for IsList 6.11-11
`MorphismFromFiberProductToSinkWithGivenFiberProduct`, for IsList, IsCapCategoryObject 6.11-12
`MorphismFromKernelObjectToSink`, for IsCapCategoryMorphism 6.1-4
`MorphismFromKernelObjectToSinkWithGivenKernelObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5
`MorphismFromSourceToCoequalizer`, for IsCapCategoryObject, IsList 6.10-5
`MorphismFromSourceToCoequalizerWithGivenCoequalizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-6
`MorphismFromSourceToCokernelObject`, for IsCapCategoryMorphism 6.2-4
`MorphismFromSourceToCokernelObjectWithGivenCokernelObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5
`MorphismFromSourceToPushout`, for IsList 6.12-11
`MorphismFromSourceToPushoutWithGivenPushout`, for IsList, IsCapCategoryObject 6.12-12
`MorphismFromZeroObject`, for IsCapCategoryObject 6.3-7
`MorphismIntoZeroObject`, for IsCapCategoryObject 6.3-8
`MultiplyWithElementOfCommutativeRingForMorphisms`, for IsRingElement, IsCapCategoryMorphism 3.8-5
`Name`, for IsCapCategory 1.4-1
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-37
`NumberWithKeys` 9.2-47
`ObjectCache`, for IsCapFunctor 9.1-1
`ObjectConstructor`, for IsCapCategory, IsObject 2.7-1
`ObjectDatum`, for IsCapCategoryObject 2.7-3
`ObjectDatumType`, for IsCapCategory 1.4-6
`ObjectFilter`, for IsCapCategory 1.4-3
`ObjectifyMorphismWithSourceAndRangeForCAPWithAttributes` 3.6-4
`ObjectifyObjectForCAPWithAttributes` 2.6-4
`Operations`, for IsDerivedMethodGraph 8.3-10
`OperationWeightUsingDerivation`, for IsOperationWeightList, IsDerivedMethod 8.4-6
`PackageOfCAPOperation` 9.2-30
`Pair` 9.2-38
`PostCompose`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5
for IsList 3.10-6
`PostComposeList`, for IsList 3.10-7
`PostInverseForMorphisms`, for IsCapCategoryMorphism 3.13-3
`PreCompose`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2
for IsList 3.10-3
`PreComposeList`, for IsList 3.10-4
`PreInverseForMorphisms`, for IsCapCategoryMorphism 3.13-2
`PrintDerivationTree`, for IsOperationWeightList, IsString 8.4-12
`PrintTree`, for IsObject, IsFunction, IsFunction 8.4-13
`PrintTreeRec`, for IsObject, IsFunction, IsFunction, IsInt 8.4-14
`ProductWithKeys` 9.2-44
`ProjectionInFactorOfDirectProduct`, for IsList, IsInt 6.8-3
`ProjectionInFactorOfDirectProductWithGivenDirectProduct`, for IsList, IsInt, IsCapCategoryObject 6.8-4
`ProjectionInFactorOfDirectSum`, for IsList, IsInt 6.6-3
`ProjectionInFactorOfDirectSumWithGivenDirectSum`, for IsList, IsInt, IsCapCategoryObject 6.6-4
`ProjectionInFactorOfFiberProduct`, for IsList, IsInt 6.11-9
`ProjectionInFactorOfFiberProductWithGivenFiberProduct`, for IsList, IsInt, IsCapCategoryObject 6.11-10
`ProjectionOntoCoequalizer`, for IsCapCategoryObject, IsList 6.10-3
`ProjectionOntoCoequalizerWithGivenCoequalizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-4
`ProjectiveCoverObject`, for IsCapCategoryObject 6.16-1
`ProjectiveDimension`, for IsCapCategoryObject 2.12-1
`ProjectiveLift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4
`Pushout`, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-8
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
for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.4-9
for IsCapCategoryObject, IsCapCategoryObject, 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
`RangeCategoryOfHomomorphismStructure`, for IsCapCategory 1.4-10
`RangeOfFunctor`, for IsCapFunctor 5.4-4
`Reevaluate`, for IsOperationWeightList 8.4-9
`ResetTimingStatistics` 1.11-1
`SafeFirst`, for IsList, IsFunction 9.2-35
`SafePosition`, for IsList, IsObject 9.2-31
`SafePositionProperty`, for IsList, IsFunction 9.2-33
`SafeUniqueEntry`, for IsList, IsFunction 9.2-36
`SafeUniquePosition`, for IsList, IsObject 9.2-32
`SafeUniquePositionProperty`, for IsList, IsFunction 9.2-34
`Saturate`, for IsOperationWeightList 8.4-10
`SetCachingOfCategory` 1.9-1
`SetCachingOfCategoryCrisp` 1.9-2
`SetCachingOfCategoryWeak` 1.9-2
`SetDefaultCaching` 1.9-3
`SetDefaultCachingCrisp` 1.9-3
`SetDefaultCachingWeak` 1.9-3
`Simplify`, for IsCapCategoryMorphism 3.17-16
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
`SumOfMorphisms`, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8
`SumWithKeys` 9.2-43
`Swap`, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9
`TargetOperation`, for IsDerivedMethod 8.2-8
`TerminalCategoryWithMultipleObjects` 15.2-2
`TerminalCategoryWithSingleObject` 15.2-1
`TerminalObject`, for IsCapCategory 6.4-1
for IsCapCategoryCell 6.4-2
`TerminalObjectFunctorial`, for IsCapCategory 6.4-5
`TerminalObjectFunctorialWithGivenTerminalObjects`, for IsCapCategoryObject, IsCapCategoryObject 6.4-6
`TransitivelyNeededOtherPackages` 9.2-29
`Triple` 9.2-39
`TwoCellDatumType`, for IsCapCategory 1.4-8
`TwoCellFilter`, for IsCapCategory 1.4-5
`UnderlyingCell`, for IsWrapperCapCategoryMorphism 12.2-3
for IsWrapperCapCategoryObject 12.2-2
`UniqueMorphism`, for IsCapTerminalCategoryWithSingleObject 15.3-2
`UniqueObject`, for IsCapTerminalCategoryWithSingleObject 15.3-1
`UniversalMorphismFromCoequalizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.10-7
`UniversalMorphismFromCoequalizerWithGivenCoequalizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.10-8
`UniversalMorphismFromCoproduct`, for IsList, IsCapCategoryObject, IsList 6.7-6
`UniversalMorphismFromCoproductWithGivenCoproduct`, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.7-7
`UniversalMorphismFromDirectSum`, for IsList, IsCapCategoryObject, IsList 6.6-9
`UniversalMorphismFromDirectSumWithGivenDirectSum`, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-10
`UniversalMorphismFromImage`, for IsCapCategoryMorphism, IsList 6.13-8
`UniversalMorphismFromImageWithGivenImageObject`, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-9
`UniversalMorphismFromInitialObject`, for IsCapCategoryObject 6.5-3
`UniversalMorphismFromInitialObjectWithGivenInitialObject`, for IsCapCategoryObject, IsCapCategoryObject 6.5-4
`UniversalMorphismFromPushout`, for IsList, IsCapCategoryObject, IsList 6.12-13
`UniversalMorphismFromPushoutWithGivenPushout`, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-14
`UniversalMorphismFromZeroObject`, for IsCapCategoryObject 6.3-3
`UniversalMorphismFromZeroObjectWithGivenZeroObject`, for IsCapCategoryObject, IsCapCategoryObject 6.3-4
`UniversalMorphismIntoCoimage`, for IsCapCategoryMorphism, IsList 6.14-12
`UniversalMorphismIntoCoimageWithGivenCoimageObject`, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-13
`UniversalMorphismIntoDirectProduct`, for IsList, IsCapCategoryObject, IsList 6.8-5
`UniversalMorphismIntoDirectProductWithGivenDirectProduct`, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-6
`UniversalMorphismIntoDirectSum`, for IsList, IsCapCategoryObject, IsList 6.6-7
`UniversalMorphismIntoDirectSumWithGivenDirectSum`, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-8
`UniversalMorphismIntoEqualizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7
`UniversalMorphismIntoEqualizerWithGivenEqualizer`, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.9-8
`UniversalMorphismIntoFiberProduct`, for IsList, IsCapCategoryObject, IsList 6.11-13
`UniversalMorphismIntoFiberProductWithGivenFiberProduct`, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-14
`UniversalMorphismIntoTerminalObject`, for IsCapCategoryObject 6.4-3
`UniversalMorphismIntoTerminalObjectWithGivenTerminalObject`, for IsCapCategoryObject, IsCapCategoryObject 6.4-4
`UniversalMorphismIntoZeroObject`, for IsCapCategoryObject 6.3-5
`UniversalMorphismIntoZeroObjectWithGivenZeroObject`, for IsCapCategoryObject, IsCapCategoryObject 6.3-6
`UsedOperationsWithMultiplesAndCategoryGetters`, for IsDerivedMethod 8.2-9
`VerticalPostCompose`, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-5
`VerticalPreCompose`, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-4
`WrapperCategory`, for IsCapCategory, IsRecord 12.3-5
`WrappingFunctor`, for IsWrapperCapCategory 12.3-6
`ZeroMorphism`, for IsCapCategoryObject, IsCapCategoryObject 3.8-7
`ZeroObject`, for IsCapCategory 6.3-1
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 15 Ind

generated by GAPDoc2HTML