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

Index

*, for IsRingElement, IsCapCategoryMorphism 3.8-6
/, for IsCapCategoryCell, IsWrapperCapCategory 13.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
AddCategoricalProperty 1.2-1
AddCoastrictionToImage, for IsCapCategory, IsFunction 7.6-7
AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-8
AddCoefficientsOfMorphism, for IsCapCategory, IsFunction 7.6-9
AddCoequalizer, for IsCapCategory, IsFunction 7.6-10
AddCoequalizerFunctorial, for IsCapCategory, IsFunction 7.6-11
AddCoequalizerFunctorialWithGivenCoequalizers, for IsCapCategory, IsFunction 7.6-12
AddCoimageObject, for IsCapCategory, IsFunction 7.6-13
AddCoimageObjectFunctorial, for IsCapCategory, IsFunction 7.6-14
AddCoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategory, IsFunction 7.6-15
AddCoimageProjection, for IsCapCategory, IsFunction 7.6-16
AddCoimageProjectionWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-17
AddCokernelColift, for IsCapCategory, IsFunction 7.6-18
AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-19
AddCokernelObject, for IsCapCategory, IsFunction 7.6-20
AddCokernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-21
AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 7.6-22
AddCokernelProjection, for IsCapCategory, IsFunction 7.6-23
AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-24
AddColift, for IsCapCategory, IsFunction 7.6-25
AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 7.6-26
AddColiftOrFail, for IsCapCategory, IsFunction 7.6-27
AddComponentOfMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-28
AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-29
AddComponentOfMorphismIntoDirectProduct, 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 8.3-4
AddDerivationToCAP 8.3-5
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
AddDirectSumFunctorial, for IsCapCategory, IsFunction 7.6-39
AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-40
AddDistinguishedObjectOfHomomorphismStructure, for IsCapCategory, IsFunction 7.6-41
AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 7.6-42
AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-43
AddEpimorphismFromProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-44
AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-45
AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-46
AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-47
AddEqualizer, for IsCapCategory, IsFunction 7.6-48
AddEqualizerFunctorial, for IsCapCategory, IsFunction 7.6-49
AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 7.6-50
AddFiberProduct, for IsCapCategory, IsFunction 7.6-51
AddFiberProductFunctorial, for IsCapCategory, IsFunction 7.6-52
AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 7.6-53
AddHomologyObject, for IsCapCategory, IsFunction 7.6-54
AddHomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategory, IsFunction 7.6-55
AddHomomorphismStructureOnMorphisms, for IsCapCategory, IsFunction 7.6-56
AddHomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategory, IsFunction 7.6-57
AddHomomorphismStructureOnObjects, for IsCapCategory, IsFunction 7.6-58
AddHorizontalPostCompose, for IsCapCategory, IsFunction 7.6-59
AddHorizontalPreCompose, for IsCapCategory, IsFunction 7.6-60
AddIdentityMorphism, for IsCapCategory, IsFunction 7.6-61
AddIdentityTwoCell, for IsCapCategory, IsFunction 7.6-62
AddImageEmbedding, for IsCapCategory, IsFunction 7.6-63
AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 7.6-64
AddImageObject, for IsCapCategory, IsFunction 7.6-65
AddImageObjectFunctorial, for IsCapCategory, IsFunction 7.6-66
AddImageObjectFunctorialWithGivenImageObjects, for IsCapCategory, IsFunction 7.6-67
AddIndecomposableInjectiveObjects, for IsCapCategory, IsFunction 7.6-68
AddIndecomposableProjectiveObjects, for IsCapCategory, IsFunction 7.6-69
AddInitialObject, for IsCapCategory, IsFunction 7.6-70
AddInitialObjectFunctorial, for IsCapCategory, IsFunction 7.6-71
AddInitialObjectFunctorialWithGivenInitialObjects, for IsCapCategory, IsFunction 7.6-72
AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 7.6-73
AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-74
AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 7.6-75
AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-76
AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 7.6-77
AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-78
AddInjectiveColift, for IsCapCategory, IsFunction 7.6-79
AddInjectiveDimension, for IsCapCategory, IsFunction 7.6-80
AddInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-81
AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategory, IsFunction 7.6-82
AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategory, IsFunction 7.6-83
AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategory, IsFunction 7.6-84
AddInverseForMorphisms, for IsCapCategory, IsFunction 7.6-85
AddInverseOfMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-86
AddInverseOfMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-87
AddIsAutomorphism, for IsCapCategory, IsFunction 7.6-88
AddIsBijectiveObject, for IsCapCategory, IsFunction 7.6-89
AddIsCodominating, for IsCapCategory, IsFunction 7.6-90
AddIsColiftable, for IsCapCategory, IsFunction 7.6-91
AddIsColiftableAlongEpimorphism, for IsCapCategory, IsFunction 7.6-92
AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 7.6-93
AddIsDominating, for IsCapCategory, IsFunction 7.6-94
AddIsEndomorphism, for IsCapCategory, IsFunction 7.6-95
AddIsEpimorphism, for IsCapCategory, IsFunction 7.6-96
AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 7.6-97
AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 7.6-98
AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 7.6-99
AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 7.6-100
AddIsEqualForMorphisms, for IsCapCategory, IsFunction 7.6-101
AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 7.6-102
AddIsEqualForObjects, for IsCapCategory, IsFunction 7.6-103
AddIsEqualToIdentityMorphism, for IsCapCategory, IsFunction 7.6-104
AddIsEqualToZeroMorphism, for IsCapCategory, IsFunction 7.6-105
AddIsHomSetInhabited, for IsCapCategory, IsFunction 7.6-106
AddIsIdempotent, for IsCapCategory, IsFunction 7.6-107
AddIsInitial, for IsCapCategory, IsFunction 7.6-108
AddIsInjective, for IsCapCategory, IsFunction 7.6-109
AddIsIsomorphicForObjects, for IsCapCategory, IsFunction 7.6-110
AddIsIsomorphism, for IsCapCategory, IsFunction 7.6-111
AddIsLiftable, for IsCapCategory, IsFunction 7.6-112
AddIsLiftableAlongMonomorphism, for IsCapCategory, IsFunction 7.6-113
AddIsMonomorphism, for IsCapCategory, IsFunction 7.6-114
AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 7.6-126
AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategory, IsFunction 7.6-127
AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 7.6-128
AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer, 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
AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-136
AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, 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
AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer, for IsCapCategory, IsFunction 7.6-143
AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 7.6-144
AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction 7.6-145
AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction 7.6-146
AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction 7.6-147
AddIsOne, for IsCapCategory, IsFunction 7.6-115
AddIsProjective, for IsCapCategory, IsFunction 7.6-116
AddIsSplitEpimorphism, for IsCapCategory, IsFunction 7.6-117
AddIsSplitMonomorphism, for IsCapCategory, IsFunction 7.6-118
AddIsTerminal, for IsCapCategory, IsFunction 7.6-119
AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 7.6-120
AddIsWellDefinedForMorphismsWithGivenSourceAndRange, for IsCapCategory, IsFunction 7.6-121
AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 7.6-122
AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 7.6-123
AddIsZeroForMorphisms, for IsCapCategory, IsFunction 7.6-124
AddIsZeroForObjects, for IsCapCategory, IsFunction 7.6-125
AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2
AdditiveGenerators, for IsCapCategory 1.4-11
AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.8-4
AddJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategory, IsFunction 7.6-148
AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-149
AddKernelEmbedding, for IsCapCategory, IsFunction 7.6-150
AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-151
AddKernelLift, for IsCapCategory, IsFunction 7.6-152
AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-153
AddKernelObject, for IsCapCategory, IsFunction 7.6-154
AddKernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-155
AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 7.6-156
AddLift, for IsCapCategory, IsFunction 7.6-157
AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 7.6-158
AddLiftOrFail, for IsCapCategory, IsFunction 7.6-159
AddLinearCombinationOfMorphisms, for IsCapCategory, IsFunction 7.6-160
AddMereExistenceOfSolutionOfLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-161
AddMonomorphismIntoInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-162
AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-163
AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-164
AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-165
AddMorphism, for IsCapCategory, IsAttributeStoringRep 3.6-2
AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 7.6-166
AddMorphismBetweenDirectSumsWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-167
AddMorphismConstructor, for IsCapCategory, IsFunction 7.6-168
AddMorphismDatum, for IsCapCategory, IsFunction 7.6-169
AddMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-170
AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-171
AddMorphismFromEqualizerToSink, for IsCapCategory, IsFunction 7.6-172
AddMorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-173
AddMorphismFromFiberProductToSink, for IsCapCategory, IsFunction 7.6-174
AddMorphismFromFiberProductToSinkWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-175
AddMorphismFromKernelObjectToSink, for IsCapCategory, IsFunction 7.6-176
AddMorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-177
AddMorphismFromSourceToCoequalizer, for IsCapCategory, IsFunction 7.6-178
AddMorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-179
AddMorphismFromSourceToCokernelObject, for IsCapCategory, IsFunction 7.6-180
AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-181
AddMorphismFromSourceToPushout, for IsCapCategory, IsFunction 7.6-182
AddMorphismFromSourceToPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-183
AddMorphismFunction, for IsCapFunctor, IsFunction 5.4-7
AddMorphismRepresentation, for IsCapCategory, IsObject 3.6-3
AddMorphismsOfExternalHom, for IsCapCategory, IsFunction 7.6-184
AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 7.6-185
AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 5.5-3
AddObject, for IsCapCategory, IsAttributeStoringRep 2.6-2
AddObjectConstructor, for IsCapCategory, IsFunction 7.6-186
AddObjectDatum, for IsCapCategory, IsFunction 7.6-187
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-188
AddPostComposeList, for IsCapCategory, IsFunction 7.6-189
AddPostInverseForMorphisms, for IsCapCategory, IsFunction 7.6-190
AddPreCompose, for IsCapCategory, IsFunction 7.6-191
AddPreComposeList, for IsCapCategory, IsFunction 7.6-192
AddPreInverseForMorphisms, for IsCapCategory, IsFunction 7.6-193
AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-11
AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 7.6-194
AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-195
AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 7.6-196
AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-197
AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 7.6-198
AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-199
AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 7.6-200
AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-201
AddProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-202
AddProjectiveDimension, for IsCapCategory, IsFunction 7.6-203
AddProjectiveLift, for IsCapCategory, IsFunction 7.6-204
AddPushout, for IsCapCategory, IsFunction 7.6-205
AddPushoutFunctorial, for IsCapCategory, IsFunction 7.6-206
AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 7.6-207
AddRandomMorphismByInteger, for IsCapCategory, IsFunction 7.6-208
AddRandomMorphismByList, for IsCapCategory, IsFunction 7.6-209
AddRandomMorphismWithFixedRangeByInteger, for IsCapCategory, IsFunction 7.6-210
AddRandomMorphismWithFixedRangeByList, for IsCapCategory, IsFunction 7.6-211
AddRandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategory, IsFunction 7.6-212
AddRandomMorphismWithFixedSourceAndRangeByList, for IsCapCategory, IsFunction 7.6-213
AddRandomMorphismWithFixedSourceByInteger, for IsCapCategory, IsFunction 7.6-214
AddRandomMorphismWithFixedSourceByList, for IsCapCategory, IsFunction 7.6-215
AddRandomObjectByInteger, for IsCapCategory, IsFunction 7.6-216
AddRandomObjectByList, for IsCapCategory, IsFunction 7.6-217
AddSimplifyEndo, for IsCapCategory, IsFunction 7.6-218
AddSimplifyEndo_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-219
AddSimplifyEndo_IsoToInputObject, for IsCapCategory, IsFunction 7.6-220
AddSimplifyMorphism, for IsCapCategory, IsFunction 7.6-221
AddSimplifyObject, for IsCapCategory, IsFunction 7.6-222
AddSimplifyObject_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-223
AddSimplifyObject_IsoToInputObject, for IsCapCategory, IsFunction 7.6-224
AddSimplifyRange, for IsCapCategory, IsFunction 7.6-225
AddSimplifyRange_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-226
AddSimplifyRange_IsoToInputObject, for IsCapCategory, IsFunction 7.6-227
AddSimplifySource, for IsCapCategory, IsFunction 7.6-228
AddSimplifySource_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-234
AddSimplifySource_IsoToInputObject, for IsCapCategory, IsFunction 7.6-235
AddSimplifySourceAndRange, for IsCapCategory, IsFunction 7.6-229
AddSimplifySourceAndRange_IsoFromInputRange, for IsCapCategory, IsFunction 7.6-230
AddSimplifySourceAndRange_IsoFromInputSource, for IsCapCategory, IsFunction 7.6-231
AddSimplifySourceAndRange_IsoToInputRange, for IsCapCategory, IsFunction 7.6-232
AddSimplifySourceAndRange_IsoToInputSource, for IsCapCategory, IsFunction 7.6-233
AddSolveLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-236
AddSolveLinearSystemInAbCategoryOrFail, for IsCapCategory, IsFunction 7.6-237
AddSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-238
AddSomeIsomorphismBetweenObjects, for IsCapCategory, IsFunction 7.6-239
AddSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-240
AddSomeReductionBySplitEpiSummand, for IsCapCategory, IsFunction 7.6-241
AddSomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategory, IsFunction 7.6-242
AddSomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategory, IsFunction 7.6-243
AddSubtractionForMorphisms, for IsCapCategory, IsFunction 7.6-244
AddSumOfMorphisms, for IsCapCategory, IsFunction 7.6-245
AddTerminalObject, for IsCapCategory, IsFunction 7.6-246
AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 7.6-247
AddTerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategory, IsFunction 7.6-248
AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 7.6-249
AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-250
AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-251
AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-252
AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-253
AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-254
AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 7.6-255
AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-256
AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 7.6-257
AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 7.6-258
AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 7.6-259
AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-260
AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 7.6-261
AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-262
AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 7.6-263
AddUniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-264
AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-265
AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-266
AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-267
AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-268
AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 7.6-269
AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-270
AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 7.6-271
AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-272
AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 7.6-273
AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 7.6-274
AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 7.6-275
AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-276
AddVerticalPostCompose, for IsCapCategory, IsFunction 7.6-277
AddVerticalPreCompose, for IsCapCategory, IsFunction 7.6-278
AddZeroMorphism, for IsCapCategory, IsFunction 7.6-279
AddZeroObject, for IsCapCategory, IsFunction 7.6-280
AddZeroObjectFunctorial, for IsCapCategory, IsFunction 7.6-281
AddZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategory, IsFunction 7.6-282
ApplyFunctor 5.4-9
ApplyNaturalTransformation 5.5-4
AsCapCategory, for IsCapCategoryAsCatObject 5.3-2
AsCapCategoryMorphism 3.6-6
AsCapCategoryObject 2.6-6
AsCatObject, for IsCapCategory 5.3-1
AsHomalgMatrix, for IsCapCategoryMorphism 3.6-7
    for IsCapCategoryObject 2.6-7
AsInteger, for IsCapCategoryMorphism 3.6-7
    for IsCapCategoryObject 2.6-7
AsMorphismInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryMorphism 13.3-3
    for IsWrapperCapCategoryObject, IsCapCategoryMorphism, IsWrapperCapCategoryObject 13.3-2
AsObjectInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryObject 13.3-1
AsPrimitiveValue, for IsCapCategoryMorphism 3.6-7
    for IsCapCategoryObject 2.6-7
AstrictionToCoimage, for IsCapCategoryMorphism 6.14-10
AstrictionToCoimageWithGivenCoimageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11
BasisOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.16-21
BrowseCachingStatistic 9.2-16
BrowseTimingStatistics 1.11-1
CachingStatistic 9.2-15
CanCompute, for IsCapCategory, IsFunction 1.6-1
    for IsCapCategory, IsString 1.6-1
CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY 9.2-11
CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY 9.2-13
CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY 9.2-12
CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY 9.2-14
CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER 9.2-10
CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY 16.2-3
CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 9.2-8
CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS 10.3-1
CAP_INTERNAL_GET_DATA_TYPE_FROM_STRING 9.2-2
CAP_INTERNAL_GET_DATA_TYPES_FROM_STRINGS 9.2-3
CAP_INTERNAL_MERGE_FILTER_LISTS 9.2-6
CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 9.2-9
CAP_INTERNAL_REPLACED_STRING_WITH_FILTER 9.2-4
CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS 9.2-5
CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-7
CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2
CAP_JIT_EXPR_CASE_WRAPPER 9.2-46
CAP_JIT_INCOMPLETE_LOGIC 9.2-45
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-29
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-22
CapJitAddTypeSignature 9.2-23
CapJitAddTypeSignatureDeferred 9.2-24
CapJitDataTypeOfCategory 9.2-27
CapJitDataTypeOfListOf 9.2-25
CapJitDataTypeOfMorphismOfCategory 9.2-27
CapJitDataTypeOfNTupleOf 9.2-26
CapJitDataTypeOfObjectOfCategory 9.2-27
CapJitDataTypeOfTwoCellOfCategory 9.2-27
CapJitTypedExpression 9.2-28
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
CoastrictionToImage, for IsCapCategoryMorphism 6.13-6
CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7
CoefficientsOfMorphism, for IsCapCategoryMorphism 3.16-22
Coequalizer 6.10-1
CoequalizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.10-9
CoequalizerFunctorialWithGivenCoequalizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10
CoequalizerOp, for IsCapCategoryObject, IsList 6.10-2
CoimageObject, for IsCapCategoryMorphism 6.14-7
CoimageObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.14-14
CoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.14-15
CoimageProjection, for IsCapCategoryMorphism 6.14-8
CoimageProjectionWithGivenCoimageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-9
CokernelColift, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.2-6
CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.2-7
CokernelObject, for IsCapCategoryMorphism 6.2-1
CokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-9
    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
ComponentOfMorphismFromCoproduct, for IsCapCategoryMorphism, IsList, IsInt 6.7-10
ComponentOfMorphismFromDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-19
ComponentOfMorphismIntoDirectProduct, for IsCapCategoryMorphism, IsList, IsInt 6.8-9
ComponentOfMorphismIntoDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-18
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
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-8
DerivationsUsingOperation, for IsDerivedMethodGraph, IsString 8.3-7
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
DirectSumFunctorial, for IsList, IsList, IsList 6.6-20
DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-21
DirectSumOp, for IsList 6.6-2
DisableAddForCategoricalOperations 1.12-1
DisableInputSanityChecks 1.10-1
DisableOutputSanityChecks 1.10-1
DisableSanityChecks 1.10-1
DisableTimingStatistics 1.11-1
DisplayTimingStatistics 1.11-1
DistinguishedObjectOfHomomorphismStructure, for IsCapCategory 3.16-4
DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory 3.16-18
Down, for IsObject 1.8-1
DownOnlyMorphismData, for IsCapCategoryMorphism 1.8-2
DownToBottom, for IsObject 1.8-3
DummyCategory, for IsRecord 14.2-4
DummyCommutativeRing 14.1-8
DummyField 14.1-9
DummyRing 14.1-7
EmbeddingOfEqualizer, for IsCapCategoryObject, IsList 6.9-3
EmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4
EnableAddForCategoricalOperations 1.12-1
EnableFullInputSanityChecks 1.10-1
EnableFullOutputSanityChecks 1.10-1
EnableFullSanityChecks 1.10-1
EnablePartialInputSanityChecks 1.10-1
EnablePartialOutputSanityChecks 1.10-1
EnablePartialSanityChecks 1.10-1
EnableTimingStatistics 1.11-1
EpimorphismFromProjectiveCoverObject, for IsCapCategoryObject 6.16-2
EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategoryObject, IsCapCategoryObject 6.16-3
EpimorphismFromSomeProjectiveObject, for IsCapCategoryObject 2.9-2
EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.9-3
Equalizer 6.9-1
EqualizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.9-9
EqualizerFunctorialWithGivenEqualizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-10
EqualizerOp, for IsCapCategoryObject, IsList 6.9-2
ExtendRangeOfHomomorphismStructureByFullEmbedding, for IsCapCategory, IsCapCategory, IsFunction, IsFunction, IsFunction, IsFunction 3.16-18
ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding, for IsCapCategory 3.16-19
ExtractMin, for IsStringMinHeap 8.5-4
FiberProduct 6.11-5
FiberProductEmbeddingInDirectProduct, for IsList 6.11-3
FiberProductEmbeddingInDirectSum, for IsList 6.11-4
FiberProductFunctorial, for IsList, IsList, IsList 6.11-13
FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14
FiberProductOp, for IsList 6.11-6
FilteredWithKeys 9.2-53
FirstWithKeys 9.2-54
ForAllWithKeys 9.2-50
ForAnyWithKeys 9.2-51
FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11
FunctionWithNamedArguments 9.2-1
FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15
FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13
FunctorFromTerminalCategory, for IsCapCategoryObject 16.3-3
FunctorMorphismOperation, for IsCapFunctor 5.4-8
FunctorObjectOperation, for IsCapFunctor 5.4-6
HandlePrecompiledTowers 9.2-44
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-7
InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject 6.12-8
InjectiveColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.10-4
InjectiveDimension, for IsCapCategoryObject 2.12-2
InjectiveEnvelopeObject, for IsCapCategoryObject 6.16-4
InputSignature, for IsCapFunctor 5.4-10
InstallDeprecatedAlias 9.2-17
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-20
InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 5.5-5
InstallOtherMethodForCompilerForCAP 9.2-21
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategoryMorphism 3.16-5
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism 3.16-18
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18
InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7
InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-18
InverseForMorphisms, for IsCapCategoryMorphism 3.13-1
InverseOfMorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-3
InverseOfMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4
IsAbCategory, for IsCapCategory 1.2-7
IsAbelianCategory, for IsCapCategory 1.2-12
IsAbelianCategoryWithEnoughInjectives, for IsCapCategory 1.2-14
IsAbelianCategoryWithEnoughProjectives, for IsCapCategory 1.2-13
IsAdditiveCategory, for IsCapCategory 1.2-10
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 16.1-4
IsCapTerminalCategoryWithSingleObject, for IsCapCategory 16.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 14.2-1
IsDummyCategoryMorphism, for IsCapCategoryMorphism 14.2-3
IsDummyCategoryObject, for IsCapCategoryObject 14.2-2
IsDummyCommutativeRing 14.1-3
IsDummyCommutativeRingElement 14.1-4
IsDummyField 14.1-5
IsDummyFieldElement 14.1-6
IsDummyRing 14.1-1
IsDummyRingElement 14.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
IsIsomorphicForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.2-2
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
IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms, for IsCapCategory 1.2-9
IsLocallyOfFiniteInjectiveDimension, for IsCapCategory 1.2-16
IsLocallyOfFiniteProjectiveDimension, for IsCapCategory 1.2-15
IsMonomorphism, for IsCapCategoryMorphism 3.3-1
IsMorphismInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryMorphism 16.1-6
IsMorphismInCapTerminalCategoryWithSingleObject, for IsCapCategoryMorphism 16.1-3
IsObjectInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryObject 16.1-5
IsObjectInCapTerminalCategoryWithSingleObject, for IsCapCategoryObject 16.1-2
IsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsList 6.12-2
IsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-12
IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism 6.14-5
IsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer, for IsCapCategoryObject, IsList 6.10-13
IsomorphismFromCokernelOfKernelToCoimage, for IsCapCategoryMorphism 6.14-6
IsomorphismFromCoproductToDirectSum, for IsList 6.6-14
IsomorphismFromDirectProductToDirectSum, for IsList 6.6-12
IsomorphismFromDirectSumToCoproduct, for IsList 6.6-13
IsomorphismFromDirectSumToDirectProduct, for IsList 6.6-11
IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsList 6.11-2
IsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-12
IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsList 6.11-1
IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-4
IsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategoryMorphism 6.13-1
IsomorphismFromInitialObjectToZeroObject, for IsCapCategory 6.3-10
IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-5
IsomorphismFromKernelOfCokernelToImageObject, for IsCapCategoryMorphism 6.13-2
IsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer, for IsCapCategoryObject, IsList 6.9-13
IsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsList 6.12-1
IsomorphismFromTerminalObjectToZeroObject, for IsCapCategory 6.3-12
IsomorphismFromZeroObjectToInitialObject, for IsCapCategory 6.3-9
IsomorphismFromZeroObjectToTerminalObject, for IsCapCategory 6.3-11
IsOne, for IsCapCategoryMorphism 3.3-6
IsOperationWeightList, for IsAttributeStoringRep 8.4-1
IsPreAbelianCategory, for IsCapCategory 1.2-11
IsProjective, for IsCapCategoryObject 2.3-2
IsSkeletalCategory, for IsCapCategory 1.2-6
IsSpecializationOfFilter 9.2-18
IsSpecializationOfFilterList 9.2-19
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 16.1-7
IsWellDefined, for IsCapCategoryCell 1.7-1
IsWellDefinedForMorphisms, for IsCapCategoryMorphism 3.11-1
IsWellDefinedForMorphismsWithGivenSourceAndRange, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.11-2
IsWellDefinedForObjects, for IsCapCategoryObject 2.8-1
IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 4.3-1
IsWrapperCapCategory, for IsCapCategory 13.1-1
IsWrapperCapCategoryMorphism, for IsCapCategoryMorphism 13.1-3
IsWrapperCapCategoryObject, for IsCapCategoryObject 13.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-30
    for IsList, IsFunction, IsObject, IsObject 9.2-31
JointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-11
JointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-11
KernelEmbedding, for IsCapCategoryMorphism 6.1-2
KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3
KernelLift, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.1-6
KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.1-7
KernelObject, for IsCapCategoryMorphism 6.1-1
KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-9
    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-55
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
LinearCombinationOfMorphisms, for IsCapCategoryObject, IsList, IsList, IsCapCategoryObject 3.10-9
ListCAPPrepareFunctions 7.5-3
ListWithKeys 9.2-47
MakeDerivation, for IsString, IsString, 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
MissingOperationsForConstructivenessOfCategory, for IsCapCategory, IsString 1.6-2
ModelingCategory, for IsCapCategory 12.5-1
ModelingMorphism, for IsCapCategory, IsCapCategoryMorphism 12.6-5
ModelingObject, for IsCapCategory, IsCapCategoryObject 12.6-3
MonomorphismIntoInjectiveEnvelopeObject, for IsCapCategoryObject 6.16-5
MonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject, for IsCapCategoryObject, IsCapCategoryObject 6.16-6
MonomorphismIntoSomeInjectiveObject, for IsCapCategoryObject 2.10-2
MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.10-3
MorphismBetweenDirectSums, for IsList 6.6-16
    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-9
MorphismFromFiberProductToSinkWithGivenFiberProduct, for IsList, IsCapCategoryObject 6.11-10
MorphismFromKernelObjectToSink, for IsCapCategoryMorphism 6.1-4
MorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5
MorphismFromSourceToCoequalizer, for IsCapCategoryObject, IsList 6.10-5
MorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-6
MorphismFromSourceToCokernelObject, for IsCapCategoryMorphism 6.2-4
MorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5
MorphismFromSourceToPushout, for IsList 6.12-9
MorphismFromSourceToPushoutWithGivenPushout, for IsList, IsCapCategoryObject 6.12-10
MorphismFromZeroObject, for IsCapCategoryObject 6.3-7
MorphismIntoZeroObject, for IsCapCategoryObject 6.3-8
MorphismsOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.16-20
MultiplyWithElementOfCommutativeRingForMorphisms, for IsRingElement, IsCapCategoryMorphism 3.8-5
Name, for IsCapCategory 1.4-1
    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-40
NumberWithKeys 9.2-52
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-6
OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6
PackageOfCAPOperation 9.2-33
Pair 9.2-41
PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5
    for IsList 3.10-6
PostComposeList, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-7
PostInverseForMorphisms, for IsCapCategoryMorphism 3.13-3
PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2
    for IsList 3.10-3
PreComposeList, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-4
PreInverseForMorphisms, for IsCapCategoryMorphism 3.13-2
PrintDerivationTree, for IsOperationWeightList, IsString 8.4-12
PrintTree, for IsObject, IsFunction, IsFunction 8.4-13
PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt 8.4-14
ProductWithKeys 9.2-49
ProjectionInFactorOfDirectProduct, for IsList, IsInt 6.8-3
ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject 6.8-4
ProjectionInFactorOfDirectSum, for IsList, IsInt 6.6-3
ProjectionInFactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject 6.6-4
ProjectionInFactorOfFiberProduct, for IsList, IsInt 6.11-7
ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject 6.11-8
ProjectionOntoCoequalizer, for IsCapCategoryObject, IsList 6.10-3
ProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-4
ProjectiveCoverObject, for IsCapCategoryObject 6.16-1
ProjectiveDimension, for IsCapCategoryObject 2.12-1
ProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4
Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-6
    for IsList 6.12-5
PushoutFunctorial, for IsList, IsList, IsList 6.12-13
PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-14
PushoutProjectionFromCoproduct, for IsList 6.12-3
PushoutProjectionFromDirectSum, for IsList 6.12-4
RandomMorphism, for IsCapCategory, IsInt 3.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
ReinterpretationFunctor, for IsCapCategory 12.6-2
ReinterpretationOfCategory, for IsCapCategory, IsRecord 12.6-1
ReinterpretationOfMorphism, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6
ReinterpretationOfObject, for IsCapCategory, IsCapCategoryObject 12.6-4
ResetTimingStatistics 1.11-1
SafeFirst, for IsList, IsFunction 9.2-38
SafePosition, for IsList, IsObject 9.2-34
SafePositionProperty, for IsList, IsFunction 9.2-36
SafeUniqueEntry, for IsList, IsFunction 9.2-39
SafeUniquePosition, for IsList, IsObject 9.2-35
SafeUniquePositionProperty, for IsList, IsFunction 9.2-37
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
SomeIsomorphismBetweenObjects, for IsCapCategoryObject, IsCapCategoryObject 2.2-3
SomeProjectiveObject, for IsCapCategoryObject 2.9-1
SomeReductionBySplitEpiSummand, for IsCapCategoryMorphism 3.18-1
SomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategoryMorphism 3.18-3
SomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategoryMorphism 3.18-2
Source, for IsCapCategoryMorphism 3.1-2
    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-48
Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9
Target, for IsCapCategoryMorphism 3.1-4
    for IsCapCategoryTwoCell 4.1-3
TargetOperation, for IsDerivedMethod 8.2-8
TerminalCategoryWithMultipleObjects 16.2-2
TerminalCategoryWithSingleObject 16.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-32
TransposedMatWithGivenDimensions 9.2-43
Triple 9.2-42
TwoCellDatumType, for IsCapCategory 1.4-8
TwoCellFilter, for IsCapCategory 1.4-5
UnderlyingCell, for IsWrapperCapCategoryMorphism 13.2-2
    for IsWrapperCapCategoryObject 13.2-1
UniqueMorphism, for IsCapTerminalCategoryWithSingleObject 16.3-2
UniqueObject, for IsCapTerminalCategoryWithSingleObject 16.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-11
UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-12
UniversalMorphismFromZeroObject, for IsCapCategoryObject 6.3-3
UniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-4
UniversalMorphismIntoCoimage, for IsCapCategoryMorphism, IsList 6.14-12
UniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-13
UniversalMorphismIntoDirectProduct, for IsList, IsCapCategoryObject, IsList 6.8-5
UniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-6
UniversalMorphismIntoDirectSum, for IsList, IsCapCategoryObject, IsList 6.6-7
UniversalMorphismIntoDirectSumWithGivenDirectSum, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-8
UniversalMorphismIntoEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7
UniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.9-8
UniversalMorphismIntoFiberProduct, for IsList, IsCapCategoryObject, IsList 6.11-11
UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-12
UniversalMorphismIntoTerminalObject, for IsCapCategoryObject 6.4-3
UniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategoryObject, IsCapCategoryObject 6.4-4
UniversalMorphismIntoZeroObject, for IsCapCategoryObject 6.3-5
UniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-6
UsedOperationsWithMultiplesAndCategoryGetters, for IsDerivedMethod 8.2-9
VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-5
VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-4
WrapperCategory, for IsCapCategory, IsRecord 13.3-5
WrappingFunctor, for IsWrapperCapCategory 13.3-6
ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject 3.8-7
ZeroObject, for IsCapCategory 6.3-1
    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 16 Ind

generated by GAPDoc2HTML