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] 

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