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

Index

*, for IsRingElement, IsCapCategoryMorphism 3.8-6
/, for IsCapCategoryCell, IsWrapperCapCategory 13.3-4
    for IsObject, IsCapCategory 2.7-2
ActivateDerivationInfo 8.1-2
Add, for IsCapCategory, IsCapCategoryMorphism 3.2-1
    for IsCapCategory, IsCapCategoryObject 2.2-1
    for IsCapCategory, IsCapCategoryTwoCell 4.2-1
AddAdditionForMorphisms, for IsCapCategory, IsFunction 7.6-1
    for IsCapCategory, IsFunction, IsInt 7.6-1
AddAdditiveGenerators, for IsCapCategory, IsFunction 7.6-2
    for IsCapCategory, IsFunction, IsInt 7.6-2
AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 7.6-3
    for IsCapCategory, IsFunction, IsInt 7.6-3
AddAstrictionToCoimage, for IsCapCategory, IsFunction 7.6-4
    for IsCapCategory, IsFunction, IsInt 7.6-4
AddAstrictionToCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-5
    for IsCapCategory, IsFunction, IsInt 7.6-5
AddBasisOfExternalHom, for IsCapCategory, IsFunction 7.6-6
    for IsCapCategory, IsFunction, IsInt 7.6-6
AddCategoricalProperty 1.2-1
AddCoastrictionToImage, for IsCapCategory, IsFunction 7.6-7
    for IsCapCategory, IsFunction, IsInt 7.6-7
AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-8
    for IsCapCategory, IsFunction, IsInt 7.6-8
AddCoefficientsOfMorphism, for IsCapCategory, IsFunction 7.6-9
    for IsCapCategory, IsFunction, IsInt 7.6-9
AddCoequalizer, for IsCapCategory, IsFunction 7.6-10
    for IsCapCategory, IsFunction, IsInt 7.6-10
AddCoequalizerFunctorial, for IsCapCategory, IsFunction 7.6-11
    for IsCapCategory, IsFunction, IsInt 7.6-11
AddCoequalizerFunctorialWithGivenCoequalizers, for IsCapCategory, IsFunction 7.6-12
    for IsCapCategory, IsFunction, IsInt 7.6-12
AddCoimageObject, for IsCapCategory, IsFunction 7.6-13
    for IsCapCategory, IsFunction, IsInt 7.6-13
AddCoimageObjectFunctorial, for IsCapCategory, IsFunction 7.6-14
    for IsCapCategory, IsFunction, IsInt 7.6-14
AddCoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategory, IsFunction 7.6-15
    for IsCapCategory, IsFunction, IsInt 7.6-15
AddCoimageProjection, for IsCapCategory, IsFunction 7.6-16
    for IsCapCategory, IsFunction, IsInt 7.6-16
AddCoimageProjectionWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-17
    for IsCapCategory, IsFunction, IsInt 7.6-17
AddCokernelColift, for IsCapCategory, IsFunction 7.6-18
    for IsCapCategory, IsFunction, IsInt 7.6-18
AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-19
    for IsCapCategory, IsFunction, IsInt 7.6-19
AddCokernelObject, for IsCapCategory, IsFunction 7.6-20
    for IsCapCategory, IsFunction, IsInt 7.6-20
AddCokernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-21
    for IsCapCategory, IsFunction, IsInt 7.6-21
AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 7.6-22
    for IsCapCategory, IsFunction, IsInt 7.6-22
AddCokernelProjection, for IsCapCategory, IsFunction 7.6-23
    for IsCapCategory, IsFunction, IsInt 7.6-23
AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-24
    for IsCapCategory, IsFunction, IsInt 7.6-24
AddColift, for IsCapCategory, IsFunction 7.6-25
    for IsCapCategory, IsFunction, IsInt 7.6-25
AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 7.6-26
    for IsCapCategory, IsFunction, IsInt 7.6-26
AddComponentOfMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-27
    for IsCapCategory, IsFunction, IsInt 7.6-27
AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-28
    for IsCapCategory, IsFunction, IsInt 7.6-28
AddComponentOfMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-29
    for IsCapCategory, IsFunction, IsInt 7.6-29
AddComponentOfMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-30
    for IsCapCategory, IsFunction, IsInt 7.6-30
AddCoproduct, for IsCapCategory, IsFunction 7.6-31
    for IsCapCategory, IsFunction, IsInt 7.6-31
AddCoproductFunctorial, for IsCapCategory, IsFunction 7.6-32
    for IsCapCategory, IsFunction, IsInt 7.6-32
AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 7.6-33
    for IsCapCategory, IsFunction, IsInt 7.6-33
AddDerivation 8.3-4
AddDerivationToCAP 8.3-5
AddDirectProduct, for IsCapCategory, IsFunction 7.6-34
    for IsCapCategory, IsFunction, IsInt 7.6-34
AddDirectProductFunctorial, for IsCapCategory, IsFunction 7.6-35
    for IsCapCategory, IsFunction, IsInt 7.6-35
AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction 7.6-36
    for IsCapCategory, IsFunction, IsInt 7.6-36
AddDirectSum, for IsCapCategory, IsFunction 7.6-37
    for IsCapCategory, IsFunction, IsInt 7.6-37
AddDirectSumFunctorial, for IsCapCategory, IsFunction 7.6-38
    for IsCapCategory, IsFunction, IsInt 7.6-38
AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-39
    for IsCapCategory, IsFunction, IsInt 7.6-39
AddDistinguishedObjectOfHomomorphismStructure, for IsCapCategory, IsFunction 7.6-40
    for IsCapCategory, IsFunction, IsInt 7.6-40
AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 7.6-41
    for IsCapCategory, IsFunction, IsInt 7.6-41
AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-42
    for IsCapCategory, IsFunction, IsInt 7.6-42
AddEpimorphismFromProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-43
    for IsCapCategory, IsFunction, IsInt 7.6-43
AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-44
    for IsCapCategory, IsFunction, IsInt 7.6-44
AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-45
    for IsCapCategory, IsFunction, IsInt 7.6-45
AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-46
    for IsCapCategory, IsFunction, IsInt 7.6-46
AddEqualizer, for IsCapCategory, IsFunction 7.6-47
    for IsCapCategory, IsFunction, IsInt 7.6-47
AddEqualizerFunctorial, for IsCapCategory, IsFunction 7.6-48
    for IsCapCategory, IsFunction, IsInt 7.6-48
AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 7.6-49
    for IsCapCategory, IsFunction, IsInt 7.6-49
AddFiberProduct, for IsCapCategory, IsFunction 7.6-50
    for IsCapCategory, IsFunction, IsInt 7.6-50
AddFiberProductFunctorial, for IsCapCategory, IsFunction 7.6-51
    for IsCapCategory, IsFunction, IsInt 7.6-51
AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 7.6-52
    for IsCapCategory, IsFunction, IsInt 7.6-52
AddHomologyObject, for IsCapCategory, IsFunction 7.6-53
    for IsCapCategory, IsFunction, IsInt 7.6-53
AddHomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategory, IsFunction 7.6-54
    for IsCapCategory, IsFunction, IsInt 7.6-54
AddHomomorphismStructureOnMorphisms, for IsCapCategory, IsFunction 7.6-55
    for IsCapCategory, IsFunction, IsInt 7.6-55
AddHomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategory, IsFunction 7.6-56
    for IsCapCategory, IsFunction, IsInt 7.6-56
AddHomomorphismStructureOnObjects, for IsCapCategory, IsFunction 7.6-57
    for IsCapCategory, IsFunction, IsInt 7.6-57
AddHorizontalPostCompose, for IsCapCategory, IsFunction 7.6-58
    for IsCapCategory, IsFunction, IsInt 7.6-58
AddHorizontalPreCompose, for IsCapCategory, IsFunction 7.6-59
    for IsCapCategory, IsFunction, IsInt 7.6-59
AddIdentityMorphism, for IsCapCategory, IsFunction 7.6-60
    for IsCapCategory, IsFunction, IsInt 7.6-60
AddIdentityTwoCell, for IsCapCategory, IsFunction 7.6-61
    for IsCapCategory, IsFunction, IsInt 7.6-61
AddImageEmbedding, for IsCapCategory, IsFunction 7.6-62
    for IsCapCategory, IsFunction, IsInt 7.6-62
AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 7.6-63
    for IsCapCategory, IsFunction, IsInt 7.6-63
AddImageObject, for IsCapCategory, IsFunction 7.6-64
    for IsCapCategory, IsFunction, IsInt 7.6-64
AddImageObjectFunctorial, for IsCapCategory, IsFunction 7.6-65
    for IsCapCategory, IsFunction, IsInt 7.6-65
AddImageObjectFunctorialWithGivenImageObjects, for IsCapCategory, IsFunction 7.6-66
    for IsCapCategory, IsFunction, IsInt 7.6-66
AddIndecomposableInjectiveObjects, for IsCapCategory, IsFunction 7.6-67
    for IsCapCategory, IsFunction, IsInt 7.6-67
AddIndecomposableProjectiveObjects, for IsCapCategory, IsFunction 7.6-68
    for IsCapCategory, IsFunction, IsInt 7.6-68
AddInitialObject, for IsCapCategory, IsFunction 7.6-69
    for IsCapCategory, IsFunction, IsInt 7.6-69
AddInitialObjectFunctorial, for IsCapCategory, IsFunction 7.6-70
    for IsCapCategory, IsFunction, IsInt 7.6-70
AddInitialObjectFunctorialWithGivenInitialObjects, for IsCapCategory, IsFunction 7.6-71
    for IsCapCategory, IsFunction, IsInt 7.6-71
AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 7.6-72
    for IsCapCategory, IsFunction, IsInt 7.6-72
AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-73
    for IsCapCategory, IsFunction, IsInt 7.6-73
AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 7.6-74
    for IsCapCategory, IsFunction, IsInt 7.6-74
AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-75
    for IsCapCategory, IsFunction, IsInt 7.6-75
AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 7.6-76
    for IsCapCategory, IsFunction, IsInt 7.6-76
AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-77
    for IsCapCategory, IsFunction, IsInt 7.6-77
AddInjectiveColift, for IsCapCategory, IsFunction 7.6-78
    for IsCapCategory, IsFunction, IsInt 7.6-78
AddInjectiveDimension, for IsCapCategory, IsFunction 7.6-79
    for IsCapCategory, IsFunction, IsInt 7.6-79
AddInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-80
    for IsCapCategory, IsFunction, IsInt 7.6-80
AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategory, IsFunction 7.6-81
    for IsCapCategory, IsFunction, IsInt 7.6-81
AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategory, IsFunction 7.6-82
    for IsCapCategory, IsFunction, IsInt 7.6-82
AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategory, IsFunction 7.6-83
    for IsCapCategory, IsFunction, IsInt 7.6-83
AddInverseForMorphisms, for IsCapCategory, IsFunction 7.6-84
    for IsCapCategory, IsFunction, IsInt 7.6-84
AddInverseOfMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-85
    for IsCapCategory, IsFunction, IsInt 7.6-85
AddInverseOfMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-86
    for IsCapCategory, IsFunction, IsInt 7.6-86
AddIsAutomorphism, for IsCapCategory, IsFunction 7.6-87
    for IsCapCategory, IsFunction, IsInt 7.6-87
AddIsBijectiveObject, for IsCapCategory, IsFunction 7.6-88
    for IsCapCategory, IsFunction, IsInt 7.6-88
AddIsCodominating, for IsCapCategory, IsFunction 7.6-89
    for IsCapCategory, IsFunction, IsInt 7.6-89
AddIsColiftable, for IsCapCategory, IsFunction 7.6-90
    for IsCapCategory, IsFunction, IsInt 7.6-90
AddIsColiftableAlongEpimorphism, for IsCapCategory, IsFunction 7.6-91
    for IsCapCategory, IsFunction, IsInt 7.6-91
AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 7.6-92
    for IsCapCategory, IsFunction, IsInt 7.6-92
AddIsDominating, for IsCapCategory, IsFunction 7.6-93
    for IsCapCategory, IsFunction, IsInt 7.6-93
AddIsEndomorphism, for IsCapCategory, IsFunction 7.6-94
    for IsCapCategory, IsFunction, IsInt 7.6-94
AddIsEpimorphism, for IsCapCategory, IsFunction 7.6-95
    for IsCapCategory, IsFunction, IsInt 7.6-95
AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 7.6-96
    for IsCapCategory, IsFunction, IsInt 7.6-96
AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 7.6-97
    for IsCapCategory, IsFunction, IsInt 7.6-97
AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 7.6-98
    for IsCapCategory, IsFunction, IsInt 7.6-98
AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 7.6-99
    for IsCapCategory, IsFunction, IsInt 7.6-99
AddIsEqualForMorphisms, for IsCapCategory, IsFunction 7.6-100
    for IsCapCategory, IsFunction, IsInt 7.6-100
AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 7.6-101
    for IsCapCategory, IsFunction, IsInt 7.6-101
AddIsEqualForObjects, for IsCapCategory, IsFunction 7.6-102
    for IsCapCategory, IsFunction, IsInt 7.6-102
AddIsEqualToIdentityMorphism, for IsCapCategory, IsFunction 7.6-103
    for IsCapCategory, IsFunction, IsInt 7.6-103
AddIsEqualToZeroMorphism, for IsCapCategory, IsFunction 7.6-104
    for IsCapCategory, IsFunction, IsInt 7.6-104
AddIsHomSetInhabited, for IsCapCategory, IsFunction 7.6-105
    for IsCapCategory, IsFunction, IsInt 7.6-105
AddIsIdempotent, for IsCapCategory, IsFunction 7.6-106
    for IsCapCategory, IsFunction, IsInt 7.6-106
AddIsInitial, for IsCapCategory, IsFunction 7.6-107
    for IsCapCategory, IsFunction, IsInt 7.6-107
AddIsInjective, for IsCapCategory, IsFunction 7.6-108
    for IsCapCategory, IsFunction, IsInt 7.6-108
AddIsIsomorphicForObjects, for IsCapCategory, IsFunction 7.6-109
    for IsCapCategory, IsFunction, IsInt 7.6-109
AddIsIsomorphism, for IsCapCategory, IsFunction 7.6-110
    for IsCapCategory, IsFunction, IsInt 7.6-110
AddIsLiftable, for IsCapCategory, IsFunction 7.6-111
    for IsCapCategory, IsFunction, IsInt 7.6-111
AddIsLiftableAlongMonomorphism, for IsCapCategory, IsFunction 7.6-112
    for IsCapCategory, IsFunction, IsInt 7.6-112
AddIsMonomorphism, for IsCapCategory, IsFunction 7.6-113
    for IsCapCategory, IsFunction, IsInt 7.6-113
AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 7.6-125
    for IsCapCategory, IsFunction, IsInt 7.6-125
AddIsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategory, IsFunction 7.6-126
    for IsCapCategory, IsFunction, IsInt 7.6-126
AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 7.6-127
    for IsCapCategory, IsFunction, IsInt 7.6-127
AddIsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer, for IsCapCategory, IsFunction 7.6-128
    for IsCapCategory, IsFunction, IsInt 7.6-128
AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction 7.6-129
    for IsCapCategory, IsFunction, IsInt 7.6-129
AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction 7.6-130
    for IsCapCategory, IsFunction, IsInt 7.6-130
AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction 7.6-131
    for IsCapCategory, IsFunction, IsInt 7.6-131
AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction 7.6-132
    for IsCapCategory, IsFunction, IsInt 7.6-132
AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction 7.6-133
    for IsCapCategory, IsFunction, IsInt 7.6-133
AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsCapCategory, IsFunction 7.6-134
    for IsCapCategory, IsFunction, IsInt 7.6-134
AddIsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-135
    for IsCapCategory, IsFunction, IsInt 7.6-135
AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsCapCategory, IsFunction 7.6-136
    for IsCapCategory, IsFunction, IsInt 7.6-136
AddIsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategory, IsFunction 7.6-137
    for IsCapCategory, IsFunction, IsInt 7.6-137
AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction 7.6-138
    for IsCapCategory, IsFunction, IsInt 7.6-138
AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction 7.6-139
    for IsCapCategory, IsFunction, IsInt 7.6-139
AddIsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategory, IsFunction 7.6-140
    for IsCapCategory, IsFunction, IsInt 7.6-140
AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 7.6-141
    for IsCapCategory, IsFunction, IsInt 7.6-141
AddIsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer, for IsCapCategory, IsFunction 7.6-142
    for IsCapCategory, IsFunction, IsInt 7.6-142
AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 7.6-143
    for IsCapCategory, IsFunction, IsInt 7.6-143
AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction 7.6-144
    for IsCapCategory, IsFunction, IsInt 7.6-144
AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction 7.6-145
    for IsCapCategory, IsFunction, IsInt 7.6-145
AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction 7.6-146
    for IsCapCategory, IsFunction, IsInt 7.6-146
AddIsOne, for IsCapCategory, IsFunction 7.6-114
    for IsCapCategory, IsFunction, IsInt 7.6-114
AddIsProjective, for IsCapCategory, IsFunction 7.6-115
    for IsCapCategory, IsFunction, IsInt 7.6-115
AddIsSplitEpimorphism, for IsCapCategory, IsFunction 7.6-116
    for IsCapCategory, IsFunction, IsInt 7.6-116
AddIsSplitMonomorphism, for IsCapCategory, IsFunction 7.6-117
    for IsCapCategory, IsFunction, IsInt 7.6-117
AddIsTerminal, for IsCapCategory, IsFunction 7.6-118
    for IsCapCategory, IsFunction, IsInt 7.6-118
AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 7.6-119
    for IsCapCategory, IsFunction, IsInt 7.6-119
AddIsWellDefinedForMorphismsWithGivenSourceAndRange, for IsCapCategory, IsFunction 7.6-120
    for IsCapCategory, IsFunction, IsInt 7.6-120
AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 7.6-121
    for IsCapCategory, IsFunction, IsInt 7.6-121
AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 7.6-122
    for IsCapCategory, IsFunction, IsInt 7.6-122
AddIsZeroForMorphisms, for IsCapCategory, IsFunction 7.6-123
    for IsCapCategory, IsFunction, IsInt 7.6-123
AddIsZeroForObjects, for IsCapCategory, IsFunction 7.6-124
    for IsCapCategory, IsFunction, IsInt 7.6-124
AdditionalWeight, for IsDerivedMethod 8.2-4
AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-2
AdditiveGenerators, for IsCapCategory 1.4-11
AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.8-4
AddJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategory, IsFunction 7.6-147
    for IsCapCategory, IsFunction, IsInt 7.6-147
AddJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategory, IsFunction 7.6-148
    for IsCapCategory, IsFunction, IsInt 7.6-148
AddKernelEmbedding, for IsCapCategory, IsFunction 7.6-149
    for IsCapCategory, IsFunction, IsInt 7.6-149
AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-150
    for IsCapCategory, IsFunction, IsInt 7.6-150
AddKernelLift, for IsCapCategory, IsFunction 7.6-151
    for IsCapCategory, IsFunction, IsInt 7.6-151
AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-152
    for IsCapCategory, IsFunction, IsInt 7.6-152
AddKernelObject, for IsCapCategory, IsFunction 7.6-153
    for IsCapCategory, IsFunction, IsInt 7.6-153
AddKernelObjectFunctorial, for IsCapCategory, IsFunction 7.6-154
    for IsCapCategory, IsFunction, IsInt 7.6-154
AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 7.6-155
    for IsCapCategory, IsFunction, IsInt 7.6-155
AddLift, for IsCapCategory, IsFunction 7.6-156
    for IsCapCategory, IsFunction, IsInt 7.6-156
AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 7.6-157
    for IsCapCategory, IsFunction, IsInt 7.6-157
AddLinearCombinationOfMorphisms, for IsCapCategory, IsFunction 7.6-158
    for IsCapCategory, IsFunction, IsInt 7.6-158
AddMereExistenceOfSolutionOfLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-159
    for IsCapCategory, IsFunction, IsInt 7.6-159
AddMonomorphismIntoInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-160
    for IsCapCategory, IsFunction, IsInt 7.6-160
AddMonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject, for IsCapCategory, IsFunction 7.6-161
    for IsCapCategory, IsFunction, IsInt 7.6-161
AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-162
    for IsCapCategory, IsFunction, IsInt 7.6-162
AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-163
    for IsCapCategory, IsFunction, IsInt 7.6-163
AddMorphism, for IsCapCategory, IsAttributeStoringRep 3.2-2
AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 7.6-164
    for IsCapCategory, IsFunction, IsInt 7.6-164
AddMorphismBetweenDirectSumsWithGivenDirectSums, for IsCapCategory, IsFunction 7.6-165
    for IsCapCategory, IsFunction, IsInt 7.6-165
AddMorphismConstructor, for IsCapCategory, IsFunction 7.6-166
    for IsCapCategory, IsFunction, IsInt 7.6-166
AddMorphismDatum, for IsCapCategory, IsFunction 7.6-167
    for IsCapCategory, IsFunction, IsInt 7.6-167
AddMorphismFromCoimageToImage, for IsCapCategory, IsFunction 7.6-168
    for IsCapCategory, IsFunction, IsInt 7.6-168
AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 7.6-169
    for IsCapCategory, IsFunction, IsInt 7.6-169
AddMorphismFromEqualizerToSink, for IsCapCategory, IsFunction 7.6-170
    for IsCapCategory, IsFunction, IsInt 7.6-170
AddMorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-171
    for IsCapCategory, IsFunction, IsInt 7.6-171
AddMorphismFromFiberProductToSink, for IsCapCategory, IsFunction 7.6-172
    for IsCapCategory, IsFunction, IsInt 7.6-172
AddMorphismFromFiberProductToSinkWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-173
    for IsCapCategory, IsFunction, IsInt 7.6-173
AddMorphismFromKernelObjectToSink, for IsCapCategory, IsFunction 7.6-174
    for IsCapCategory, IsFunction, IsInt 7.6-174
AddMorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategory, IsFunction 7.6-175
    for IsCapCategory, IsFunction, IsInt 7.6-175
AddMorphismFromSourceToCoequalizer, for IsCapCategory, IsFunction 7.6-176
    for IsCapCategory, IsFunction, IsInt 7.6-176
AddMorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-177
    for IsCapCategory, IsFunction, IsInt 7.6-177
AddMorphismFromSourceToCokernelObject, for IsCapCategory, IsFunction 7.6-178
    for IsCapCategory, IsFunction, IsInt 7.6-178
AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategory, IsFunction 7.6-179
    for IsCapCategory, IsFunction, IsInt 7.6-179
AddMorphismFromSourceToPushout, for IsCapCategory, IsFunction 7.6-180
    for IsCapCategory, IsFunction, IsInt 7.6-180
AddMorphismFromSourceToPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-181
    for IsCapCategory, IsFunction, IsInt 7.6-181
AddMorphismFunction, for IsCapFunctor, IsFunction 5.4-7
AddMorphismsOfExternalHom, for IsCapCategory, IsFunction 7.6-182
    for IsCapCategory, IsFunction, IsInt 7.6-182
AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 7.6-183
    for IsCapCategory, IsFunction, IsInt 7.6-183
AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 5.5-3
AddObject, for IsCapCategory, IsAttributeStoringRep 2.2-2
AddObjectConstructor, for IsCapCategory, IsFunction 7.6-184
    for IsCapCategory, IsFunction, IsInt 7.6-184
AddObjectDatum, for IsCapCategory, IsFunction 7.6-185
    for IsCapCategory, IsFunction, IsInt 7.6-185
AddObjectFunction, for IsCapFunctor, IsFunction 5.4-5
AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList 8.3-3
AddPostCompose, for IsCapCategory, IsFunction 7.6-186
    for IsCapCategory, IsFunction, IsInt 7.6-186
AddPostComposeList, for IsCapCategory, IsFunction 7.6-187
    for IsCapCategory, IsFunction, IsInt 7.6-187
AddPostInverseForMorphisms, for IsCapCategory, IsFunction 7.6-188
    for IsCapCategory, IsFunction, IsInt 7.6-188
AddPreCompose, for IsCapCategory, IsFunction 7.6-189
    for IsCapCategory, IsFunction, IsInt 7.6-189
AddPreComposeList, for IsCapCategory, IsFunction 7.6-190
    for IsCapCategory, IsFunction, IsInt 7.6-190
AddPreInverseForMorphisms, for IsCapCategory, IsFunction 7.6-191
    for IsCapCategory, IsFunction, IsInt 7.6-191
AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-11
AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 7.6-192
    for IsCapCategory, IsFunction, IsInt 7.6-192
AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-193
    for IsCapCategory, IsFunction, IsInt 7.6-193
AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 7.6-194
    for IsCapCategory, IsFunction, IsInt 7.6-194
AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-195
    for IsCapCategory, IsFunction, IsInt 7.6-195
AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 7.6-196
    for IsCapCategory, IsFunction, IsInt 7.6-196
AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-197
    for IsCapCategory, IsFunction, IsInt 7.6-197
AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 7.6-198
    for IsCapCategory, IsFunction, IsInt 7.6-198
AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-199
    for IsCapCategory, IsFunction, IsInt 7.6-199
AddProjectiveCoverObject, for IsCapCategory, IsFunction 7.6-200
    for IsCapCategory, IsFunction, IsInt 7.6-200
AddProjectiveDimension, for IsCapCategory, IsFunction 7.6-201
    for IsCapCategory, IsFunction, IsInt 7.6-201
AddProjectiveLift, for IsCapCategory, IsFunction 7.6-202
    for IsCapCategory, IsFunction, IsInt 7.6-202
AddPushout, for IsCapCategory, IsFunction 7.6-203
    for IsCapCategory, IsFunction, IsInt 7.6-203
AddPushoutFunctorial, for IsCapCategory, IsFunction 7.6-204
    for IsCapCategory, IsFunction, IsInt 7.6-204
AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 7.6-205
    for IsCapCategory, IsFunction, IsInt 7.6-205
AddRandomMorphismByInteger, for IsCapCategory, IsFunction 7.6-206
    for IsCapCategory, IsFunction, IsInt 7.6-206
AddRandomMorphismByList, for IsCapCategory, IsFunction 7.6-207
    for IsCapCategory, IsFunction, IsInt 7.6-207
AddRandomMorphismWithFixedRangeByInteger, for IsCapCategory, IsFunction 7.6-208
    for IsCapCategory, IsFunction, IsInt 7.6-208
AddRandomMorphismWithFixedRangeByList, for IsCapCategory, IsFunction 7.6-209
    for IsCapCategory, IsFunction, IsInt 7.6-209
AddRandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategory, IsFunction 7.6-210
    for IsCapCategory, IsFunction, IsInt 7.6-210
AddRandomMorphismWithFixedSourceAndRangeByList, for IsCapCategory, IsFunction 7.6-211
    for IsCapCategory, IsFunction, IsInt 7.6-211
AddRandomMorphismWithFixedSourceByInteger, for IsCapCategory, IsFunction 7.6-212
    for IsCapCategory, IsFunction, IsInt 7.6-212
AddRandomMorphismWithFixedSourceByList, for IsCapCategory, IsFunction 7.6-213
    for IsCapCategory, IsFunction, IsInt 7.6-213
AddRandomObjectByInteger, for IsCapCategory, IsFunction 7.6-214
    for IsCapCategory, IsFunction, IsInt 7.6-214
AddRandomObjectByList, for IsCapCategory, IsFunction 7.6-215
    for IsCapCategory, IsFunction, IsInt 7.6-215
AddSimplifyEndo, for IsCapCategory, IsFunction 7.6-216
    for IsCapCategory, IsFunction, IsInt 7.6-216
AddSimplifyEndo_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-217
    for IsCapCategory, IsFunction, IsInt 7.6-217
AddSimplifyEndo_IsoToInputObject, for IsCapCategory, IsFunction 7.6-218
    for IsCapCategory, IsFunction, IsInt 7.6-218
AddSimplifyMorphism, for IsCapCategory, IsFunction 7.6-219
    for IsCapCategory, IsFunction, IsInt 7.6-219
AddSimplifyObject, for IsCapCategory, IsFunction 7.6-220
    for IsCapCategory, IsFunction, IsInt 7.6-220
AddSimplifyObject_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-221
    for IsCapCategory, IsFunction, IsInt 7.6-221
AddSimplifyObject_IsoToInputObject, for IsCapCategory, IsFunction 7.6-222
    for IsCapCategory, IsFunction, IsInt 7.6-222
AddSimplifyRange, for IsCapCategory, IsFunction 7.6-223
    for IsCapCategory, IsFunction, IsInt 7.6-223
AddSimplifyRange_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-224
    for IsCapCategory, IsFunction, IsInt 7.6-224
AddSimplifyRange_IsoToInputObject, for IsCapCategory, IsFunction 7.6-225
    for IsCapCategory, IsFunction, IsInt 7.6-225
AddSimplifySource, for IsCapCategory, IsFunction 7.6-226
    for IsCapCategory, IsFunction, IsInt 7.6-226
AddSimplifySource_IsoFromInputObject, for IsCapCategory, IsFunction 7.6-232
    for IsCapCategory, IsFunction, IsInt 7.6-232
AddSimplifySource_IsoToInputObject, for IsCapCategory, IsFunction 7.6-233
    for IsCapCategory, IsFunction, IsInt 7.6-233
AddSimplifySourceAndRange, for IsCapCategory, IsFunction 7.6-227
    for IsCapCategory, IsFunction, IsInt 7.6-227
AddSimplifySourceAndRange_IsoFromInputRange, for IsCapCategory, IsFunction 7.6-228
    for IsCapCategory, IsFunction, IsInt 7.6-228
AddSimplifySourceAndRange_IsoFromInputSource, for IsCapCategory, IsFunction 7.6-229
    for IsCapCategory, IsFunction, IsInt 7.6-229
AddSimplifySourceAndRange_IsoToInputRange, for IsCapCategory, IsFunction 7.6-230
    for IsCapCategory, IsFunction, IsInt 7.6-230
AddSimplifySourceAndRange_IsoToInputSource, for IsCapCategory, IsFunction 7.6-231
    for IsCapCategory, IsFunction, IsInt 7.6-231
AddSolveLinearSystemInAbCategory, for IsCapCategory, IsFunction 7.6-234
    for IsCapCategory, IsFunction, IsInt 7.6-234
AddSomeInjectiveObject, for IsCapCategory, IsFunction 7.6-235
    for IsCapCategory, IsFunction, IsInt 7.6-235
AddSomeIsomorphismBetweenObjects, for IsCapCategory, IsFunction 7.6-236
    for IsCapCategory, IsFunction, IsInt 7.6-236
AddSomeProjectiveObject, for IsCapCategory, IsFunction 7.6-237
    for IsCapCategory, IsFunction, IsInt 7.6-237
AddSomeReductionBySplitEpiSummand, for IsCapCategory, IsFunction 7.6-238
    for IsCapCategory, IsFunction, IsInt 7.6-238
AddSomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategory, IsFunction 7.6-239
    for IsCapCategory, IsFunction, IsInt 7.6-239
AddSomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategory, IsFunction 7.6-240
    for IsCapCategory, IsFunction, IsInt 7.6-240
AddSubtractionForMorphisms, for IsCapCategory, IsFunction 7.6-241
    for IsCapCategory, IsFunction, IsInt 7.6-241
AddSumOfMorphisms, for IsCapCategory, IsFunction 7.6-242
    for IsCapCategory, IsFunction, IsInt 7.6-242
AddTerminalObject, for IsCapCategory, IsFunction 7.6-243
    for IsCapCategory, IsFunction, IsInt 7.6-243
AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 7.6-244
    for IsCapCategory, IsFunction, IsInt 7.6-244
AddTerminalObjectFunctorialWithGivenTerminalObjects, for IsCapCategory, IsFunction 7.6-245
    for IsCapCategory, IsFunction, IsInt 7.6-245
AddTwoCell, for IsCapCategory, IsAttributeStoringRep 4.2-2
AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 7.6-246
    for IsCapCategory, IsFunction, IsInt 7.6-246
AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 7.6-247
    for IsCapCategory, IsFunction, IsInt 7.6-247
AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 7.6-248
    for IsCapCategory, IsFunction, IsInt 7.6-248
AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 7.6-249
    for IsCapCategory, IsFunction, IsInt 7.6-249
AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 7.6-250
    for IsCapCategory, IsFunction, IsInt 7.6-250
AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-251
    for IsCapCategory, IsFunction, IsInt 7.6-251
AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 7.6-252
    for IsCapCategory, IsFunction, IsInt 7.6-252
AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 7.6-253
    for IsCapCategory, IsFunction, IsInt 7.6-253
AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 7.6-254
    for IsCapCategory, IsFunction, IsInt 7.6-254
AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 7.6-255
    for IsCapCategory, IsFunction, IsInt 7.6-255
AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 7.6-256
    for IsCapCategory, IsFunction, IsInt 7.6-256
AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 7.6-257
    for IsCapCategory, IsFunction, IsInt 7.6-257
AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 7.6-258
    for IsCapCategory, IsFunction, IsInt 7.6-258
AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-259
    for IsCapCategory, IsFunction, IsInt 7.6-259
AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 7.6-260
    for IsCapCategory, IsFunction, IsInt 7.6-260
AddUniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategory, IsFunction 7.6-261
    for IsCapCategory, IsFunction, IsInt 7.6-261
AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 7.6-262
    for IsCapCategory, IsFunction, IsInt 7.6-262
AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 7.6-263
    for IsCapCategory, IsFunction, IsInt 7.6-263
AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 7.6-264
    for IsCapCategory, IsFunction, IsInt 7.6-264
AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 7.6-265
    for IsCapCategory, IsFunction, IsInt 7.6-265
AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 7.6-266
    for IsCapCategory, IsFunction, IsInt 7.6-266
AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 7.6-267
    for IsCapCategory, IsFunction, IsInt 7.6-267
AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 7.6-268
    for IsCapCategory, IsFunction, IsInt 7.6-268
AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 7.6-269
    for IsCapCategory, IsFunction, IsInt 7.6-269
AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 7.6-270
    for IsCapCategory, IsFunction, IsInt 7.6-270
AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 7.6-271
    for IsCapCategory, IsFunction, IsInt 7.6-271
AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 7.6-272
    for IsCapCategory, IsFunction, IsInt 7.6-272
AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 7.6-273
    for IsCapCategory, IsFunction, IsInt 7.6-273
AddVerticalPostCompose, for IsCapCategory, IsFunction 7.6-274
    for IsCapCategory, IsFunction, IsInt 7.6-274
AddVerticalPreCompose, for IsCapCategory, IsFunction 7.6-275
    for IsCapCategory, IsFunction, IsInt 7.6-275
AddZeroMorphism, for IsCapCategory, IsFunction 7.6-276
    for IsCapCategory, IsFunction, IsInt 7.6-276
AddZeroObject, for IsCapCategory, IsFunction 7.6-277
    for IsCapCategory, IsFunction, IsInt 7.6-277
AddZeroObjectFunctorial, for IsCapCategory, IsFunction 7.6-278
    for IsCapCategory, IsFunction, IsInt 7.6-278
AddZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategory, IsFunction 7.6-279
    for IsCapCategory, IsFunction, IsInt 7.6-279
ApplyFunctor 5.4-9
ApplyNaturalTransformation 5.5-4
AsCapCategory, for IsCapCategoryAsCatObject 5.3-2
AsCapCategoryMorphism 3.2-4
AsCapCategoryObject 2.2-4
AsCatObject, for IsCapCategory 5.3-1
AsHomalgMatrix, for IsCapCategoryMorphism 3.2-5
    for IsCapCategoryObject 2.2-5
AsInteger, for IsCapCategoryMorphism 3.2-5
    for IsCapCategoryObject 2.2-5
AsMorphismInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryMorphism 13.3-3
    for IsWrapperCapCategoryObject, IsCapCategoryMorphism, IsWrapperCapCategoryObject 13.3-2
AsObjectInWrapperCategory, for IsWrapperCapCategory, IsCapCategoryObject 13.3-1
AsPrimitiveValue, for IsCapCategoryMorphism 3.2-5
    for IsCapCategoryObject 2.2-5
AstrictionToCoimage, for IsCapCategoryMorphism 6.14-10
AstrictionToCoimageWithGivenCoimageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-11
BasisOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.16-21
BrowseCachingStatistic 9.2-15
BrowseTimingStatistics 1.11-1
CachingStatistic 9.2-14
CanCompute, for IsCapCategory, IsFunction 1.6-1
    for IsCapCategory, IsString 1.6-1
CAP_INTERNAL_ASSERT_IS_CELL_OF_CATEGORY 9.2-10
CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY 9.2-12
CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY 9.2-11
CAP_INTERNAL_ASSERT_IS_TWO_CELL_OF_CATEGORY 9.2-13
CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER 9.2-9
CAP_INTERNAL_CONSTRUCTOR_FOR_TERMINAL_CATEGORY 16.2-3
CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 9.2-7
CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS 10.3-1
CAP_INTERNAL_GET_DATA_TYPE_FROM_STRING 9.2-2
CAP_INTERNAL_GET_DATA_TYPES_FROM_STRINGS 9.2-3
CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 9.2-8
CAP_INTERNAL_REPLACED_STRING_WITH_FILTER 9.2-4
CAP_INTERNAL_REPLACED_STRINGS_WITH_FILTERS 9.2-5
CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-6
CAP_INTERNAL_VALIDATE_LIMITS_IN_NAME_RECORD 10.3-2
CAP_JIT_EXPR_CASE_WRAPPER 9.2-45
CAP_JIT_INCOMPLETE_LOGIC 9.2-44
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-28
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
CapJitAddKnownMethod 9.2-21
CapJitAddTypeSignature 9.2-22
CapJitDataTypeOfCategory 9.2-26
CapJitDataTypeOfElementOfRing 9.2-25
CapJitDataTypeOfListOf 9.2-23
CapJitDataTypeOfMorphismOfCategory 9.2-26
CapJitDataTypeOfNTupleOf 9.2-24
CapJitDataTypeOfObjectOfCategory 9.2-26
CapJitDataTypeOfRing 9.2-25
CapJitDataTypeOfTwoCellOfCategory 9.2-26
CapJitTypedExpression 9.2-27
CAPOperationPrepareFunction 7.5-1
CategoryConstructor, for IsRecord 11.2-1
CategoryFilter, for IsCapCategory 1.4-2
    for IsDerivedMethod 8.2-6
CategoryOfOperationWeightList, for IsOperationWeightList 8.4-4
CoastrictionToImage, for IsCapCategoryMorphism 6.13-6
CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7
CoefficientsOfMorphism, for IsCapCategoryMorphism 3.16-22
Coequalizer 6.10-1
CoequalizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.10-9
CoequalizerFunctorialWithGivenCoequalizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-10
CoequalizerOp, for IsCapCategoryObject, IsList 6.10-2
CoimageObject, for IsCapCategoryMorphism 6.14-7
CoimageObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.14-14
CoimageObjectFunctorialWithGivenCoimageObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.14-15
CoimageProjection, for IsCapCategoryMorphism 6.14-8
CoimageProjectionWithGivenCoimageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-9
CokernelColift, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.2-6
CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.2-7
CokernelObject, for IsCapCategoryMorphism 6.2-1
CokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-9
    for IsList 6.2-8
CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-11
    for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.2-10
CokernelProjection, for IsCapCategoryMorphism 6.2-2
CokernelProjectionWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3
Colift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-8
ColiftAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-2
ColiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-9
CommutativeRingOfLinearCategory, for IsCapCategory 1.4-9
ComponentOfMorphismFromCoproduct, for IsCapCategoryMorphism, IsList, IsInt 6.7-10
ComponentOfMorphismFromDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-19
ComponentOfMorphismIntoDirectProduct, for IsCapCategoryMorphism, IsList, IsInt 6.8-9
ComponentOfMorphismIntoDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-18
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.2-3
CreateCapCategoryObjectWithAttributes 2.2-3
CreateCapCategoryTwoCellWithAttributes 4.2-3
CreateCapCategoryWithDataTypes 1.3-4
CreateDerivation 8.2-2
CreateGapObjectWithAttributes 9.2-55
CurrentOperationWeight, for IsOperationWeightList, IsString 8.4-5
DeactivateCachingOfCategory 1.9-2
DeactivateDefaultCaching 1.9-3
DeactivateDerivationInfo 8.1-3
DerivationFunction, for IsDerivedMethod 8.2-5
DerivationGraph, for IsOperationWeightList 8.4-3
DerivationInfo 8.1-1
DerivationOfOperation, for IsOperationWeightList, IsString 8.4-7
DerivationsOfOperation, for IsDerivedMethodGraph, IsString 8.3-8
DerivationsUsingOperation, for IsDerivedMethodGraph, IsString 8.3-7
Description, for IsDerivedMethod 8.2-3
DirectProduct 6.8-1
DirectProductFunctorial, for IsList, IsList, IsList 6.8-7
DirectProductFunctorialWithGivenDirectProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.8-8
DirectProductOp, for IsList 6.8-2
DirectSum 6.6-1
DirectSumFunctorial, for IsList, IsList, IsList 6.6-20
DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-21
DirectSumOp, for IsList 6.6-2
DisableAddForCategoricalOperations 1.12-1
DisableInputSanityChecks 1.10-1
DisableOutputSanityChecks 1.10-1
DisableSanityChecks 1.10-1
DisableTimingStatistics 1.11-1
DisplayTimingStatistics 1.11-1
DistinguishedObjectOfHomomorphismStructure, for IsCapCategory 3.16-4
DistinguishedObjectOfHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory 3.16-18
Down, for IsObject 1.8-1
DownOnlyMorphismData, for IsCapCategoryMorphism 1.8-2
DownToBottom, for IsObject 1.8-3
DummyCategory, for IsRecord 14.2-4
DummyCommutativeHomalgRing 14.3-8
DummyCommutativeRing 14.1-8
DummyField 14.1-9
DummyHomalgField 14.3-9
DummyHomalgRing 14.3-7
DummyRing 14.1-7
EmbeddingOfEqualizer, for IsCapCategoryObject, IsList 6.9-3
EmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-4
EnableAddForCategoricalOperations 1.12-1
EnableFullInputSanityChecks 1.10-1
EnableFullOutputSanityChecks 1.10-1
EnableFullSanityChecks 1.10-1
EnablePartialInputSanityChecks 1.10-1
EnablePartialOutputSanityChecks 1.10-1
EnablePartialSanityChecks 1.10-1
EnableTimingStatistics 1.11-1
EpimorphismFromProjectiveCoverObject, for IsCapCategoryObject 6.16-2
EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, for IsCapCategoryObject, IsCapCategoryObject 6.16-3
EpimorphismFromSomeProjectiveObject, for IsCapCategoryObject 2.9-2
EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.9-3
Equalizer 6.9-1
EqualizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.9-9
EqualizerFunctorialWithGivenEqualizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-10
EqualizerOp, for IsCapCategoryObject, IsList 6.9-2
ExtendRangeOfHomomorphismStructureByFullEmbedding, for IsCapCategory, IsCapCategory, IsFunction, IsFunction, IsFunction, IsFunction 3.16-18
ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding, for IsCapCategory 3.16-19
FiberProduct 6.11-5
FiberProductEmbeddingInDirectProduct, for IsList 6.11-3
FiberProductEmbeddingInDirectSum, for IsList 6.11-4
FiberProductFunctorial, for IsList, IsList, IsList 6.11-13
FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-14
FiberProductOp, for IsList 6.11-6
FilteredWithKeys 9.2-52
FirstWithKeys 9.2-53
ForAllWithKeys 9.2-49
ForAnyWithKeys 9.2-50
FunctionCalledBeforeInstallation, for IsDerivedMethod 8.2-11
FunctionWithNamedArguments 9.2-1
FunctorCanonicalizeZeroMorphisms, for IsCapCategory 5.4-15
FunctorCanonicalizeZeroObjects, for IsCapCategory 5.4-13
FunctorFromTerminalCategory, for IsCapCategoryObject 16.3-3
FunctorMorphismOperation, for IsCapFunctor 5.4-8
FunctorObjectOperation, for IsCapFunctor 5.4-6
HandlePrecompiledTowers 9.2-43
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.3-3
HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-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.3-1
ImageEmbedding, for IsCapCategoryMorphism 6.13-4
ImageEmbeddingWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-5
ImageObject, for IsCapCategoryMorphism 6.13-3
ImageObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.13-10
ImageObjectFunctorialWithGivenImageObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.13-11
IndecomposableInjectiveObjects, for IsCapCategory 1.4-13
IndecomposableProjectiveObjects, for IsCapCategory 1.4-12
InfoCategoryConstructor 11.1-1
InitialObject, for IsCapCategory 6.5-1
    for IsCapCategoryCell 6.5-2
InitialObjectFunctorial, for IsCapCategory 6.5-5
InitialObjectFunctorialWithGivenInitialObjects, for IsCapCategoryObject, IsCapCategoryObject 6.5-6
InjectionOfCofactorOfCoproduct, for IsList, IsInt 6.7-4
InjectionOfCofactorOfCoproductWithGivenCoproduct, for IsList, IsInt, IsCapCategoryObject 6.7-5
InjectionOfCofactorOfDirectSum, for IsList, IsInt 6.6-5
InjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject 6.6-6
InjectionOfCofactorOfPushout, for IsList, IsInt 6.12-7
InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject 6.12-8
InjectiveColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.10-4
InjectiveDimension, for IsCapCategoryObject 2.12-2
InjectiveEnvelopeObject, for IsCapCategoryObject 6.16-4
InputSignature, for IsCapFunctor 5.4-10
InstallDeprecatedAlias 9.2-16
InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-10
InstallFunctor, for IsCapFunctor, IsString 5.4-11
InstallMethodForCompilerForCAP 9.2-19
InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 5.5-5
InstallOtherMethodForCompilerForCAP 9.2-20
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategoryMorphism 3.16-5
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryMorphism 3.16-18
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-6
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjectsExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.16-18
InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-7
InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphismExtendedByFullEmbedding, for IsCapCategory, IsCapCategory, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.16-18
InverseForMorphisms, for IsCapCategoryMorphism 3.13-1
InverseOfMorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-3
InverseOfMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-4
IsAbCategory, for IsCapCategory 1.2-10
IsAbelianCategory, for IsCapCategory 1.2-15
IsAbelianCategoryWithEnoughInjectives, for IsCapCategory 1.2-17
IsAbelianCategoryWithEnoughProjectives, for IsCapCategory 1.2-16
IsAdditiveCategory, for IsCapCategory 1.2-13
IsApplicableToCategory, for IsDerivedMethod, IsCapCategory 8.2-7
IsAutomorphism, for IsCapCategoryMorphism 3.6-4
IsBijectiveObject, for IsCapCategoryObject 2.4-1
IsCapCategory, for IsAttributeStoringRep 1.1-1
IsCapCategoryAsCatObject, for IsCapCategoryObject 5.2-1
IsCapCategoryCell, for IsAttributeStoringRep 1.1-2
IsCapCategoryMorphism, for IsCapCategoryCell 1.1-4
IsCapCategoryObject, for IsCapCategoryCell 1.1-3
IsCapCategoryTwoCell, for IsCapCategoryCell 1.1-5
IsCapFunctor, for IsCapCategoryMorphism 5.2-2
IsCapNaturalTransformation, for IsCapCategoryTwoCell 5.2-3
IsCapTerminalCategoryWithMultipleObjects, for IsCapCategory 16.1-4
IsCapTerminalCategoryWithSingleObject, for IsCapCategory 16.1-1
IsCategoryWithDecidableColifts, for IsCapCategory 1.2-4
IsCategoryWithDecidableLifts, for IsCapCategory 1.2-3
IsCategoryWithInitialObject, for IsCapCategory 1.2-5
IsCategoryWithTerminalObject, for IsCapCategory 1.2-6
IsCategoryWithZeroObject, for IsCapCategory 1.2-7
IsCodominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-4
IsColiftable, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-10
IsColiftableAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-4
IsCongruentForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1
IsDerivedMethod, for IsAttributeStoringRep 8.2-1
IsDerivedMethodGraph, for IsAttributeStoringRep 8.3-1
IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3
IsDummyCategory, for IsCapCategory 14.2-1
IsDummyCategoryMorphism, for IsCapCategoryMorphism 14.2-3
IsDummyCategoryObject, for IsCapCategoryObject 14.2-2
IsDummyCommutativeHomalgRing 14.3-3
IsDummyCommutativeHomalgRingElement 14.3-4
IsDummyCommutativeRing 14.1-3
IsDummyCommutativeRingElement 14.1-4
IsDummyField 14.1-5
IsDummyFieldElement 14.1-6
IsDummyHomalgField 14.3-5
IsDummyHomalgFieldElement 14.3-6
IsDummyHomalgRing 14.3-1
IsDummyHomalgRingElement 14.3-2
IsDummyRing 14.1-1
IsDummyRingElement 14.1-2
IsEndomorphism, for IsCapCategoryMorphism 3.6-3
IsEnrichedOverCommutativeRegularSemigroup, for IsCapCategory 1.2-8
IsEpimorphism, for IsCapCategoryMorphism 3.4-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.6-1
IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-2
IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3
IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.3-1
IsEqualToIdentityMorphism, for IsCapCategoryMorphism 3.6-1
IsEqualToZeroMorphism, for IsCapCategoryMorphism 3.6-2
IsEquippedWithHomomorphismStructure, for IsCapCategory 1.2-2
IsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 3.15-1
IsIdempotent, for IsCapCategoryMorphism 3.4-7
IsInitial, for IsCapCategoryObject 2.4-5
IsInjective, for IsCapCategoryObject 2.4-3
IsIsomorphicForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.3-2
IsIsomorphism, for IsCapCategoryMorphism 3.4-3
IsLiftable, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-7
IsLiftableAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-3
IsLinearCategoryOverCommutativeRing, for IsCapCategory 1.2-11
IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms, for IsCapCategory 1.2-12
IsLocallyOfFiniteInjectiveDimension, for IsCapCategory 1.2-19
IsLocallyOfFiniteProjectiveDimension, for IsCapCategory 1.2-18
IsMonomorphism, for IsCapCategoryMorphism 3.4-1
IsMorphismInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryMorphism 16.1-6
IsMorphismInCapTerminalCategoryWithSingleObject, for IsCapCategoryMorphism 16.1-3
IsObjectInCapTerminalCategoryWithMultipleObjects, for IsCapCategoryObject 16.1-5
IsObjectInCapTerminalCategoryWithSingleObject, for IsCapCategoryObject 16.1-2
IsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsList 6.12-2
IsomorphismFromCoequalizerToCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-12
IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism 6.14-5
IsomorphismFromCokernelOfJointPairwiseDifferencesOfMorphismsFromCoproductToCoequalizer, for IsCapCategoryObject, IsList 6.10-13
IsomorphismFromCokernelOfKernelToCoimage, for IsCapCategoryMorphism 6.14-6
IsomorphismFromCoproductToDirectSum, for IsList 6.6-14
IsomorphismFromDirectProductToDirectSum, for IsList 6.6-12
IsomorphismFromDirectSumToCoproduct, for IsList 6.6-13
IsomorphismFromDirectSumToDirectProduct, for IsList 6.6-11
IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsList 6.11-2
IsomorphismFromEqualizerToKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-12
IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsList 6.11-1
IsomorphismFromHomologyObjectToItsConstructionAsAnImageObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-4
IsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategoryMorphism 6.13-1
IsomorphismFromInitialObjectToZeroObject, for IsCapCategory 6.3-10
IsomorphismFromItsConstructionAsAnImageObjectToHomologyObject, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.15-5
IsomorphismFromKernelOfCokernelToImageObject, for IsCapCategoryMorphism 6.13-2
IsomorphismFromKernelOfJointPairwiseDifferencesOfMorphismsIntoDirectProductToEqualizer, for IsCapCategoryObject, IsList 6.9-13
IsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsList 6.12-1
IsomorphismFromTerminalObjectToZeroObject, for IsCapCategory 6.3-12
IsomorphismFromZeroObjectToInitialObject, for IsCapCategory 6.3-9
IsomorphismFromZeroObjectToTerminalObject, for IsCapCategory 6.3-11
IsOne, for IsCapCategoryMorphism 3.4-6
IsOperationWeightList, for IsAttributeStoringRep 8.4-1
IsPreAbelianCategory, for IsCapCategory 1.2-14
IsProjective, for IsCapCategoryObject 2.4-2
IsSkeletalCategory, for IsCapCategory 1.2-9
IsSpecializationOfFilter 9.2-17
IsSpecializationOfFilterList 9.2-18
IsSplitEpimorphism, for IsCapCategoryMorphism 3.4-5
IsSplitMonomorphism, for IsCapCategoryMorphism 3.4-4
IsTerminal, for IsCapCategoryObject 2.4-4
IsTerminalCategory, for IsCapCategory 16.1-7
IsWellDefined, for IsCapCategoryCell 1.7-1
IsWellDefinedForMorphisms, for IsCapCategoryMorphism 3.11-1
IsWellDefinedForMorphismsWithGivenSourceAndRange, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 3.11-2
IsWellDefinedForObjects, for IsCapCategoryObject 2.8-1
IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 4.4-1
IsWrapperCapCategory, for IsCapCategory 13.1-1
IsWrapperCapCategoryMorphism, for IsCapCategoryMorphism 13.1-3
IsWrapperCapCategoryObject, for IsCapCategoryObject 13.1-2
IsZero, for IsCapCategoryObject 2.4-7
IsZeroForMorphisms, for IsCapCategoryMorphism 3.8-1
IsZeroForObjects, for IsCapCategoryObject 2.4-6
Iterated, for IsList, IsFunction, IsObject 9.2-29
    for IsList, IsFunction, IsObject, IsObject 9.2-30
JointPairwiseDifferencesOfMorphismsFromCoproduct, for IsCapCategoryObject, IsList 6.10-11
JointPairwiseDifferencesOfMorphismsIntoDirectProduct, for IsCapCategoryObject, IsList 6.9-11
KernelEmbedding, for IsCapCategoryMorphism 6.1-2
KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3
KernelLift, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism 6.1-6
KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.1-7
KernelObject, for IsCapCategoryMorphism 6.1-1
KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-9
    for IsList 6.1-8
KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-11
    for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-10
LastWithKeys 9.2-54
LaTeXOutput, for IsCapCategory 1.14-2
    for IsCapCategoryCell 1.14-1
Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-5
LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1
LiftOrFail, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-6
LinearCombinationOfMorphisms, for IsCapCategoryObject, IsList, IsList, IsCapCategoryObject 3.10-9
ListCAPPrepareFunctions 7.5-3
ListWithKeys 9.2-46
MakeDerivationGraph, for IsDenseList 8.3-2
MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2
MereExistenceOfSolutionOfLinearSystemInAbCategory, for IsList, IsList, IsList 3.16-10
MissingOperationsForConstructivenessOfCategory, for IsCapCategory, IsString 1.6-3
ModelingCategory, for IsCapCategory 12.5-1
ModelingMorphism, for IsCapCategory, IsCapCategoryMorphism 12.6-5
ModelingObject, for IsCapCategory, IsCapCategoryObject 12.6-3
MonomorphismIntoInjectiveEnvelopeObject, for IsCapCategoryObject 6.16-5
MonomorphismIntoInjectiveEnvelopeObjectWithGivenInjectiveEnvelopeObject, for IsCapCategoryObject, IsCapCategoryObject 6.16-6
MonomorphismIntoSomeInjectiveObject, for IsCapCategoryObject 2.10-2
MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.10-3
MorphismBetweenDirectSums, for IsList 6.6-16
    for IsList, IsList, IsList 6.6-15
MorphismBetweenDirectSumsWithGivenDirectSums, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.6-17
MorphismCache, for IsCapFunctor 9.1-2
MorphismConstructor, for IsCapCategoryObject, IsObject, IsCapCategoryObject 3.3-1
MorphismDatum, for IsCapCategoryMorphism 3.3-2
MorphismDatumType, for IsCapCategory 1.4-7
MorphismFilter, for IsCapCategory 1.4-4
MorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-1
MorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2
MorphismFromEqualizerToSink, for IsCapCategoryObject, IsList 6.9-5
MorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-6
MorphismFromFiberProductToSink, for IsList 6.11-9
MorphismFromFiberProductToSinkWithGivenFiberProduct, for IsList, IsCapCategoryObject 6.11-10
MorphismFromKernelObjectToSink, for IsCapCategoryMorphism 6.1-4
MorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5
MorphismFromSourceToCoequalizer, for IsCapCategoryObject, IsList 6.10-5
MorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-6
MorphismFromSourceToCokernelObject, for IsCapCategoryMorphism 6.2-4
MorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5
MorphismFromSourceToPushout, for IsList 6.12-9
MorphismFromSourceToPushoutWithGivenPushout, for IsList, IsCapCategoryObject 6.12-10
MorphismFromZeroObject, for IsCapCategoryObject 6.3-7
MorphismIntoZeroObject, for IsCapCategoryObject 6.3-8
MorphismsOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.16-20
MultiplyWithElementOfCommutativeRingForMorphisms, for IsRingElement, IsCapCategoryMorphism 3.8-5
Name, for IsCapCategory 1.4-1
    for IsCapNaturalTransformation 5.5-1
NaturalIsomorphismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 5.4-16
NaturalIsomorphismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 5.4-14
NaturalTransformation, for IsCapFunctor, IsCapFunctor 5.5-2
NTuple 9.2-39
NumberWithKeys 9.2-51
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
Operations, for IsDerivedMethodGraph 8.3-6
OperationWeight, for IsCapCategory, IsString 1.6-2
OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6
PackageOfCAPOperation 9.2-32
Pair 9.2-40
PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-5
    for IsList 3.10-6
PostComposeList, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-7
PostInverseForMorphisms, for IsCapCategoryMorphism 3.13-3
PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-2
    for IsList 3.10-3
PreComposeList, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-4
PreInverseForMorphisms, for IsCapCategoryMorphism 3.13-2
PrintDerivationTree, for IsOperationWeightList, IsString 8.4-12
PrintTree, for IsObject, IsFunction, IsFunction 8.4-13
PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt 8.4-14
ProductWithKeys 9.2-48
ProjectionInFactorOfDirectProduct, for IsList, IsInt 6.8-3
ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject 6.8-4
ProjectionInFactorOfDirectSum, for IsList, IsInt 6.6-3
ProjectionInFactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject 6.6-4
ProjectionInFactorOfFiberProduct, for IsList, IsInt 6.11-7
ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject 6.11-8
ProjectionOntoCoequalizer, for IsCapCategoryObject, IsList 6.10-3
ProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-4
ProjectiveCoverObject, for IsCapCategoryObject 6.16-1
ProjectiveDimension, for IsCapCategoryObject 2.12-1
ProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4
Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-6
    for IsList 6.12-5
PushoutFunctorial, for IsList, IsList, IsList 6.12-13
PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-14
PushoutProjectionFromCoproduct, for IsList 6.12-3
PushoutProjectionFromDirectSum, for IsList 6.12-4
RandomMorphism, for IsCapCategory, IsInt 3.5-9
    for IsCapCategory, IsList 3.5-9
    for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-9
    for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-9
RandomMorphismByInteger, for IsCapCategory, IsInt 3.5-7
RandomMorphismByList, for IsCapCategory, IsList 3.5-8
RandomMorphismWithFixedRange, for IsCapCategoryObject, IsInt 3.5-9
    for IsCapCategoryObject, IsList 3.5-9
RandomMorphismWithFixedRangeByInteger, for IsCapCategoryObject, IsInt 3.5-3
RandomMorphismWithFixedRangeByList, for IsCapCategoryObject, IsList 3.5-4
RandomMorphismWithFixedSource, for IsCapCategoryObject, IsInt 3.5-9
    for IsCapCategoryObject, IsList 3.5-9
RandomMorphismWithFixedSourceAndRange, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-9
    for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-9
RandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.5-5
RandomMorphismWithFixedSourceAndRangeByList, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.5-6
RandomMorphismWithFixedSourceByInteger, for IsCapCategoryObject, IsInt 3.5-1
RandomMorphismWithFixedSourceByList, for IsCapCategoryObject, IsList 3.5-2
RandomObject, for IsCapCategory, IsInt 2.5-3
    for IsCapCategory, IsList 2.5-4
RandomObjectByInteger, for IsCapCategory, IsInt 2.5-1
RandomObjectByList, for IsCapCategory, IsList 2.5-2
Range, for IsCapCategoryMorphism 3.1-3
    for IsCapCategoryTwoCell 4.1-2
RangeCategoryOfHomomorphismStructure, for IsCapCategory 1.4-10
RangeOfFunctor, for IsCapFunctor 5.4-4
Reevaluate, for IsOperationWeightList 8.4-9
ReinterpretationFunctor, for IsCapCategory 12.6-2
ReinterpretationOfCategory, for IsCapCategory, IsRecord 12.6-1
ReinterpretationOfMorphism, for IsCapCategory, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 12.6-6
ReinterpretationOfObject, for IsCapCategory, IsCapCategoryObject 12.6-4
ResetTimingStatistics 1.11-1
SafeFirst, for IsList, IsFunction 9.2-37
SafePosition, for IsList, IsObject 9.2-33
SafePositionProperty, for IsList, IsFunction 9.2-35
SafeUniqueEntry, for IsList, IsFunction 9.2-38
SafeUniquePosition, for IsList, IsObject 9.2-34
SafeUniquePositionProperty, for IsList, IsFunction 9.2-36
Saturate, for IsOperationWeightList 8.4-10
SetCachingOfCategory 1.9-1
SetCachingOfCategoryCrisp 1.9-2
SetCachingOfCategoryWeak 1.9-2
SetDefaultCaching 1.9-3
SetDefaultCachingCrisp 1.9-3
SetDefaultCachingWeak 1.9-3
Simplify, for IsCapCategoryMorphism 3.17-16
    for IsCapCategoryObject 2.11-1
SimplifyEndo, for IsCapCategoryMorphism, IsObject 3.17-13
SimplifyEndo_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.17-15
SimplifyEndo_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.17-14
SimplifyMorphism, for IsCapCategoryMorphism, IsObject 3.17-1
SimplifyObject, for IsCapCategoryObject, IsObject 2.11-2
SimplifyObject_IsoFromInputObject, for IsCapCategoryObject, IsObject 2.11-3
SimplifyObject_IsoToInputObject, for IsCapCategoryObject, IsObject 2.11-4
SimplifyRange, for IsCapCategoryMorphism, IsObject 3.17-5
SimplifyRange_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.17-7
SimplifyRange_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.17-6
SimplifySource, for IsCapCategoryMorphism, IsObject 3.17-2
SimplifySource_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.17-4
SimplifySource_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.17-3
SimplifySourceAndRange, for IsCapCategoryMorphism, IsObject 3.17-8
SimplifySourceAndRange_IsoFromInputRange, for IsCapCategoryMorphism, IsObject 3.17-10
SimplifySourceAndRange_IsoFromInputSource, for IsCapCategoryMorphism, IsObject 3.17-12
SimplifySourceAndRange_IsoToInputRange, for IsCapCategoryMorphism, IsObject 3.17-9
SimplifySourceAndRange_IsoToInputSource, for IsCapCategoryMorphism, IsObject 3.17-11
SolveLinearSystemInAbCategory, for IsList, IsList, IsList 3.16-8
SolveLinearSystemInAbCategoryOrFail, for IsList, IsList, IsList 3.16-9
SomeInjectiveObject, for IsCapCategoryObject 2.10-1
SomeIsomorphismBetweenObjects, for IsCapCategoryObject, IsCapCategoryObject 2.3-3
SomeProjectiveObject, for IsCapCategoryObject 2.9-1
SomeReductionBySplitEpiSummand, for IsCapCategoryMorphism 3.18-1
SomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategoryMorphism 3.18-3
SomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategoryMorphism 3.18-2
Source, for IsCapCategoryMorphism 3.1-2
    for IsCapCategoryTwoCell 4.1-1
SourceOfFunctor, for IsCapFunctor 5.4-3
SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3
SumOfMorphisms, for IsCapCategoryObject, IsList, IsCapCategoryObject 3.10-8
SumWithKeys 9.2-47
Target, for IsCapCategoryMorphism 3.1-4
    for IsCapCategoryTwoCell 4.1-3
TargetOperation, for IsDerivedMethod 8.2-8
TerminalCategoryWithMultipleObjects 16.2-2
TerminalCategoryWithSingleObject 16.2-1
TerminalCategoryWithSingleObjectUniqueMorphism, for IsCapTerminalCategoryWithSingleObject 16.3-2
TerminalCategoryWithSingleObjectUniqueObject, for IsCapTerminalCategoryWithSingleObject 16.3-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-31
TransposedMatWithGivenDimensions 9.2-42
TriggerDerivationsUsingOperation, for IsOperationWeightList, IsString 8.4-8
Triple 9.2-41
TwoCellDatumType, for IsCapCategory 1.4-8
TwoCellFilter, for IsCapCategory 1.4-5
UnderlyingCell, for IsWrapperCapCategoryMorphism 13.2-2
    for IsWrapperCapCategoryObject 13.2-1
UniversalMorphismFromCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.10-7
UniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.10-8
UniversalMorphismFromCoproduct, for IsList, IsCapCategoryObject, IsList 6.7-6
UniversalMorphismFromCoproductWithGivenCoproduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.7-7
UniversalMorphismFromDirectSum, for IsList, IsCapCategoryObject, IsList 6.6-9
UniversalMorphismFromDirectSumWithGivenDirectSum, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-10
UniversalMorphismFromImage, for IsCapCategoryMorphism, IsList 6.13-8
UniversalMorphismFromImageWithGivenImageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-9
UniversalMorphismFromInitialObject, for IsCapCategoryObject 6.5-3
UniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategoryObject, IsCapCategoryObject 6.5-4
UniversalMorphismFromPushout, for IsList, IsCapCategoryObject, IsList 6.12-11
UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-12
UniversalMorphismFromZeroObject, for IsCapCategoryObject 6.3-3
UniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-4
UniversalMorphismIntoCoimage, for IsCapCategoryMorphism, IsList 6.14-12
UniversalMorphismIntoCoimageWithGivenCoimageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-13
UniversalMorphismIntoDirectProduct, for IsList, IsCapCategoryObject, IsList 6.8-5
UniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-6
UniversalMorphismIntoDirectSum, for IsList, IsCapCategoryObject, IsList 6.6-7
UniversalMorphismIntoDirectSumWithGivenDirectSum, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-8
UniversalMorphismIntoEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism 6.9-7
UniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.9-8
UniversalMorphismIntoFiberProduct, for IsList, IsCapCategoryObject, IsList 6.11-11
UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-12
UniversalMorphismIntoTerminalObject, for IsCapCategoryObject 6.4-3
UniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategoryObject, IsCapCategoryObject 6.4-4
UniversalMorphismIntoZeroObject, for IsCapCategoryObject 6.3-5
UniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-6
UsedOperationsWithMultiplesAndCategoryGetters, for IsDerivedMethod 8.2-9
VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-5
VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.3-4
WrapperCategory, for IsCapCategory, IsRecord 13.3-5
WrappingFunctor, for IsWrapperCapCategory 13.3-6
ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject 3.8-7
ZeroObject, for IsCapCategory 6.3-1
    for IsCapCategoryCell 6.3-2
ZeroObjectFunctorial, for IsCapCategory 6.3-13
ZeroObjectFunctorialWithGivenZeroObjects, for IsCapCategoryObject, IsCapCategoryObject 6.3-14

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

generated by GAPDoc2HTML