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-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 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.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 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 CapCategorySwitchLogicOff 1.4-2 CapCategorySwitchLogicOn 1.4-1 CapFunctor, for IsString, IsCapCategory, IsCapCategory 5.4-1 CAPOperationPrepareFunction 7.5-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 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 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 CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-14 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.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 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 KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-14 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 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 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-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 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 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 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-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 ZeroObjectFunctorial, for IsCapCategory 6.3-22
generated by GAPDoc2HTML