\*, for IsRingElement, IsCapCategoryMorphism 3.7-10 ActivateDerivationInfo 8.1-2 Add, for IsCapCategory, IsCapCategoryMorphism 3.5-1 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 AddDerivationPair, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList 8.3-9 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 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 CAPOperationPrepareFunction 7.6-1 CategoryFilter, for IsCapCategory 1.3-1 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 CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-18 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 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 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 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 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 KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-18 LaTeXOutput, for IsCapCategory 1.12-2 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 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 PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3 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 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 RandomMorphismByInteger, for IsCapCategory, IsInt 3.3-13 RandomMorphismByList, for IsCapCategory, IsList 3.3-15 RandomMorphismWithFixedRange, for IsCapCategoryObject, IsInt 3.3-17 RandomMorphismWithFixedRangeByInteger, for IsCapCategoryObject, IsInt 3.3-5 RandomMorphismWithFixedRangeByList, for IsCapCategoryObject, IsList 3.3-7 RandomMorphismWithFixedSource, for IsCapCategoryObject, IsInt 3.3-17 RandomMorphismWithFixedSourceAndRange, for IsCapCategoryObject, IsCapCategoryObject, IsInt 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 RandomObjectByInteger, for IsCapCategory, IsInt 2.4-1 RandomObjectByList, for IsCapCategory, IsList 2.4-3 Range, for IsCapCategoryMorphism 3.1-3 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 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 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 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 ZeroObjectFunctorial, for IsCapCategory 6.3-22
generated by GAPDoc2HTML