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

Index

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

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

generated by GAPDoc2HTML