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

Index

\*, for IsRingElement, IsCapCategoryMorphism 3.7-10
ActivateDerivationInfo 8.1-2
Add, for IsCapCategory, IsCapCategoryMorphism 3.5-1
    for IsCapCategory, IsCapCategoryObject 2.6-1
    for IsStringMinHeap, IsString, IsInt 8.5-3
AddAdditionForMorphisms, for IsCapCategory, IsFunction 3.7-4
AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 3.7-8
AddAstrictionToCoimage, for IsCapCategory, IsFunction 6.14-21
AddAstrictionToCoimageWithGivenCoimage, for IsCapCategory, IsFunction 6.14-22
AddBasisOfExternalHom, for IsCapCategory, IsFunction 3.15-22
AddCanonicalIdentificationFromCoimageToImageObject, for IsCapCategory, IsFunction 6.14-28
AddCanonicalIdentificationFromImageObjectToCoimage, for IsCapCategory, IsFunction 6.14-26
AddCategoricalProperty 1.1-6
AddCoastrictionToImage, for IsCapCategory, IsFunction 6.13-15
AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 6.13-16
AddCoefficientsOfMorphismWithGivenBasisOfExternalHom, for IsCapCategory, IsFunction 3.15-24
AddCoequalizer, for IsCapCategory, IsFunction 6.10-11
AddCoequalizerFunctorialWithGivenCoequalizers, for IsCapCategory, IsFunction 6.10-20
AddCoimage, for IsCapCategory, IsFunction 6.14-18
AddCoimageProjection, for IsCapCategory, IsFunction 6.14-19
AddCoimageProjectionWithGivenCoimage, for IsCapCategory, IsFunction 6.14-20
AddCokernelColift, for IsCapCategory, IsFunction 6.2-13
AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 6.2-14
AddCokernelObject, for IsCapCategory, IsFunction 6.2-8
AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 6.2-19
AddCokernelProjection, for IsCapCategory, IsFunction 6.2-9
AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 6.2-10
AddColift, for IsCapCategory, IsFunction 3.11-12
AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 3.11-4
AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 6.6-28
AddComponentOfMorphismIntoDirectSum, for IsCapCategory, IsFunction 6.6-27
AddCoproduct, for IsCapCategory, IsFunction 6.7-11
AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 6.7-18
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 6.8-8
AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction 6.8-15
AddDirectSum, for IsCapCategory, IsFunction 6.6-41
AddDirectSumCodiagonalDifference, for IsCapCategory, IsFunction 6.12-15
AddDirectSumDiagonalDifference, for IsCapCategory, IsFunction 6.11-15
AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 6.6-44
AddDirectSumProjectionInPushout, for IsCapCategory, IsFunction 6.12-18
AddDistinguishedObjectOfHomomorphismStructure, for IsCapCategory, IsFunction 3.15-7
AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 6.9-12
AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 6.9-13
AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 2.8-6
AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 2.8-7
AddEqualizer, for IsCapCategory, IsFunction 6.9-11
AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 6.9-20
AddFiberProduct, for IsCapCategory, IsFunction 6.11-30
AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction 6.11-18
AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 6.11-39
AddHomologyObject, for IsCapCategory, IsFunction 6.15-6
AddHomologyObjectFunctorialWithGivenHomologyObjects, for IsCapCategory, IsFunction 6.15-7
AddHomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategory, IsFunction 3.15-5
AddHomomorphismStructureOnObjects, for IsCapCategory, IsFunction 3.15-2
AddHorizontalPostCompose, for IsCapCategory, IsFunction 4.2-6
AddHorizontalPreCompose, for IsCapCategory, IsFunction 4.2-4
AddIdentityMorphism, for IsCapCategory, IsFunction 3.9-2
AddIdentityTwoCell, for IsCapCategory, IsFunction 4.2-2
AddImageEmbedding, for IsCapCategory, IsFunction 6.13-13
AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 6.13-14
AddImageObject, for IsCapCategory, IsFunction 6.13-12
AddInitialObject, for IsCapCategory, IsFunction 6.5-5
AddInitialObjectFunctorial, for IsCapCategory, IsFunction 6.5-9
AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 6.7-12
AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 6.7-13
AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 6.6-31
AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-32
AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 6.12-32
AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 6.12-33
AddInjectiveColift, for IsCapCategory, IsFunction 2.9-8
AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategory, IsFunction 3.15-9
AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategory, IsFunction 3.15-11
AddInverse, for IsCapCategory, IsFunction 3.12-2
AddInverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 6.14-6
AddIsAutomorphism, for IsCapCategory, IsFunction 3.4-8
AddIsCodominating, for IsCapCategory, IsFunction 3.8-8
AddIsColiftable, for IsCapCategory, IsFunction 3.11-16
AddIsColiftableAlongEpimorphism, for IsCapCategory, IsFunction 3.11-8
AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 3.6-2
AddIsDominating, for IsCapCategory, IsFunction 3.8-6
AddIsEndomorphism, for IsCapCategory, IsFunction 3.4-6
AddIsEpimorphism, for IsCapCategory, IsFunction 3.2-4
AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 3.8-4
AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 3.8-2
AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 3.13-2
AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 2.5-2
AddIsEqualForMorphisms, for IsCapCategory, IsFunction 3.6-4
AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 3.6-6
AddIsEqualForObjects, for IsCapCategory, IsFunction 2.2-2
AddIsHomSetInhabited, for IsCapCategory, IsFunction 3.14-2
AddIsIdempotent, for IsCapCategory, IsFunction 3.2-14
AddIsIdenticalToIdentityMorphism, for IsCapCategory, IsFunction 3.4-2
AddIsIdenticalToZeroMorphism, for IsCapCategory, IsFunction 3.4-4
AddIsInitial, for IsCapCategory, IsFunction 2.3-8
AddIsInjective, for IsCapCategory, IsFunction 2.3-4
AddIsIsomorphism, for IsCapCategory, IsFunction 3.2-6
AddIsLiftable, for IsCapCategory, IsFunction 3.11-14
AddIsLiftableAlongMonomorphism, for IsCapCategory, IsFunction 3.11-6
AddIsMonomorphism, for IsCapCategory, IsFunction 3.2-2
AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 6.12-12
AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 6.14-8
AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsCapCategory, IsFunction 6.12-6
AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction 6.14-10
AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction 6.6-40
AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction 6.6-38
AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction 6.6-39
AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction 6.6-37
AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsCapCategory, IsFunction 6.11-12
AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsCapCategory, IsFunction 6.11-9
AddIsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsCapCategory, IsFunction 6.11-3
AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction 6.13-2
AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction 6.3-19
AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 6.13-4
AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsCapCategory, IsFunction 6.11-6
AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 6.12-9
AddIsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsCapCategory, IsFunction 6.12-3
AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction 6.3-21
AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction 6.3-18
AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction 6.3-20
AddIsOne, for IsCapCategory, IsFunction 3.2-12
AddIsProjective, for IsCapCategory, IsFunction 2.3-2
AddIsSplitEpimorphism, for IsCapCategory, IsFunction 3.2-10
AddIsSplitMonomorphism, for IsCapCategory, IsFunction 3.2-8
AddIsTerminal, for IsCapCategory, IsFunction 2.3-6
AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 3.10-2
AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 2.7-2
AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 4.3-2
AddIsZeroForMorphisms, for IsCapCategory, IsFunction 3.7-2
AddIsZeroForObjects, for IsCapCategory, IsFunction 2.3-11
AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3
AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.7-7
AddKernelEmbedding, for IsCapCategory, IsFunction 6.1-9
AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 6.1-10
AddKernelLift, for IsCapCategory, IsFunction 6.1-13
AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 6.1-14
AddKernelObject, for IsCapCategory, IsFunction 6.1-8
AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 6.1-19
AddLift, for IsCapCategory, IsFunction 3.11-10
AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 3.11-2
AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 2.9-6
AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 2.9-7
AddMorphism, for IsCapCategory, IsAttributeStoringRep 3.5-2
AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 6.6-23
AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 6.14-3
AddMorphismFromEqualizerToSink, for IsCapCategory, IsFunction 6.9-14
AddMorphismFromEqualizerToSinkWithGivenEqualizer, for IsCapCategory, IsFunction 6.9-15
AddMorphismFromFiberProductToSink, for IsCapCategory, IsFunction 6.11-33
AddMorphismFromFiberProductToSinkWithGivenFiberProduct, for IsCapCategory, IsFunction 6.11-34
AddMorphismFromKernelObjectToSink, for IsCapCategory, IsFunction 6.1-11
AddMorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategory, IsFunction 6.1-12
AddMorphismFromSourceToCoequalizer, for IsCapCategory, IsFunction 6.10-14
AddMorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 6.10-15
AddMorphismFromSourceToCokernelObject, for IsCapCategory, IsFunction 6.2-11
AddMorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategory, IsFunction 6.2-12
AddMorphismFromSourceToPushout, for IsCapCategory, IsFunction 6.12-34
AddMorphismFromSourceToPushoutWithGivenPushout, for IsCapCategory, IsFunction 6.12-35
AddMorphismFunction, for IsCapFunctor, IsFunction 5.4-7
AddMorphismRepresentation, for IsCapCategory, IsObject 3.5-3
AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 3.7-11
AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 5.5-3
AddObject, for IsCapCategory, IsAttributeStoringRep 2.6-2
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 3.9-8
AddPreCompose, for IsCapCategory, IsFunction 3.9-5
AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-11
AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 6.8-9
AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 6.8-10
AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 6.6-29
AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-30
AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 6.11-31
AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 6.11-32
AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 6.10-12
AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 6.10-13
AddProjectiveLift, for IsCapCategory, IsFunction 2.8-8
AddPushout, for IsCapCategory, IsFunction 6.12-31
AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 6.12-40
AddRandomMorphismByInteger, for IsCapCategory, IsFunction 3.3-14
AddRandomMorphismByList, for IsCapCategory, IsFunction 3.3-16
AddRandomMorphismWithFixedRangeByInteger, for IsCapCategory, IsFunction 3.3-6
AddRandomMorphismWithFixedRangeByList, for IsCapCategory, IsFunction 3.3-8
AddRandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategory, IsFunction 3.3-10
AddRandomMorphismWithFixedSourceAndRangeByList, for IsCapCategory, IsFunction 3.3-12
AddRandomMorphismWithFixedSourceByInteger, for IsCapCategory, IsFunction 3.3-2
AddRandomMorphismWithFixedSourceByList, for IsCapCategory, IsFunction 3.3-4
AddRandomObjectByInteger, for IsCapCategory, IsFunction 2.4-2
AddRandomObjectByList, for IsCapCategory, IsFunction 2.4-4
AddSimplifyEndo, for IsCapCategory, IsFunction 3.16-26
AddSimplifyEndo_IsoFromInputObject, for IsCapCategory, IsFunction 3.16-30
AddSimplifyEndo_IsoToInputObject, for IsCapCategory, IsFunction 3.16-28
AddSimplifyMorphism, for IsCapCategory, IsFunction 3.16-2
AddSimplifyObject, for IsCapCategory, IsFunction 2.10-3
AddSimplifyObject_IsoFromInputObject, for IsCapCategory, IsFunction 2.10-5
AddSimplifyObject_IsoToInputObject, for IsCapCategory, IsFunction 2.10-7
AddSimplifyRange, for IsCapCategory, IsFunction 3.16-10
AddSimplifyRange_IsoFromInputObject, for IsCapCategory, IsFunction 3.16-14
AddSimplifyRange_IsoToInputObject, for IsCapCategory, IsFunction 3.16-12
AddSimplifySource, for IsCapCategory, IsFunction 3.16-4
AddSimplifySource_IsoFromInputObject, for IsCapCategory, IsFunction 3.16-8
AddSimplifySource_IsoToInputObject, for IsCapCategory, IsFunction 3.16-6
AddSimplifySourceAndRange, for IsCapCategory, IsFunction 3.16-16
AddSimplifySourceAndRange_IsoFromInputRange, for IsCapCategory, IsFunction 3.16-20
AddSimplifySourceAndRange_IsoFromInputSource, for IsCapCategory, IsFunction 3.16-24
AddSimplifySourceAndRange_IsoToInputRange, for IsCapCategory, IsFunction 3.16-18
AddSimplifySourceAndRange_IsoToInputSource, for IsCapCategory, IsFunction 3.16-22
AddSomeInjectiveObject, for IsCapCategory, IsFunction 2.9-5
AddSomeProjectiveObject, for IsCapCategory, IsFunction 2.8-5
AddSomeReductionBySplitEpiSummand, for IsCapCategory, IsFunction 3.17-2
AddSomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategory, IsFunction 3.17-6
AddSomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategory, IsFunction 3.17-4
AddSubtractionForMorphisms, for IsCapCategory, IsFunction 3.7-6
AddTerminalObject, for IsCapCategory, IsFunction 6.4-5
AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 6.4-9
AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 6.10-16
AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 6.10-17
AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 6.7-14
AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 6.7-15
AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 6.6-35
AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-36
AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 6.13-17
AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 6.13-18
AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 6.5-6
AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 6.5-7
AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 6.12-36
AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 6.12-37
AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 6.3-16
AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 6.3-17
AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 6.14-23
AddUniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategory, IsFunction 6.14-24
AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 6.8-11
AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 6.8-12
AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 6.6-33
AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-34
AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 6.9-16
AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 6.9-17
AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 6.11-35
AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 6.11-36
AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 6.4-6
AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 6.4-7
AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 6.3-14
AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 6.3-15
AddVerticalPostCompose, for IsCapCategory, IsFunction 4.2-10
AddVerticalPreCompose, for IsCapCategory, IsFunction 4.2-8
AddWithGivenDerivationPairToCAP 8.3-14
AddZeroMorphism, for IsCapCategory, IsFunction 3.7-13
AddZeroObject, for IsCapCategory, IsFunction 6.3-13
AddZeroObjectFunctorial, for IsCapCategory, IsFunction 6.3-23
ApplyFunctor 5.4-9
ApplyNaturalTransformation 5.5-4
AsCapCategory, for IsCapCategoryAsCatObject 5.3-2
AsCatObject, for IsCapCategory 5.3-1
AstrictionToCoimage, for IsCapCategoryMorphism 6.14-14
AstrictionToCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-15
BasisOfExternalHom, for IsCapCategoryObject, IsCapCategoryObject 3.15-21
BrowseCachingStatistic 9.2-15
CachingStatistic 9.2-14
CanCompute, for IsCapCategory, IsString 1.5-1
CanonicalIdentificationFromCoimageToImageObject, for IsCapCategoryMorphism 6.14-27
CanonicalIdentificationFromImageObjectToCoimage, for IsCapCategoryMorphism 6.14-25
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_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 9.2-8
CAP_INTERNAL_MERGE_FILTER_LISTS 9.2-6
CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 9.2-9
CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS 9.2-5
CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 9.2-7
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
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
CAPOperationPrepareFunction 7.6-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-8
CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-9
CoefficientsOfMorphism, for IsCapCategoryMorphism 3.15-25
CoefficientsOfMorphismWithGivenBasisOfExternalHom, for IsCapCategoryMorphism, IsList 3.15-23
Coequalizer 6.10-1
CoequalizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.10-18
CoequalizerFunctorialWithGivenCoequalizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-19
CoequalizerOp, for IsList, IsCapCategoryMorphism 6.10-2
Coimage, for IsCapCategoryMorphism 6.14-11
CoimageProjection, for IsCapCategoryMorphism 6.14-12
CoimageProjectionWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-13
CokernelColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-6
CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-7
CokernelObject, for IsCapCategoryMorphism 6.2-1
CokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-16
    for IsList 6.2-15
CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-18
    for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.2-17
CokernelProjection, for IsCapCategoryMorphism 6.2-2
CokernelProjectionWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3
Colift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-11
ColiftAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-3
CommutativeRingOfLinearCategory, for IsCapCategory 1.3-6
ComponentOfMorphismFromDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-26
ComponentOfMorphismIntoDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-25
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 6.7-16
CoproductFunctorialWithGivenCoproducts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.7-17
CoproductOp, for IsList, IsCapCategoryObject 6.7-4
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
DirectProductFunctorial, for IsList 6.8-13
DirectProductFunctorialWithGivenDirectProducts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-14
DirectProductOp, for IsList, IsCapCategoryObject 6.8-1
DirectSumCodiagonalDifference, for IsList 6.12-13
DirectSumCodiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.12-14
DirectSumDiagonalDifference, for IsList 6.11-13
DirectSumDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.11-14
DirectSumFunctorial, for IsList 6.6-42
DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-43
DirectSumOp, for IsList, IsCapCategoryObject 6.6-1
DirectSumProjectionInPushout, for IsList 6.12-16
DirectSumProjectionInPushoutOp, for IsList, IsCapCategoryMorphism 6.12-17
DisableAddForCategoricalOperations 1.10-1
DisableInputSanityChecks 1.9-1
DisableOutputSanityChecks 1.9-1
DisableSanityChecks 1.9-1
DistinguishedObjectOfHomomorphismStructure, for IsCapCategory 3.15-6
Down, for IsObject 1.7-1
DownOnlyMorphismData, for IsCapCategoryMorphism 1.7-2
DownToBottom, for IsObject 1.7-3
EmbeddingOfEqualizer, for IsList 6.9-3
EmbeddingOfEqualizerOp, for IsList, IsCapCategoryMorphism 6.9-4
EmbeddingOfEqualizerWithGivenEqualizer, for IsList, IsCapCategoryObject 6.9-5
EnableAddForCategoricalOperations 1.10-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
EpimorphismFromSomeProjectiveObject, for IsCapCategoryObject 2.8-2
EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.8-3
Equalizer 6.9-1
EqualizerFunctorial, for IsList, IsCapCategoryMorphism, IsList 6.9-18
EqualizerFunctorialWithGivenEqualizers, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-19
EqualizerOp, for IsList, IsCapCategoryMorphism 6.9-2
ExtractMin, for IsStringMinHeap 8.5-4
FiberProduct 6.11-19
FiberProductEmbeddingInDirectSum, for IsList 6.11-16
FiberProductEmbeddingInDirectSumOp, for IsList, IsCapCategoryMorphism 6.11-17
FiberProductFunctorial, for IsList, IsList, IsList 6.11-37
FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-38
FiberProductOp, for IsList, IsCapCategoryMorphism 6.11-20
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
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.15-3
HomomorphismStructureOnMorphismsWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.15-4
HomomorphismStructureOnObjects, for IsCapCategoryObject, IsCapCategoryObject 3.15-1
HomStructure, for IsCapCategory 3.15-20
    for IsCapCategoryMorphism 3.15-18
    for IsCapCategoryMorphism, IsCapCategoryMorphism 3.15-14
    for IsCapCategoryMorphism, IsCapCategoryObject 3.15-15
    for IsCapCategoryObject, IsCapCategoryMorphism 3.15-16
    for IsCapCategoryObject, IsCapCategoryObject 3.15-17
    for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.15-19
HorizontalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-5
HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-3
HorizontalPreComposeFunctorWithNaturalTransformation, for IsCapFunctor, IsCapNaturalTransformation 5.5-7
HorizontalPreComposeNaturalTransformationWithFunctor, for IsCapNaturalTransformation, IsCapFunctor 5.5-6
IdentityFunctor, for IsCapCategory 5.4-12
IdentityMorphism, for IsCapCategoryObject 3.9-1
IdentityTwoCell, for IsCapCategoryMorphism 4.2-1
ImageEmbedding, for IsCapCategoryMorphism 6.13-6
ImageEmbeddingWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7
ImageObject, for IsCapCategoryMorphism 6.13-5
InitialObject, for IsCapCategory 6.5-1
    for IsCapCategoryCell 6.5-2
InitialObjectFunctorial, for IsCapCategory 6.5-8
InjectionOfCofactorOfCoproduct, for IsList, IsInt 6.7-5
InjectionOfCofactorOfCoproductOp, for IsList, IsInt, IsCapCategoryObject 6.7-6
InjectionOfCofactorOfCoproductWithGivenCoproduct, for IsList, IsInt, IsCapCategoryObject 6.7-7
InjectionOfCofactorOfDirectSum, for IsList, IsInt 6.6-5
InjectionOfCofactorOfDirectSumOp, for IsList, IsInt, IsCapCategoryObject 6.6-6
InjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject 6.6-7
InjectionOfCofactorOfPushout, for IsList, IsInt 6.12-22
InjectionOfCofactorOfPushoutOp, for IsList, IsInt, IsCapCategoryMorphism 6.12-23
InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject 6.12-24
InjectiveColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.9-4
InputSignature, for IsCapFunctor 5.4-10
InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-12
InstallDerivationsUsingOperation, for IsOperationWeightList, IsString 8.4-8
InstallFunctor, for IsCapFunctor, IsString 5.4-11
InstallMethodWithToDoForIsWellDefined 9.2-1
InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 5.5-5
InstallSetWithToDoForIsWellDefined, for IsObject, IsString, IsList 9.2-2
InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, for IsCapCategoryMorphism 3.15-8
InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.15-10
Inverse, for IsCapCategoryMorphism 3.12-1
InverseMorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-4
InverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-5
IsApplicableToCategory, for IsDerivedMethod, IsCapCategory 8.2-7
IsAutomorphism, for IsCapCategoryMorphism 3.4-7
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.8-7
IsColiftable, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-15
IsColiftableAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-7
IsCongruentForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-1
IsDerivedMethod, for IsObject 8.2-1
IsDerivedMethodGraph, for IsObject 8.3-1
IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-5
IsEmptyHeap, for IsStringMinHeap 8.5-6
IsEndomorphism, for IsCapCategoryMorphism 3.4-5
IsEpimorphism, for IsCapCategoryMorphism 3.2-3
IsEqualAsFactorobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3
IsEqualAsSubobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-1
IsEqualForCacheForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.13-1
IsEqualForCacheForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.5-1
IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-3
IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-5
IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject 2.2-1
IsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject 3.14-1
IsIdempotent, for IsCapCategoryMorphism 3.2-13
IsIdenticalToIdentityMorphism, for IsCapCategoryMorphism 3.4-1
IsIdenticalToZeroMorphism, for IsCapCategoryMorphism 3.4-3
IsInitial, for IsCapCategoryObject 2.3-7
IsInjective, for IsCapCategoryObject 2.3-3
IsIsomorphism, for IsCapCategoryMorphism 3.2-5
IsLiftable, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-13
IsLiftableAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-5
IsMonomorphism, for IsCapCategoryMorphism 3.2-1
IsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsList 6.12-10
IsomorphismFromCoequalizerOfCoproductDiagramToPushoutOp, for IsList, IsCapCategoryMorphism 6.12-11
IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism 6.14-7
IsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsList 6.12-4
IsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp, for IsList, IsCapCategoryMorphism 6.12-5
IsomorphismFromCokernelOfKernelToCoimage, for IsCapCategoryMorphism 6.14-9
IsomorphismFromCoproductToDirectSum, for IsList 6.6-20
IsomorphismFromCoproductToDirectSumOp, for IsList, IsCapCategoryObject 6.6-21
IsomorphismFromDirectProductToDirectSum, for IsList 6.6-16
IsomorphismFromDirectProductToDirectSumOp, for IsList, IsCapCategoryObject 6.6-17
IsomorphismFromDirectSumToCoproduct, for IsList 6.6-18
IsomorphismFromDirectSumToCoproductOp, for IsList, IsCapCategoryObject 6.6-19
IsomorphismFromDirectSumToDirectProduct, for IsList 6.6-14
IsomorphismFromDirectSumToDirectProductOp, for IsList, IsCapCategoryObject 6.6-15
IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsList 6.11-10
IsomorphismFromEqualizerOfDirectProductDiagramToFiberProductOp, for IsList, IsCapCategoryMorphism 6.11-11
IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsList 6.11-7
IsomorphismFromFiberProductToEqualizerOfDirectProductDiagramOp, for IsList, IsCapCategoryMorphism 6.11-8
IsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsList 6.11-1
IsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.11-2
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-3
IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsList 6.11-4
IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp, for IsList, IsCapCategoryMorphism 6.11-5
IsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsList 6.12-7
IsomorphismFromPushoutToCoequalizerOfCoproductDiagramOp, for IsList, IsCapCategoryMorphism 6.12-8
IsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsList 6.12-1
IsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.12-2
IsomorphismFromTerminalObjectToZeroObject, for IsCapCategory 6.3-12
IsomorphismFromZeroObjectToInitialObject, for IsCapCategory 6.3-9
IsomorphismFromZeroObjectToTerminalObject, for IsCapCategory 6.3-11
IsOne, for IsCapCategoryMorphism 3.2-11
IsOperationWeightList, for IsObject 8.4-1
IsProjective, for IsCapCategoryObject 2.3-1
IsSplitEpimorphism, for IsCapCategoryMorphism 3.2-9
IsSplitMonomorphism, for IsCapCategoryMorphism 3.2-7
IsStringMinHeap, for IsObject 8.5-1
IsTerminal, for IsCapCategoryObject 2.3-5
IsWellDefined, for IsCapCategoryCell 1.6-1
IsWellDefinedForMorphisms, for IsCapCategoryMorphism 3.10-1
IsWellDefinedForObjects, for IsCapCategoryObject 2.7-1
IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 4.3-1
IsZero, for IsCapCategoryObject 2.3-10
IsZeroForMorphisms, for IsCapCategoryMorphism 3.7-1
IsZeroForObjects, for IsCapCategoryObject 2.3-9
KernelEmbedding, for IsCapCategoryMorphism 6.1-2
KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3
KernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-6
KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-7
KernelObject, for IsCapCategoryMorphism 6.1-1
KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-16
    for IsList 6.1-15
KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-18
    for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-17
LaTeXOutput, for IsCapCategory 1.12-2
    for IsCapCategoryCell 1.12-1
Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-9
LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-1
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.15-13
MonomorphismIntoSomeInjectiveObject, for IsCapCategoryObject 2.9-2
MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 2.9-3
MorphismBetweenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22
    for IsList 6.6-22
MorphismBetweenDirectSumsOp, for IsList, IsInt, IsInt, IsCapCategoryMorphism 6.6-24
MorphismCache, for IsCapFunctor 9.1-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-6
MorphismFromEqualizerToSinkOp, for IsList, IsCapCategoryMorphism 6.9-7
MorphismFromEqualizerToSinkWithGivenEqualizer, for IsList, IsCapCategoryObject 6.9-8
MorphismFromFiberProductToSink, for IsList 6.11-24
MorphismFromFiberProductToSinkOp, for IsList, IsCapCategoryMorphism 6.11-25
MorphismFromFiberProductToSinkWithGivenFiberProduct, for IsList, IsCapCategoryObject 6.11-26
MorphismFromKernelObjectToSink, for IsCapCategoryMorphism 6.1-4
MorphismFromKernelObjectToSinkWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-5
MorphismFromSourceToCoequalizer, for IsList 6.10-6
MorphismFromSourceToCoequalizerOp, for IsList, IsCapCategoryMorphism 6.10-7
MorphismFromSourceToCoequalizerWithGivenCoequalizer, for IsList, IsCapCategoryObject 6.10-8
MorphismFromSourceToCokernelObject, for IsCapCategoryMorphism 6.2-4
MorphismFromSourceToCokernelObjectWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-5
MorphismFromSourceToPushout, for IsList 6.12-25
MorphismFromSourceToPushoutOp, for IsList, IsCapCategoryMorphism 6.12-26
MorphismFromSourceToPushoutWithGivenPushout, for IsList, IsCapCategoryObject 6.12-27
MorphismFromZeroObject, for IsCapCategoryObject 6.3-3
MorphismIntoZeroObject, for IsCapCategoryObject 6.3-4
MultiplyWithElementOfCommutativeRingForMorphisms, for IsRingElement, IsCapCategoryMorphism 3.7-9
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
ObjectCache, for IsCapFunctor 9.1-1
ObjectFilter, for IsCapCategory 1.3-3
ObjectifyMorphismWithSourceAndRangeForCAPWithAttributes 3.5-4
ObjectifyObjectForCAPWithAttributes 2.6-4
Operations, for IsDerivedMethodGraph 8.3-15
OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6
PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-6
    for IsList 3.9-7
PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3
    for IsList 3.9-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-2
ProjectionInFactorOfDirectProductOp, for IsList, IsInt, IsCapCategoryObject 6.8-3
ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject 6.8-4
ProjectionInFactorOfDirectSum, for IsList, IsInt 6.6-2
ProjectionInFactorOfDirectSumOp, for IsList, IsInt, IsCapCategoryObject 6.6-3
ProjectionInFactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject 6.6-4
ProjectionInFactorOfFiberProduct, for IsList, IsInt 6.11-21
ProjectionInFactorOfFiberProductOp, for IsList, IsInt, IsCapCategoryMorphism 6.11-22
ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject 6.11-23
ProjectionOntoCoequalizer, for IsList 6.10-3
ProjectionOntoCoequalizerOp, for IsList, IsCapCategoryMorphism 6.10-4
ProjectionOntoCoequalizerWithGivenCoequalizer, for IsList, IsCapCategoryObject 6.10-5
ProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 2.8-4
Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-20
    for IsList 6.12-19
PushoutFunctorial, for IsList, IsList, IsList 6.12-38
PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-39
PushoutOp, for IsList, IsCapCategoryMorphism 6.12-21
RandomMorphism, for IsCapCategory, IsInt 3.3-17
    for IsCapCategory, IsList 3.3-17
RandomMorphismByInteger, for IsCapCategory, IsInt 3.3-13
RandomMorphismByList, for IsCapCategory, IsList 3.3-15
RandomMorphismWithFixedRange, for IsCapCategoryObject, IsInt 3.3-17
    for IsCapCategoryObject, IsList 3.3-17
RandomMorphismWithFixedRangeByInteger, for IsCapCategoryObject, IsInt 3.3-5
RandomMorphismWithFixedRangeByList, for IsCapCategoryObject, IsList 3.3-7
RandomMorphismWithFixedSource, for IsCapCategoryObject, IsInt 3.3-17
    for IsCapCategoryObject, IsList 3.3-17
RandomMorphismWithFixedSourceAndRange, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.3-17
    for IsCapCategoryObject, IsCapCategoryObject, IsList 3.3-17
RandomMorphismWithFixedSourceAndRangeByInteger, for IsCapCategoryObject, IsCapCategoryObject, IsInt 3.3-9
RandomMorphismWithFixedSourceAndRangeByList, for IsCapCategoryObject, IsCapCategoryObject, IsList 3.3-11
RandomMorphismWithFixedSourceByInteger, for IsCapCategoryObject, IsInt 3.3-1
RandomMorphismWithFixedSourceByList, for IsCapCategoryObject, IsList 3.3-3
RandomObject, for IsCapCategory, IsInt 2.4-5
    for IsCapCategory, IsList 2.4-5
RandomObjectByInteger, for IsCapCategory, IsInt 2.4-1
RandomObjectByList, for IsCapCategory, IsList 2.4-3
Range, for IsCapCategoryMorphism 3.1-3
    for IsCapCategoryTwoCell 4.1-2
RangeOfFunctor, for IsCapFunctor 5.4-4
Reevaluate, for IsOperationWeightList 8.4-9
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.16-31
    for IsCapCategoryObject 2.10-1
SimplifyEndo, for IsCapCategoryMorphism, IsObject 3.16-25
SimplifyEndo_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.16-29
SimplifyEndo_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.16-27
SimplifyMorphism, for IsCapCategoryMorphism, IsObject 3.16-1
SimplifyObject, for IsCapCategoryObject, IsObject 2.10-2
SimplifyObject_IsoFromInputObject, for IsCapCategoryObject, IsObject 2.10-4
SimplifyObject_IsoToInputObject, for IsCapCategoryObject, IsObject 2.10-6
SimplifyRange, for IsCapCategoryMorphism, IsObject 3.16-9
SimplifyRange_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.16-13
SimplifyRange_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.16-11
SimplifySource, for IsCapCategoryMorphism, IsObject 3.16-3
SimplifySource_IsoFromInputObject, for IsCapCategoryMorphism, IsObject 3.16-7
SimplifySource_IsoToInputObject, for IsCapCategoryMorphism, IsObject 3.16-5
SimplifySourceAndRange, for IsCapCategoryMorphism, IsObject 3.16-15
SimplifySourceAndRange_IsoFromInputRange, for IsCapCategoryMorphism, IsObject 3.16-19
SimplifySourceAndRange_IsoFromInputSource, for IsCapCategoryMorphism, IsObject 3.16-23
SimplifySourceAndRange_IsoToInputRange, for IsCapCategoryMorphism, IsObject 3.16-17
SimplifySourceAndRange_IsoToInputSource, for IsCapCategoryMorphism, IsObject 3.16-21
SolveLinearSystemInAbCategory, for IsList, IsList, IsList 3.15-12
SomeInjectiveObject, for IsCapCategoryObject 2.9-1
SomeProjectiveObject, for IsCapCategoryObject 2.8-1
SomeReductionBySplitEpiSummand, for IsCapCategoryMorphism 3.17-1
SomeReductionBySplitEpiSummand_MorphismFromInputRange, for IsCapCategoryMorphism 3.17-5
SomeReductionBySplitEpiSummand_MorphismToInputRange, for IsCapCategoryMorphism 3.17-3
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.7-5
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-8
TwoCellFilter, for IsCapCategory 1.3-5
UniversalMorphismFromCoequalizer, for IsList, IsCapCategoryMorphism 6.10-9
UniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.10-10
UniversalMorphismFromCoproduct 6.7-8
UniversalMorphismFromCoproductOp, for IsList, IsList, IsCapCategoryObject 6.7-9
UniversalMorphismFromCoproductWithGivenCoproduct, for IsList, IsList, IsCapCategoryObject 6.7-10
UniversalMorphismFromDirectSum 6.6-11
UniversalMorphismFromDirectSumOp, for IsList, IsList, IsCapCategoryObject 6.6-12
UniversalMorphismFromDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject 6.6-13
UniversalMorphismFromImage, for IsCapCategoryMorphism, IsList 6.13-10
UniversalMorphismFromImageWithGivenImageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-11
UniversalMorphismFromInitialObject, for IsCapCategoryObject 6.5-3
UniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategoryObject, IsCapCategoryObject 6.5-4
UniversalMorphismFromPushout 6.12-28
UniversalMorphismFromPushoutOp, for IsList, IsList, IsCapCategoryMorphism 6.12-29
UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsList, IsCapCategoryObject 6.12-30
UniversalMorphismFromZeroObject, for IsCapCategoryObject 6.3-5
UniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-6
UniversalMorphismIntoCoimage, for IsCapCategoryMorphism, IsList 6.14-16
UniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-17
UniversalMorphismIntoDirectProduct 6.8-5
UniversalMorphismIntoDirectProductOp, for IsList, IsList, IsCapCategoryObject 6.8-6
UniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsList, IsList, IsCapCategoryObject 6.8-7
UniversalMorphismIntoDirectSum 6.6-8
UniversalMorphismIntoDirectSumOp, for IsList, IsList, IsCapCategoryObject 6.6-9
UniversalMorphismIntoDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject 6.6-10
UniversalMorphismIntoEqualizer, for IsList, IsCapCategoryMorphism 6.9-9
UniversalMorphismIntoEqualizerWithGivenEqualizer, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.9-10
UniversalMorphismIntoFiberProduct 6.11-27
UniversalMorphismIntoFiberProductOp, for IsList, IsList, IsCapCategoryMorphism 6.11-28
UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsList, IsCapCategoryObject 6.11-29
UniversalMorphismIntoTerminalObject, for IsCapCategoryObject 6.4-3
UniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategoryObject, IsCapCategoryObject 6.4-4
UniversalMorphismIntoZeroObject, for IsCapCategoryObject 6.3-7
UniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-8
UsedOperationMultiples, for IsDerivedMethod 8.2-10
UsedOperations, for IsDerivedMethod 8.2-9
UsedOperationsWithMultiples, for IsDerivedMethod 8.2-11
VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-9
VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 4.2-7
ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject 3.7-12
ZeroObject, for IsCapCategory 6.3-1
    for IsCapCategoryCell 6.3-2
ZeroObjectFunctorial, for IsCapCategory 6.3-22

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

generated by GAPDoc2HTML