GAP (CAP) - Index

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

[MathJax off]

### Index

`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-23
`AddAstrictionToCoimageWithGivenCoimage`, for IsCapCategory, IsFunction 6.14-24
`AddCategoricalProperty` 1.1-6
`AddCoastrictionToImage`, for IsCapCategory, IsFunction 6.13-15
`AddCoastrictionToImageWithGivenImageObject`, for IsCapCategory, IsFunction 6.13-16
`AddCoequalizer`, for IsCapCategory, IsFunction 6.10-8
`AddCoequalizerFunctorialWithGivenCoequalizers`, for IsCapCategory, IsFunction 6.10-15
`AddCoimage`, for IsCapCategory, IsFunction 6.14-20
`AddCoimageProjection`, for IsCapCategory, IsFunction 6.14-21
`AddCoimageProjectionWithGivenCoimage`, for IsCapCategory, IsFunction 6.14-22
`AddCokernelColift`, for IsCapCategory, IsFunction 6.2-9
`AddCokernelColiftWithGivenCokernelObject`, for IsCapCategory, IsFunction 6.2-10
`AddCokernelObject`, for IsCapCategory, IsFunction 6.2-6
`AddCokernelObjectFunctorialWithGivenCokernelObjects`, for IsCapCategory, IsFunction 6.2-15
`AddCokernelProjection`, for IsCapCategory, IsFunction 6.2-7
`AddCokernelProjectionWithGivenCokernelObject`, for IsCapCategory, IsFunction 6.2-8
`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.14-7
`AddEmbeddingOfEqualizer`, for IsCapCategory, IsFunction 6.9-9
`AddEmbeddingOfEqualizerWithGivenEqualizer`, for IsCapCategory, IsFunction 6.9-10
`AddEpimorphismFromSomeProjectiveObject`, for IsCapCategory, IsFunction 2.8-6
`AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject`, for IsCapCategory, IsFunction 2.8-7
`AddEqualizer`, for IsCapCategory, IsFunction 6.9-8
`AddEqualizerFunctorialWithGivenEqualizers`, for IsCapCategory, IsFunction 6.9-15
`AddFiberProduct`, for IsCapCategory, IsFunction 6.11-27
`AddFiberProductEmbeddingInDirectSum`, for IsCapCategory, IsFunction 6.11-18
`AddFiberProductFunctorialWithGivenFiberProducts`, for IsCapCategory, IsFunction 6.11-34
`AddHomomorphismStructureOnMorphismsWithGivenObjects`, for IsCapCategory, IsFunction 3.14-5
`AddHomomorphismStructureOnObjects`, for IsCapCategory, IsFunction 3.14-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-29
`AddInjectionOfCofactorOfPushoutWithGivenPushout`, for IsCapCategory, IsFunction 6.12-30
`AddInjectiveColift`, for IsCapCategory, IsFunction 2.9-8
`AddInterpretMorphismAsMorphismFromDinstinguishedObjectToHomomorphismStructure`, for IsCapCategory, IsFunction 3.14-9
`AddInterpretMorphismFromDinstinguishedObjectToHomomorphismStructureAsMorphism`, for IsCapCategory, IsFunction 3.14-11
`AddInverse`, for IsCapCategory, IsFunction 3.12-1
`AddInverseMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategory, IsFunction 6.14-6
`AddIsAutomorphism`, for IsCapCategory, IsFunction 3.4-6
`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-5
`AddIsEpimorphism`, for IsCapCategory, IsFunction 3.2-2
`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
`AddIsIdempotent`, for IsCapCategory, IsFunction 3.2-7
`AddIsIdenticalToIdentityMorphism`, for IsCapCategory, IsFunction 3.4-2
`AddIsIdenticalToZeroMorphism`, for IsCapCategory, IsFunction 3.4-4
`AddIsInitial`, for IsCapCategory, IsFunction 2.3-4
`AddIsInjective`, for IsCapCategory, IsFunction 2.3-2
`AddIsIsomorphism`, for IsCapCategory, IsFunction 3.2-3
`AddIsLiftable`, for IsCapCategory, IsFunction 3.11-14
`AddIsLiftableAlongMonomorphism`, for IsCapCategory, IsFunction 3.11-6
`AddIsMonomorphism`, for IsCapCategory, IsFunction 3.2-1
`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-6
`AddIsProjective`, for IsCapCategory, IsFunction 2.3-1
`AddIsSplitEpimorphism`, for IsCapCategory, IsFunction 3.2-5
`AddIsSplitMonomorphism`, for IsCapCategory, IsFunction 3.2-4
`AddIsTerminal`, for IsCapCategory, IsFunction 2.3-3
`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-6
`AdditionForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3
`AdditiveInverseForMorphisms`, for IsCapCategoryMorphism 3.7-7
`AddKernelEmbedding`, for IsCapCategory, IsFunction 6.1-7
`AddKernelEmbeddingWithGivenKernelObject`, for IsCapCategory, IsFunction 6.1-8
`AddKernelLift`, for IsCapCategory, IsFunction 6.1-9
`AddKernelLiftWithGivenKernelObject`, for IsCapCategory, IsFunction 6.1-10
`AddKernelObject`, for IsCapCategory, IsFunction 6.1-6
`AddKernelObjectFunctorialWithGivenKernelObjects`, for IsCapCategory, IsFunction 6.1-15
`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
`AddMorphismFunction`, for IsCapFunctor, IsFunction 5.4-5
`AddMorphismRepresentation`, for IsCapCategory, IsObject 3.5-3
`AddMultiplyWithElementOfCommutativeRingForMorphisms`, for IsCapCategory, IsFunction 3.7-10
`AddNaturalTransformationFunction`, for IsCapNaturalTransformation, IsFunction 5.5-3
`AddObject`, for IsCapCategory, IsAttributeStoringRep 2.6-2
`AddObjectFunction`, for IsCapFunctor, IsFunction 5.4-3
`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-28
`AddProjectionInFactorOfFiberProductWithGivenFiberProduct`, for IsCapCategory, IsFunction 6.11-29
`AddProjectionOntoCoequalizer`, for IsCapCategory, IsFunction 6.10-9
`AddProjectionOntoCoequalizerWithGivenCoequalizer`, for IsCapCategory, IsFunction 6.10-10
`AddProjectiveLift`, for IsCapCategory, IsFunction 2.8-8
`AddPushout`, for IsCapCategory, IsFunction 6.12-28
`AddPushoutFunctorialWithGivenPushouts`, for IsCapCategory, IsFunction 6.12-35
`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
`AddSomeInjectiveObject`, for IsCapCategory, IsFunction 2.9-5
`AddSomeProjectiveObject`, for IsCapCategory, IsFunction 2.8-5
`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-11
`AddUniversalMorphismFromCoequalizerWithGivenCoequalizer`, for IsCapCategory, IsFunction 6.10-12
`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-31
`AddUniversalMorphismFromPushoutWithGivenPushout`, for IsCapCategory, IsFunction 6.12-32
`AddUniversalMorphismFromZeroObject`, for IsCapCategory, IsFunction 6.3-16
`AddUniversalMorphismFromZeroObjectWithGivenZeroObject`, for IsCapCategory, IsFunction 6.3-17
`AddUniversalMorphismIntoCoimage`, for IsCapCategory, IsFunction 6.14-25
`AddUniversalMorphismIntoCoimageWithGivenCoimage`, for IsCapCategory, IsFunction 6.14-26
`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-11
`AddUniversalMorphismIntoEqualizerWithGivenEqualizer`, for IsCapCategory, IsFunction 6.9-12
`AddUniversalMorphismIntoFiberProduct`, for IsCapCategory, IsFunction 6.11-30
`AddUniversalMorphismIntoFiberProductWithGivenFiberProduct`, for IsCapCategory, IsFunction 6.11-31
`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-12
`AddZeroObject`, for IsCapCategory, IsFunction 6.3-13
`AddZeroObjectFunctorial`, for IsCapCategory, IsFunction 6.3-23
`ApplyFunctor` 5.4-7
`ApplyNaturalTransformation` 5.5-4
`AsCapCategory`, for IsCapCategoryAsCatObject 5.3-2
`AsCatObject`, for IsCapCategory 5.3-1
`AstrictionToCoimage`, for IsCapCategoryMorphism 6.14-16
for IsCapCategoryObject 6.14-15
`AstrictionToCoimageWithGivenCoimage`, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-17
`BrowseCachingStatistic` 9.2-11
`CachingStatistic` 9.2-10
`CanCompute`, for IsCapCategory, IsString 1.5-1
`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.5-2
`CapCat` 5.1-1
`CapCategory`, for IsCapCategoryMorphism 3.1-1
for IsCapCategoryObject 2.1-1
`CapCategorySwitchLogicOff` 1.4-2
`CapCategorySwitchLogicOn` 1.4-1
`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.5-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
`Coequalizer` 6.10-1
`CoequalizerFunctorial`, for IsList, IsCapCategoryMorphism, IsList 6.10-13
`CoequalizerFunctorialWithGivenCoequalizers`, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.10-14
`CoequalizerOp`, for IsList, IsCapCategoryMorphism 6.10-2
`Coimage`, for IsCapCategoryMorphism 6.14-11
`CoimageProjection`, for IsCapCategoryMorphism 6.14-13
for IsCapCategoryObject 6.14-12
`CoimageProjectionWithGivenCoimage`, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-14
`CokernelColift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-4
`CokernelColiftWithGivenCokernelObject`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-5
`CokernelObject`, for IsCapCategoryMorphism 6.2-1
`CokernelObjectFunctorial`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-12
for IsList 6.2-11
`CokernelObjectFunctorialWithGivenCokernelObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-14
for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.2-13
`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.7-2
`DeactivateDefaultCaching` 1.7-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.9-1
`DisableInputSanityChecks` 1.8-1
`DisableOutputSanityChecks` 1.8-1
`DisableSanityChecks` 1.8-1
`DistinguishedObjectOfHomomorphismStructure`, for IsCapCategory 3.14-6
`EmbeddingOfEqualizer`, for IsList 6.9-3
`EmbeddingOfEqualizerOp`, for IsList, IsCapCategoryMorphism 6.9-4
`EmbeddingOfEqualizerWithGivenEqualizer`, for IsList, IsCapCategoryObject 6.9-5
`EnableAddForCategoricalOperations` 1.9-1
`EnableFullInputSanityChecks` 1.8-1
`EnableFullOutputSanityChecks` 1.8-1
`EnableFullSanityChecks` 1.8-1
`EnablePartialInputSanityChecks` 1.8-1
`EnablePartialOutputSanityChecks` 1.8-1
`EnablePartialSanityChecks` 1.8-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-13
`EqualizerFunctorialWithGivenEqualizers`, for IsCapCategoryObject, IsList, IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.9-14
`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-32
`FiberProductFunctorialWithGivenFiberProducts`, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.11-33
`FiberProductOp`, for IsList, IsCapCategoryMorphism 6.11-20
`FunctorCanonicalizeZeroMorphisms`, for IsCapCategory 5.4-13
`FunctorCanonicalizeZeroObjects`, for IsCapCategory 5.4-11
`FunctorMorphismOperation`, for IsCapFunctor 5.4-6
`FunctorObjectOperation`, for IsCapFunctor 5.4-4
`Heapify`, for IsStringMinHeap, IsPosInt 8.5-10
`HeapSize`, for IsStringMinHeap 8.5-7
`HomomorphismStructureOnMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.14-3
`HomomorphismStructureOnMorphismsWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 3.14-4
`HomomorphismStructureOnObjects`, for IsCapCategoryObject, IsCapCategoryObject 3.14-1
`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-10
`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-8
`InstallDerivationForCategory`, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-12
`InstallDerivationsUsingOperation`, for IsOperationWeightList, IsString 8.4-8
`InstallFunctor`, for IsCapFunctor, IsString 5.4-9
`InstallMethodWithToDoForIsWellDefined` 9.2-1
`InstallNaturalTransformation`, for IsCapNaturalTransformation, IsString 5.5-5
`InstallSetWithToDoForIsWellDefined`, for IsObject, IsString, IsList 9.2-2
`InterpretMorphismAsMorphismFromDinstinguishedObjectToHomomorphismStructure`, for IsCapCategoryMorphism 3.14-8
`InterpretMorphismFromDinstinguishedObjectToHomomorphismStructureAsMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 3.14-10
`InverseMorphismFromCoimageToImage`, for IsCapCategoryMorphism 6.14-4
`InverseMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-5
`IsApplicableToCategory`, for IsDerivedMethod, IsCapCategory 8.2-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
`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
`IsIdenticalToIdentityMorphism`, for IsCapCategoryMorphism 3.4-1
`IsIdenticalToZeroMorphism`, for IsCapCategoryMorphism 3.4-3
`IsLiftable`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-13
`IsLiftableAlongMonomorphism`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-5
`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
`IsomorphismFromImageObjectToKernelOfCokernel`, for IsCapCategoryMorphism 6.13-1
`IsomorphismFromInitialObjectToZeroObject`, for IsCapCategory 6.3-10
`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
`IsOperationWeightList`, for IsObject 8.4-1
`IsStringMinHeap`, for IsObject 8.5-1
`IsWellDefined`, for IsCapCategoryCell 1.6-1
`IsWellDefinedForMorphisms`, for IsCapCategoryMorphism 3.10-1
`IsWellDefinedForObjects`, for IsCapCategoryObject 2.7-1
`IsWellDefinedForTwoCells`, for IsCapCategoryTwoCell 4.3-1
`IsZeroForMorphisms`, for IsCapCategoryMorphism 3.7-1
`IsZeroForObjects`, for IsCapCategoryObject 2.3-5
`KernelEmbedding`, for IsCapCategoryMorphism 6.1-2
`KernelEmbeddingWithGivenKernelObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3
`KernelLift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-4
`KernelLiftWithGivenKernelObject`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-5
`KernelObject`, for IsCapCategoryMorphism 6.1-1
`KernelObjectFunctorial`, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-12
for IsList 6.1-11
`KernelObjectFunctorialWithGivenKernelObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-14
for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-13
`Lift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-9
`LiftAlongMonomorphism`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-1
`ListCAPPrepareFunctions` 7.5-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
`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
`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
`NaturalIsomorophismFromIdentityToCanonicalizeZeroMorphisms`, for IsCapCategory 5.4-14
`NaturalIsomorophismFromIdentityToCanonicalizeZeroObjects`, for IsCapCategory 5.4-12
`NaturalTransformation`, for IsCapFunctor, IsCapFunctor 5.5-2
`ObjectCache`, for IsCapFunctor 9.1-1
`ObjectFilter`, for IsCapCategory 1.3-3
`ObjectifyMorphismForCAPWithAttributes` 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-33
`PushoutFunctorialWithGivenPushouts`, for IsCapCategoryObject, IsList, IsList, IsList, IsCapCategoryObject 6.12-34
`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
`Reevaluate`, for IsOperationWeightList 8.4-9
`Saturate`, for IsOperationWeightList 8.4-10
`SetCachingOfCategory` 1.7-1
`SetCachingOfCategoryCrisp` 1.7-2
`SetCachingOfCategoryWeak` 1.7-2
`SetDefaultCaching` 1.7-3
`SetDefaultCachingCrisp` 1.7-3
`SetDefaultCachingWeak` 1.7-3
`SolveLinearSystemInAbCategory`, for IsList, IsList, IsList 3.14-12
`SomeInjectiveObject`, for IsCapCategoryObject 2.9-1
`SomeProjectiveObject`, for IsCapCategoryObject 2.8-1
`Source`, for IsCapCategoryMorphism 3.1-2
for IsCapCategoryTwoCell 4.1-1
`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-6
`UniversalMorphismFromCoequalizerWithGivenCoequalizer`, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.10-7
`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-25
`UniversalMorphismFromPushoutOp`, for IsList, IsList, IsCapCategoryMorphism 6.12-26
`UniversalMorphismFromPushoutWithGivenPushout`, for IsList, IsList, IsCapCategoryObject 6.12-27
`UniversalMorphismFromZeroObject`, for IsCapCategoryObject 6.3-5
`UniversalMorphismFromZeroObjectWithGivenZeroObject`, for IsCapCategoryObject, IsCapCategoryObject 6.3-6
`UniversalMorphismIntoCoimage`, for IsCapCategoryMorphism, IsList 6.14-18
`UniversalMorphismIntoCoimageWithGivenCoimage`, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-19
`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-6
`UniversalMorphismIntoEqualizerWithGivenEqualizer`, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.9-7
`UniversalMorphismIntoFiberProduct` 6.11-24
`UniversalMorphismIntoFiberProductOp`, for IsList, IsList, IsCapCategoryMorphism 6.11-25
`UniversalMorphismIntoFiberProductWithGivenFiberProduct`, for IsList, IsList, IsCapCategoryObject 6.11-26
`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-11
`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