ActivateDerivationInfo 8.1-2 Add, for IsStringMinHeap, IsString, IsInt 8.5-3 AddAdditionForMorphisms, for IsCapCategory, IsFunction 3.6-4 AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 3.6-8 AddAssociatorLeftToRightOfDirectProductsWithGivenDirectProducts, for IsCapCategory, IsFunction 6.8-19 AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction 7.1-11 AddAssociatorRightToLeftOfDirectProductsWithGivenDirectProducts, for IsCapCategory, IsFunction 6.8-17 AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction 7.1-8 AddAstrictionToCoimage, for IsCapCategory, IsFunction 6.14-23 AddAstrictionToCoimageWithGivenCoimage, for IsCapCategory, IsFunction 6.14-24 AddBraidingInverseWithGivenTensorProducts, for IsCapCategory, IsFunction 7.2-6 AddBraidingWithGivenTensorProducts, for IsCapCategory, IsFunction 7.2-3 AddClassifyingMorphismOfSubobject, for IsCapCategory , IsFunction 6.15-10 AddClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier, for IsCapCategory , IsFunction 6.15-11 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 AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 7.4-32 AddCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 7.4-11 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-4 AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 3.10-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 AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction 7.4-26 AddDualOnObjects, for IsCapCategory, IsFunction 7.4-23 AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 6.9-9 AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 6.9-10 AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 4.7-6 AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 4.7-7 AddEqualizer, for IsCapCategory, IsFunction 6.9-8 AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 6.9-15 AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 7.4-29 AddEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 7.4-8 AddFiberProduct, for IsCapCategory, IsFunction 6.11-27 AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction 6.11-18 AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 6.11-34 AddHorizontalPostCompose, for IsCapCategory, IsFunction 5.2-6 AddHorizontalPreCompose, for IsCapCategory, IsFunction 5.2-4 AddIdentityMorphism, for IsCapCategory, IsFunction 3.8-2 AddIdentityTwoCell, for IsCapCategory, IsFunction 5.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 4.8-8 AddInternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategory, IsFunction 7.4-5 AddInternalHomOnObjects, for IsCapCategory, IsFunction 7.4-2 AddInternalHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction 7.4-15 AddInverse, for IsCapCategory, IsFunction 3.12-1 AddInverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 6.14-6 AddIsAutomorphism, for IsCapCategory, IsFunction 3.3-6 AddIsCodominating, for IsCapCategory, IsFunction 3.7-8 AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 3.5-2 AddIsDominating, for IsCapCategory, IsFunction 3.7-6 AddIsEndomorphism, for IsCapCategory, IsFunction 3.3-5 AddIsEpimorphism, for IsCapCategory, IsFunction 3.2-2 AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 3.7-4 AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 3.7-2 AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 3.13-2 AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 4.4-2 AddIsEqualForMorphisms, for IsCapCategory, IsFunction 3.5-4 AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 3.5-6 AddIsEqualForObjects, for IsCapCategory, IsFunction 4.2-2 AddIsIdempotent, for IsCapCategory, IsFunction 3.2-7 AddIsIdenticalToIdentityMorphism, for IsCapCategory, IsFunction 3.3-2 AddIsIdenticalToZeroMorphism, for IsCapCategory, IsFunction 3.3-4 AddIsInitial, for IsCapCategory, IsFunction 4.3-4 AddIsInjective, for IsCapCategory, IsFunction 4.3-2 AddIsIsomorphism, for IsCapCategory, IsFunction 3.2-3 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 AddIsomorphismFromDualToInternalHom, for IsCapCategory, IsFunction 7.4-57 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 AddIsomorphismFromInternalHomToDual, for IsCapCategory, IsFunction 7.4-59 AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction 7.4-71 AddIsomorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction 7.4-51 AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 6.13-4 AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsCapCategory, IsFunction 6.11-6 AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction 7.4-68 AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 6.12-9 AddIsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsCapCategory, IsFunction 6.12-3 AddIsomorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction 7.4-46 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 4.3-1 AddIsSplitEpimorphism, for IsCapCategory, IsFunction 3.2-5 AddIsSplitMonomorphism, for IsCapCategory, IsFunction 3.2-4 AddIsTerminal, for IsCapCategory, IsFunction 4.3-3 AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 3.9-2 AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 4.6-2 AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 5.3-2 AddIsZeroForMorphisms, for IsCapCategory, IsFunction 3.6-2 AddIsZeroForObjects, for IsCapCategory, IsFunction 4.3-6 AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-3 AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.6-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 AddLambdaElimination, for IsCapCategory, IsFunction 7.4-65 AddLambdaIntroduction, for IsCapCategory, IsFunction 7.4-63 AddLeftDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 7.1-28 AddLeftDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 7.1-31 AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-19 AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-16 AddLift, for IsCapCategory, IsFunction 3.11-2 AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 3.10-2 AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-21 AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-18 AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 4.8-6 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 4.8-7 AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 6.6-23 AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction 7.5-6 AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 6.14-3 AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 7.4-49 AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction 7.4-44 AddMorphismFunction, for IsCapFunctor, IsFunction 2.4-4 AddMorphismRepresentation, for IsCapCategory, IsObject 3.4-1 AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction 7.4-35 AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 3.6-10 AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 2.5-3 AddObjectFunction, for IsCapFunctor, IsFunction 2.4-2 AddObjectRepresentation, for IsCapCategory, IsObject 4.5-1 AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList 8.3-3 AddPostCompose, for IsCapCategory, IsFunction 3.8-8 AddPreCompose, for IsCapCategory, IsFunction 3.8-5 AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-10 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 4.7-8 AddPushout, for IsCapCategory, IsFunction 6.12-28 AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 6.12-35 AddRankMorphism, for IsCapCategory, IsFunction 7.4-55 AddRightDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 7.1-34 AddRightDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 7.1-37 AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-25 AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-22 AddSomeInjectiveObject, for IsCapCategory, IsFunction 4.8-5 AddSomeProjectiveObject, for IsCapCategory, IsFunction 4.7-5 AddSubobjectClassifier, for IsCapCategory, IsFunction 6.15-9 AddSubobjectOfClassifyingMorphism, for IsCapCategory , IsFunction 6.15-13 AddSubtractionForMorphisms, for IsCapCategory, IsFunction 3.6-6 AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-41 AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 7.5-3 AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-38 AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction 7.1-5 AddTensorProductOnObjects, for IsCapCategory, IsFunction 7.1-2 AddTensorProductToInternalHomAdjunctionMap, for IsCapCategory, IsFunction 7.4-13 AddTensorUnit, for IsCapCategory, IsFunction 7.1-13 AddTerminalObject, for IsCapCategory, IsFunction 6.4-5 AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 6.4-9 AddTraceMap, for IsCapCategory, IsFunction 7.4-53 AddTruthMorphismIntoSubobjectClassifierWithGivenObjects, for IsCapCategory , IsFunction 6.15-12 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 AddUniversalPropertyOfDual, for IsCapCategory, IsFunction 7.4-61 AddVerticalPostCompose, for IsCapCategory, IsFunction 5.2-10 AddVerticalPreCompose, for IsCapCategory, IsFunction 5.2-8 AddWithGivenDerivationPairToCAP 8.3-14 AddZeroMorphism, for IsCapCategory, IsFunction 3.6-12 AddZeroObject, for IsCapCategory, IsFunction 6.3-13 AddZeroObjectFunctorial, for IsCapCategory, IsFunction 6.3-23 ApplyFunctor 2.4-6 ApplyNaturalTransformation 2.5-4 AsCapCategory, for IsCapCategoryAsCatObject 2.3-2 AsCatObject, for IsCapCategory 2.3-1 AssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-9 AssociatorLeftToRightOfDirectProductsWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.8-18 AssociatorLeftToRightWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-10 AssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-6 AssociatorRightToLeftOfDirectProductsWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.8-16 AssociatorRightToLeftWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-7 AstrictionToCoimage, for IsCapCategoryMorphism 6.14-16 AstrictionToCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-17 Braiding, for IsCapCategoryObject, IsCapCategoryObject 7.2-1 BraidingInverse, for IsCapCategoryObject, IsCapCategoryObject 7.2-4 BraidingInverseWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.2-5 BraidingWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.2-2 BrowseCachingStatistic 10.2-11 CachingStatistic 10.2-10 CanCompute, for IsCapCategory, IsString 1.5-1 CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 10.2-8 CAP_INTERNAL_MERGE_FILTER_LISTS 10.2-6 CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 10.2-9 CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS 10.2-5 CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 10.2-7 CAPAddPrepareFunction 12.1-2 CapCat 2.1-1 CapCategory, for IsCapCategoryMorphism 3.1-1 CapCategorySwitchLogicOff 1.4-2 CapCategorySwitchLogicOn 1.4-1 CapFunctor, for IsString, IsCapCategory, IsCapCategory 2.4-1 CAPOperationPrepareFunction 12.1-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 ClassifyingMorphismOfSubobject, for IsCapCategoryMorphism 6.15-6 ClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier, for IsCapCategoryMorphism , IsCapCategoryObject 6.15-7 CoastrictionToImage, for IsCapCategoryMorphism 6.13-8 CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-9 Coequalizer 6.10-1 CoequalizerFunctorial, for IsList 6.10-13 CoequalizerFunctorialWithGivenCoequalizers, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-14 CoequalizerOp, for IsList, IsCapCategoryMorphism 6.10-2 CoevaluationForDual, for IsCapCategoryObject 7.4-30 CoevaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-31 CoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 7.4-9 CoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-10 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-3 ColiftAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-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 DeactivateDerivationInfo 8.1-3 DeclareAttributeWithToDoForIsWellDefined 10.2-3 DeclareFamilyProperty 10.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.8-1 DisableBasicOperationTypeCheck 1.7-1 DualOnMorphisms, for IsCapCategoryMorphism 7.4-24 DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 7.4-25 DualOnObjects, for IsCapCategoryObject 7.4-22 EmbeddingOfEqualizer, for IsList 6.9-3 EmbeddingOfEqualizerOp, for IsList, IsCapCategoryMorphism 6.9-4 EmbeddingOfEqualizerWithGivenEqualizer, for IsList, IsCapCategoryObject 6.9-5 EnableAddForCategoricalOperations 1.8-1 EnableFullBasicOperationTypeCheck 1.7-1 EnablePartialBasicOperationTypeCheck 1.7-1 EpimorphismFromSomeProjectiveObject, for IsCapCategoryObject 4.7-2 EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 4.7-3 Equalizer 6.9-1 EqualizerFunctorial, for IsList 6.9-13 EqualizerFunctorialWithGivenEqualizers, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-14 EqualizerOp, for IsList, IsCapCategoryMorphism 6.9-2 EvaluationForDual, for IsCapCategoryObject 7.4-27 EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-28 EvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 7.4-6 EvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-7 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 6.11-32 FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-33 FiberProductOp, for IsList, IsCapCategoryMorphism 6.11-20 FunctorCanonicalizeZeroMorphisms, for IsCapCategory 2.4-11 FunctorCanonicalizeZeroObjects, for IsCapCategory 2.4-9 FunctorMorphismOperation, for IsCapFunctor 2.4-5 FunctorObjectOperation, for IsCapFunctor 2.4-3 Heapify, for IsStringMinHeap, IsPosInt 8.5-10 HeapSize, for IsStringMinHeap 8.5-7 HorizontalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-5 HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-3 HorizontalPreComposeFunctorWithNaturalTransformation, for IsCapFunctor, IsCapNaturalTransformation 2.5-7 HorizontalPreComposeNaturalTransformationWithFunctor, for IsCapNaturalTransformation, IsCapFunctor 2.5-6 IdentityFunctor, for IsCapCategory 2.4-8 IdentityMorphism, for IsCapCategoryObject 3.8-1 IdentityTwoCell, for IsCapCategoryMorphism 5.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 4.8-4 InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-12 InstallDerivationsUsingOperation, for IsOperationWeightList, IsString 8.4-8 InstallFunctor, for IsCapFunctor, IsString 2.4-7 InstallMethodWithToDoForIsWellDefined 10.2-1 InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 2.5-5 InstallSetWithToDoForIsWellDefined, for IsObject, IsString, IsList 10.2-2 InternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 7.4-3 InternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 7.4-4 InternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 7.4-1 InternalHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 7.4-14 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 2.2-1 IsCapCategoryCell, for IsObject 1.1-2 IsCapCategoryMorphism, for IsCapCategoryCell 1.1-4 IsCapCategoryObject, for IsCapCategoryCell 1.1-3 IsCapCategoryTwoCell, for IsCapCategoryCell 1.1-5 IsCapFunctor, for IsCapCategoryMorphism 2.2-2 IsCapNaturalTransformation, for IsCapCategoryTwoCell 2.2-3 IsCodominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-7 IsCongruentForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-1 IsDerivedMethod, for IsObject 8.2-1 IsDerivedMethodGraph, for IsObject 8.3-1 IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-5 IsEmptyHeap, for IsStringMinHeap 8.5-6 IsEqualAsFactorobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3 IsEqualAsSubobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1 IsEqualForCacheForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.13-1 IsEqualForCacheForObjects, for IsCapCategoryObject, IsCapCategoryObject 4.4-1 IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-3 IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-5 IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject 4.2-1 IsIdenticalToIdentityMorphism, for IsCapCategoryMorphism 3.3-1 IsIdenticalToZeroMorphism, for IsCapCategoryMorphism 3.3-3 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 IsomorphismFromDualToInternalHom, for IsCapCategoryObject 7.4-56 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 IsomorphismFromInternalHomToDual, for IsCapCategoryObject 7.4-58 IsomorphismFromInternalHomToObject, for IsCapCategoryObject 7.4-69 IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-70 IsomorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.4-50 IsomorphismFromKernelOfCokernelToImageObject, for IsCapCategoryMorphism 6.13-3 IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsList 6.11-4 IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp, for IsList, IsCapCategoryMorphism 6.11-5 IsomorphismFromObjectToInternalHom, for IsCapCategoryObject 7.4-66 IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-67 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 IsomorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-45 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.9-1 IsWellDefinedForObjects, for IsCapCategoryObject 4.6-1 IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 5.3-1 IsZeroForMorphisms, for IsCapCategoryMorphism 3.6-1 IsZeroForObjects, for IsCapCategoryObject 4.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 LambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 7.4-64 LambdaIntroduction, for IsCapCategoryMorphism 7.4-62 LeftDistributivityExpanding, for IsCapCategoryObject, IsList 7.1-26 LeftDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 7.1-27 LeftDistributivityFactoring, for IsCapCategoryObject, IsList 7.1-29 LeftDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 7.1-30 LeftUnitor, for IsCapCategoryObject 7.1-14 LeftUnitorInverse, for IsCapCategoryObject 7.1-17 LeftUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.1-18 LeftUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.1-15 Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.11-1 LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-1 ListCAPPrepareFunctions 12.1-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 MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-19 MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-20 MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-16 MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-17 MonomorphismIntoSomeInjectiveObject, for IsCapCategoryObject 4.8-2 MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 4.8-3 MorphismBetweenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22 MorphismBetweenDirectSumsOp, for IsList, IsInt, IsInt, IsCapCategoryMorphism 6.6-24 MorphismCache, for IsCapFunctor 10.1-2 MorphismFilter, for IsCapCategory 1.3-4 MorphismFromBidual, for IsCapCategoryObject 7.5-4 MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 7.5-5 MorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-1 MorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2 MorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.4-47 MorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-48 MorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-42 MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-43 MorphismFromZeroObject, for IsCapCategoryObject 6.3-3 MorphismIntoZeroObject, for IsCapCategoryObject 6.3-4 MorphismToBidual, for IsCapCategoryObject 7.4-33 MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 7.4-34 MultiplyWithElementOfCommutativeRingForMorphisms, for IsRingElement, IsCapCategoryMorphism 3.6-9 Name, for IsCapNaturalTransformation 2.5-1 NaturalIsomorophismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 2.4-12 NaturalIsomorophismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 2.4-10 NaturalTransformation, for IsCapFunctor, IsCapFunctor 2.5-2 ObjectCache, for IsCapFunctor 10.1-1 ObjectFilter, for IsCapCategory 1.3-3 ObjectifyMorphismForCAPWithAttributes 3.4-2 ObjectifyObjectForCAPWithAttributes 4.5-2 Operations, for IsDerivedMethodGraph 8.3-15 OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6 PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-6 PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3 PrintDerivationTree, for IsOperationWeightList, IsString 8.4-11 PrintTree, for IsObject, IsFunction, IsFunction 8.4-12 PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt 8.4-13 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 4.7-4 Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-20 PushoutFunctorial, for IsList 6.12-33 PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-34 PushoutOp, for IsList, IsCapCategoryMorphism 6.12-21 Range, for IsCapCategoryMorphism 3.1-3 RankMorphism, for IsCapCategoryObject 7.4-54 Reevaluate, for IsOperationWeightList 8.4-9 RightDistributivityExpanding, for IsList, IsCapCategoryObject 7.1-32 RightDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 7.1-33 RightDistributivityFactoring, for IsList, IsCapCategoryObject 7.1-35 RightDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 7.1-36 RightUnitor, for IsCapCategoryObject 7.1-20 RightUnitorInverse, for IsCapCategoryObject 7.1-23 RightUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.1-24 RightUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.1-21 SomeInjectiveObject, for IsCapCategoryObject 4.8-1 SomeProjectiveObject, for IsCapCategoryObject 4.7-1 Source, for IsCapCategoryMorphism 3.1-2 StringMinHeap 8.5-2 SubobjectClassifier, for IsCapCategory 6.15-1 SubobjectOfClassifyingMorphism, for IsCapCategoryMorphism 6.15-8 SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-5 Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9 TargetOperation, for IsDerivedMethod 8.2-8 TensorProductDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 7.4-39 TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-40 TensorProductInternalHomCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-36 TensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.5-1 TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 7.5-2 TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 7.4-37 TensorProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 7.1-3 TensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 7.1-4 TensorProductOnObjects, for IsCapCategoryObject, IsCapCategoryObject 7.1-1 TensorProductToInternalHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 7.4-12 TensorUnit, for IsCapCategory 7.1-12 TerminalObject, for IsCapCategory 6.4-1 TerminalObjectFunctorial, for IsCapCategory 6.4-8 TraceMap, for IsCapCategoryMorphism 7.4-52 TruthMorphismIntoSubobjectClassifier, for IsCapCategory 6.15-4 TruthMorphismIntoSubobjectClassifierWithGivenObjects, for IsCapCategoryObject , IsCapCategoryObject 6.15-3 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 UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 7.4-60 UsedOperationMultiples, for IsDerivedMethod 8.2-10 UsedOperations, for IsDerivedMethod 8.2-9 UsedOperationsWithMultiples, for IsDerivedMethod 8.2-11 VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-9 VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-7 ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject 3.6-11 ZeroObject, for IsCapCategory 6.3-1 ZeroObjectFunctorial, for IsCapCategory 6.3-22
generated by GAPDoc2HTML