ActivateDerivationInfo  8.1-2Add, for IsStringMinHeap, IsString, IsInt  8.5-3AddAdditionForMorphisms, for IsCapCategory, IsFunction  3.5-4AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction  3.5-6AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction  7.1-11AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction  7.1-8AddAstrictionToCoimage, for IsCapCategory, IsFunction  6.12-23AddAstrictionToCoimageWithGivenCoimage, for IsCapCategory, IsFunction  6.12-24AddBraidingInverseWithGivenTensorProducts, for IsCapCategory, IsFunction  7.2-6AddBraidingWithGivenTensorProducts, for IsCapCategory, IsFunction  7.2-3AddCoastrictionToImage, for IsCapCategory, IsFunction  6.11-17AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction  6.11-18AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction  7.4-32AddCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction  7.4-11AddCoimage, for IsCapCategory, IsFunction  6.12-20AddCoimageProjection, for IsCapCategory, IsFunction  6.12-21AddCoimageProjectionWithGivenCoimage, for IsCapCategory, IsFunction  6.12-22AddCokernelColift, for IsCapCategory, IsFunction  6.2-11AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction  6.2-12AddCokernelFunctorial, for IsCapCategory, IsFunction  6.2-15AddCokernelObject, for IsCapCategory, IsFunction  6.2-8AddCokernelProjection, for IsCapCategory, IsFunction  6.2-9AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction  6.2-10AddColift, for IsCapCategory, IsFunction  3.10-4AddColiftAlongEpimorphism, for IsCapCategory, IsFunction  3.9-4AddCoproduct, for IsCapCategory, IsFunction  6.7-11AddCoproductFunctorial, for IsCapCategory, IsFunction  6.7-17AddDerivation, for IsDerivedMethodGraph, IsDerivedMethod  8.3-4AddDerivation, for IsDerivedMethodGraph, IsFunction, IsDenseList  8.3-6AddDerivation, for IsDerivedMethodGraph, IsFunction, IsDenseList, IsObject  8.3-5AddDerivation, for IsDerivedMethodGraph, IsFunction, IsFunction  8.3-7AddDerivationPair, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList  8.3-9AddDerivationPair, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList, IsDenseList  8.3-8AddDerivationPair, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsFunction, IsFunction  8.3-10AddDerivationPair, for IsDerivedMethodGraph, IsFunction, IsFunction, IsFunction, IsFunction  8.3-11AddDerivationPairToCAP  8.3-13AddDerivationToCAP  8.3-12AddDirectProduct, for IsCapCategory, IsFunction  6.8-8AddDirectProductFunctorial, for IsCapCategory, IsFunction  6.8-14AddDirectSum, for IsCapCategory, IsFunction  6.6-36AddDirectSumCodiagonalDifference, for IsCapCategory, IsFunction  6.10-9AddDirectSumDiagonalDifference, for IsCapCategory, IsFunction  6.9-9AddDirectSumFunctorial, for IsCapCategory, IsFunction  6.6-38AddDirectSumProjectionInPushout, for IsCapCategory, IsFunction  6.10-12AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction  7.4-26AddDualOnObjects, for IsCapCategory, IsFunction  7.4-23AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction  7.4-29AddEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction  7.4-8AddFiberProduct, for IsCapCategory, IsFunction  6.9-21AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction  6.9-12AddFiberProductFunctorial, for IsCapCategory, IsFunction  6.9-27AddHorizontalPostCompose, for IsCapCategory, IsFunction  5.2-6AddHorizontalPreCompose, for IsCapCategory, IsFunction  5.2-4AddIdentityMorphism, for IsCapCategory, IsFunction  3.7-2AddIdentityTwoCell, for IsCapCategory, IsFunction  5.2-2AddImageEmbedding, for IsCapCategory, IsFunction  6.11-15AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction  6.11-16AddImageObject, for IsCapCategory, IsFunction  6.11-14AddInitialObject, for IsCapCategory, IsFunction  6.5-5AddInitialObjectFunctorial, for IsCapCategory, IsFunction  6.5-9AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction  6.7-12AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction  6.7-13AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction  6.6-26AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-27AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction  6.10-23AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction  6.10-24AddInternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategory, IsFunction  7.4-5AddInternalHomOnObjects, for IsCapCategory, IsFunction  7.4-2AddInternalHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction  7.4-15AddInverse, for IsCapCategory, IsFunction  3.11-1AddInverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction  6.12-6AddIsAutomorphism, for IsCapCategory, IsFunction  3.3-6AddIsCodominating, for IsCapCategory, IsFunction  3.6-8AddIsCongruentForMorphisms, for IsCapCategory, IsFunction  3.4-2AddIsDominating, for IsCapCategory, IsFunction  3.6-6AddIsEndomorphism, for IsCapCategory, IsFunction  3.3-5AddIsEpimorphism, for IsCapCategory, IsFunction  3.2-2AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction  3.6-4AddIsEqualAsSubobjects, for IsCapCategory, IsFunction  3.6-2AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction  3.12-2AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction  4.4-2AddIsEqualForMorphisms, for IsCapCategory, IsFunction  3.4-4AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction  3.4-6AddIsEqualForObjects, for IsCapCategory, IsFunction  4.2-2AddIsIdempotent, for IsCapCategory, IsFunction  3.2-7AddIsIdenticalToIdentityMorphism, for IsCapCategory, IsFunction  3.3-2AddIsIdenticalToZeroMorphism, for IsCapCategory, IsFunction  3.3-4AddIsInitial, for IsCapCategory, IsFunction  4.3-4AddIsInjective, for IsCapCategory, IsFunction  4.3-2AddIsIsomorphism, for IsCapCategory, IsFunction  3.2-3AddIsMonomorphism, for IsCapCategory, IsFunction  3.2-1AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction  6.12-8AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsCapCategory, IsFunction  6.10-6AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction  6.12-10AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction  6.6-35AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction  6.6-33AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction  6.6-34AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction  6.6-32AddIsomorphismFromDualToInternalHom, for IsCapCategory, IsFunction  7.4-57AddIsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsCapCategory, IsFunction  6.9-3AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction  6.11-2AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction  6.3-19AddIsomorphismFromInternalHomToDual, for IsCapCategory, IsFunction  7.4-59AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction  7.4-71AddIsomorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction  7.4-51AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction  6.11-4AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsCapCategory, IsFunction  6.9-6AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction  7.4-68AddIsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsCapCategory, IsFunction  6.10-3AddIsomorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction  7.4-46AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction  6.3-21AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction  6.3-18AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction  6.3-20AddIsOne, for IsCapCategory, IsFunction  3.2-6AddIsProjective, for IsCapCategory, IsFunction  4.3-1AddIsSplitEpimorphism, for IsCapCategory, IsFunction  3.2-5AddIsSplitMonomorphism, for IsCapCategory, IsFunction  3.2-4AddIsTerminal, for IsCapCategory, IsFunction  4.3-3AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction  3.8-2AddIsWellDefinedForObjects, for IsCapCategory, IsFunction  4.5-2AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction  5.3-2AddIsZeroForMorphisms, for IsCapCategory, IsFunction  3.5-2AddIsZeroForObjects, for IsCapCategory, IsFunction  4.3-6AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.5-3AdditiveInverseForMorphisms, for IsCapCategoryMorphism  3.5-5AddKernelEmbedding, for IsCapCategory, IsFunction  6.1-9AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction  6.1-10AddKernelLift, for IsCapCategory, IsFunction  6.1-11AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction  6.1-12AddKernelObject, for IsCapCategory, IsFunction  6.1-8AddKernelObjectFunctorial, for IsCapCategory, IsFunction  6.1-15AddLambdaElimination, for IsCapCategory, IsFunction  7.4-65AddLambdaIntroduction, for IsCapCategory, IsFunction  7.4-63AddLeftDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction  7.1-28AddLeftDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction  7.1-31AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-19AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-16AddLift, for IsCapCategory, IsFunction  3.10-2AddLiftAlongMonomorphism, for IsCapCategory, IsFunction  3.9-2AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-21AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-18AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction  7.5-6AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction  6.12-3AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction  7.4-49AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction  7.4-44AddMorphismFunction, for IsCapFunctor, IsFunction  2.4-4AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction  7.4-35AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction  2.5-3AddObjectFunction, for IsCapFunctor, IsFunction  2.4-2AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList  8.3-3AddPostCompose, for IsCapCategory, IsFunction  3.7-8AddPreCompose, for IsCapCategory, IsFunction  3.7-5AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt  8.4-10AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction  6.8-9AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction  6.8-10AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction  6.6-24AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-25AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction  6.9-22AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction  6.9-23AddPushout, for IsCapCategory, IsFunction  6.10-22AddPushoutFunctorial, for IsCapCategory, IsFunction  6.10-28AddRankMorphism, for IsCapCategory, IsFunction  7.4-55AddRightDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction  7.1-34AddRightDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction  7.1-37AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-25AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction  7.1-22AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-41AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction  7.5-3AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction  7.4-38AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction  7.1-5AddTensorProductOnObjects, for IsCapCategory, IsFunction  7.1-2AddTensorProductToInternalHomAdjunctionMap, for IsCapCategory, IsFunction  7.4-13AddTensorUnit, for IsCapCategory, IsFunction  7.1-13AddTerminalObject, for IsCapCategory, IsFunction  6.4-5AddTerminalObjectFunctorial, for IsCapCategory, IsFunction  6.4-9AddTraceMap, for IsCapCategory, IsFunction  7.4-53AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction  6.7-14AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction  6.7-15AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction  6.6-30AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-31AddUniversalMorphismFromImage, for IsCapCategory, IsFunction  6.11-19AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction  6.11-20AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction  6.5-6AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction  6.5-7AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction  6.10-25AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction  6.10-26AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction  6.3-16AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction  6.3-17AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction  6.12-25AddUniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategory, IsFunction  6.12-26AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction  6.8-11AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction  6.8-12AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction  6.6-28AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction  6.6-29AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction  6.9-24AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction  6.9-25AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction  6.4-6AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction  6.4-7AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction  6.3-14AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction  6.3-15AddUniversalPropertyOfDual, for IsCapCategory, IsFunction  7.4-61AddVerticalPostCompose, for IsCapCategory, IsFunction  5.2-10AddVerticalPreCompose, for IsCapCategory, IsFunction  5.2-8AddWithGivenDerivationPairToCAP  8.3-14AddZeroMorphism, for IsCapCategory, IsFunction  3.5-8AddZeroObject, for IsCapCategory, IsFunction  6.3-13ApplyFunctor  2.4-6ApplyNaturalTransformation  2.5-4AsCapCategory, for IsCapCategoryAsCatObject  2.3-2AsCatObject, for IsCapCategory  2.3-1AssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-9AssociatorLeftToRightWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-10AssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-6AssociatorRightToLeftWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.1-7AstrictionToCoimage, for IsCapCategoryMorphism  6.12-16AstrictionToCoimage, for IsCapCategoryObject  6.12-15AstrictionToCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject  6.12-17Braiding, for IsCapCategoryObject, IsCapCategoryObject  7.2-1BraidingInverse, for IsCapCategoryObject, IsCapCategoryObject  7.2-4BraidingInverseWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.2-5BraidingWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.2-2CanCompute, for IsCapCategory, IsString  1.5-1CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION  10.2-8CAP_INTERNAL_MERGE_FILTER_LISTS  10.2-6CAP_INTERNAL_MERGE_PRECONDITIONS_LIST  10.2-9CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS  10.2-5CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT  10.2-7CapCat  2.1-1CapCategory, for IsCapCategoryMorphism  3.1-1CapCategory, for IsCapCategoryObject  4.1-1CapCategorySwitchLogicOff  1.4-2CapCategorySwitchLogicOn  1.4-1CapFunctor, for IsString, IsCapCategory, IsCapCategory  2.4-1CapFunctor, for IsString, IsCapCategory, IsCapCategoryAsCatObject  2.4-1CapFunctor, for IsString, IsCapCategoryAsCatObject, IsCapCategory  2.4-1CapFunctor, for IsString, IsCapCategoryAsCatObject, IsCapCategoryAsCatObject  2.4-1CapFunctor, for IsString, IsList, IsCapCategory  2.4-1CapFunctor, for IsString, IsList, IsCapCategoryAsCatObject  2.4-1CategoryFilter, for IsCapCategory  1.3-1CategoryFilter, for IsDerivedMethod  8.2-6CategoryOfOperationWeightList, for IsOperationWeightList  8.4-4CellFilter, for IsCapCategory  1.3-2CheckConstructivenessOfCategory, for IsCapCategory, IsString  1.5-2CoastrictionToImage, for IsCapCategoryMorphism  6.11-10CoastrictionToImage, for IsCapCategoryObject  6.11-9CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.11-11CoevaluationForDual, for IsCapCategoryObject  7.4-30CoevaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-31CoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject  7.4-9CoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-10Coimage, for IsCapCategoryMorphism  6.12-11CoimageProjection, for IsCapCategoryMorphism  6.12-13CoimageProjection, for IsCapCategoryObject  6.12-12CoimageProjectionWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject  6.12-14CokernelColift, for IsCapCategoryMorphism, IsCapCategoryMorphism  6.2-6CokernelColift, for IsCapCategoryObject, IsCapCategoryMorphism  6.2-5CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  6.2-7CokernelFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism  6.2-14CokernelFunctorial, for IsList  6.2-13CokernelObject, for IsCapCategoryMorphism  6.2-1CokernelProjection, for IsCapCategoryMorphism  6.2-2CokernelProjection, for IsCapCategoryObject  6.2-3CokernelProjectionWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.2-4Colift, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.10-3ColiftAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.9-3Contains, for IsStringMinHeap, IsString  8.5-8Coproduct, for IsCapCategoryObject, IsCapCategoryObject  6.7-2Coproduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  6.7-3Coproduct, for IsList  6.7-1CoproductFunctorial, for IsList  6.7-16CoproductFunctorialOp, for IsList, IsCapCategoryMorphism  6.7-18CoproductOp, for IsList, IsCapCategoryObject  6.7-4CreateCapCategory  1.2-1CreateCapCategory, for IsString  1.2-2CurrentOperationWeight, for IsOperationWeightList, IsString  8.4-5DeactivateDerivationInfo  8.1-3DeclareAttributeWithToDoForIsWellDefined  10.2-3DeclareFamilyProperty  10.2-4DecreaseKey, for IsStringMinHeap, IsString, IsInt  8.5-5DerivationFunctionsWithExtraFilters, for IsDerivedMethod  8.2-5DerivationGraph, for IsOperationWeightList  8.4-3DerivationInfo  8.1-1DerivationName, for IsDerivedMethod  8.2-3DerivationOfOperation, for IsOperationWeightList, IsString  8.4-7DerivationResultWeight, for IsDerivedMethod, IsDenseList  8.2-13DerivationsOfOperation, for IsDerivedMethodGraph, IsString  8.3-17DerivationsUsingOperation, for IsDerivedMethodGraph, IsString  8.3-16DerivationWeight, for IsDerivedMethod  8.2-4DirectProductFunctorial, for IsList  6.8-13DirectProductFunctorialOp, for IsList, IsCapCategoryMorphism  6.8-15DirectProductOp, for IsList, IsCapCategoryObject  6.8-1DirectSumCodiagonalDifference, for IsList  6.10-7DirectSumCodiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.10-8DirectSumDiagonalDifference, for IsList  6.9-7DirectSumDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.9-8DirectSumFunctorial, for IsList  6.6-37DirectSumFunctorialOp, for IsList, IsCapCategoryMorphism  6.6-39DirectSumOp, for IsList, IsCapCategoryObject  6.6-1DirectSumProjectionInPushout, for IsList  6.10-10DirectSumProjectionInPushoutOp, for IsList, IsCapCategoryMorphism  6.10-11DisableBasicOperationTypeCheck  1.7-1DualOnMorphisms, for IsCapCategoryMorphism  7.4-24DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject  7.4-25DualOnObjects, for IsCapCategoryObject  7.4-22EnableBasicOperationTypeCheck  1.7-1EvaluationForDual, for IsCapCategoryObject  7.4-27EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-28EvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject  7.4-6EvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-7ExtractMin, for IsStringMinHeap  8.5-4FiberProduct  6.9-13FiberProductEmbeddingInDirectSum, for IsList  6.9-10FiberProductEmbeddingInDirectSumOp, for IsList, IsCapCategoryMorphism  6.9-11FiberProductFunctorial, for IsList  6.9-26FiberProductFunctorialOp, for IsList, IsCapCategoryMorphism  6.9-28FiberProductOp, for IsList, IsCapCategoryMorphism  6.9-14FunctorMorphismOperation, for IsCapFunctor  2.4-5FunctorObjectOperation, for IsCapFunctor  2.4-3Heapify, for IsStringMinHeap, IsPosInt  8.5-10HeapSize, for IsStringMinHeap  8.5-7HorizontalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-5HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-3HorizontalPreComposeFunctorWithNaturalTransformation, for IsCapFunctor, IsCapNaturalTransformation  2.5-7HorizontalPreComposeNaturalTransformationWithFunctor, for IsCapNaturalTransformation, IsCapFunctor  2.5-6IdentityMorphism, for IsCapCategoryObject  3.7-1IdentityTwoCell, for IsCapCategoryMorphism  5.2-1ImageEmbedding, for IsCapCategoryMorphism  6.11-7ImageEmbedding, for IsCapCategoryObject  6.11-6ImageEmbeddingWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.11-8ImageObject, for IsCapCategoryMorphism  6.11-5InitialObject, for IsCapCategory  6.5-1InitialObject, for IsCapCategoryCell  6.5-2InitialObjectFunctorial, for IsCapCategory  6.5-8InjectionOfCofactor  6.13-1InjectionOfCofactorOfCoproduct, for IsList, IsInt  6.7-5InjectionOfCofactorOfCoproductOp, for IsList, IsInt, IsCapCategoryObject  6.7-6InjectionOfCofactorOfCoproductWithGivenCoproduct, for IsList, IsInt, IsCapCategoryObject  6.7-7InjectionOfCofactorOfDirectSum, for IsList, IsInt  6.6-5InjectionOfCofactorOfDirectSumOp, for IsList, IsInt, IsCapCategoryObject  6.6-6InjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject  6.6-7InjectionOfCofactorOfPushout, for IsList, IsInt  6.10-16InjectionOfCofactorOfPushoutOp, for IsList, IsInt, IsCapCategoryMorphism  6.10-17InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject  6.10-18InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory  8.2-12InstallDerivationsUsingOperation, for IsOperationWeightList, IsString  8.4-8InstallFunctor, for IsCapFunctor, IsString  2.4-7InstallMethodWithToDoForIsWellDefined  10.2-1InstallNaturalTransformation, for IsCapNaturalTransformation, IsString  2.5-5InstallSetWithToDoForIsWellDefined, for IsObject, IsString, IsList  10.2-2InternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  7.4-3InternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  7.4-4InternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject  7.4-1InternalHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-14InverseMorphismFromCoimageToImage, for IsCapCategoryMorphism  6.12-4InverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject  6.12-5IsApplicableToCategory, for IsDerivedMethod, IsCapCategory  8.2-7IsCapCategory, for IsObject  1.1-1IsCapCategoryAsCatObject, for IsCapCategoryObject  2.2-1IsCapCategoryCell, for IsObject  1.1-2IsCapCategoryMorphism, for IsCapCategoryCell and IsAdditiveElementWithInverse  1.1-4IsCapCategoryObject, for IsCapCategoryCell  1.1-3IsCapCategoryTwoCell, for IsCapCategoryCell  1.1-5IsCapFunctor, for IsCapCategoryMorphism  2.2-2IsCapNaturalTransformation, for IsCapCategoryTwoCell  2.2-3IsCodominating, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-7IsCongruentForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.4-1IsDerivedMethod, for IsObject  8.2-1IsDerivedMethodGraph, for IsObject  8.3-1IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-5IsEmptyHeap, for IsStringMinHeap  8.5-6IsEqualAsFactorobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-3IsEqualAsSubobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.6-1IsEqualForCacheForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.12-1IsEqualForCacheForObjects, for IsCapCategoryObject, IsCapCategoryObject  4.4-1IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.4-3IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.4-5IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject  4.2-1IsIdenticalToIdentityMorphism, for IsCapCategoryMorphism  3.3-1IsIdenticalToZeroMorphism, for IsCapCategoryMorphism  3.3-3IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism  6.12-7IsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsList  6.10-4IsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp, for IsList, IsCapCategoryMorphism  6.10-5IsomorphismFromCokernelOfKernelToCoimage, for IsCapCategoryMorphism  6.12-9IsomorphismFromCoproductToDirectSum, for IsList  6.6-20IsomorphismFromCoproductToDirectSumOp, for IsList, IsCapCategoryObject  6.6-21IsomorphismFromDirectProductToDirectSum, for IsList  6.6-16IsomorphismFromDirectProductToDirectSumOp, for IsList, IsCapCategoryObject  6.6-17IsomorphismFromDirectSumToCoproduct, for IsList  6.6-18IsomorphismFromDirectSumToCoproductOp, for IsList, IsCapCategoryObject  6.6-19IsomorphismFromDirectSumToDirectProduct, for IsList  6.6-14IsomorphismFromDirectSumToDirectProductOp, for IsList, IsCapCategoryObject  6.6-15IsomorphismFromDualToInternalHom, for IsCapCategoryObject  7.4-56IsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsList  6.9-1IsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.9-2IsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategoryMorphism  6.11-1IsomorphismFromInitialObjectToZeroObject, for IsCapCategory  6.3-10IsomorphismFromInternalHomToDual, for IsCapCategoryObject  7.4-58IsomorphismFromInternalHomToObject, for IsCapCategoryObject  7.4-69IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-70IsomorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.4-50IsomorphismFromKernelOfCokernelToImageObject, for IsCapCategoryMorphism  6.11-3IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsList  6.9-4IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp, for IsList, IsCapCategoryMorphism  6.9-5IsomorphismFromObjectToInternalHom, for IsCapCategoryObject  7.4-66IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-67IsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsList  6.10-1IsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism  6.10-2IsomorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-45IsomorphismFromTerminalObjectToZeroObject, for IsCapCategory  6.3-12IsomorphismFromZeroObjectToInitialObject, for IsCapCategory  6.3-9IsomorphismFromZeroObjectToTerminalObject, for IsCapCategory  6.3-11IsOperationWeightList, for IsObject  8.4-1IsStringMinHeap, for IsObject  8.5-1IsWellDefined, for IsCapCategoryCell  1.6-1IsWellDefinedForMorphisms, for IsCapCategoryMorphism  3.8-1IsWellDefinedForObjects, for IsCapCategoryObject  4.5-1IsWellDefinedForTwoCells, for IsCapCategoryTwoCell  5.3-1IsZeroForMorphisms, for IsCapCategoryMorphism  3.5-1IsZeroForObjects, for IsCapCategoryObject  4.3-5KernelEmbedding, for IsCapCategoryMorphism  6.1-2KernelEmbedding, for IsCapCategoryObject  6.1-3KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject  6.1-4KernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism  6.1-6KernelLift, for IsCapCategoryObject, IsCapCategoryMorphism  6.1-5KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  6.1-7KernelObject, for IsCapCategoryMorphism  6.1-1KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism  6.1-14KernelObjectFunctorial, for IsList  6.1-13LambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-64LambdaIntroduction, for IsCapCategoryMorphism  7.4-62LeftDistributivityExpanding, for IsCapCategoryObject, IsList  7.1-26LeftDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject  7.1-27LeftDistributivityFactoring, for IsCapCategoryObject, IsList  7.1-29LeftDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject  7.1-30LeftUnitor, for IsCapCategoryObject  7.1-14LeftUnitorInverse, for IsCapCategoryObject  7.1-17LeftUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-18LeftUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-15Lift, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.10-1LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.9-1MakeDerivation, for IsString, IsFunction, IsDenseList,IsPosInt, IsDenseList, IsFunction  8.2-2MakeDerivationGraph, for IsDenseList  8.3-2MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph  8.4-2MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-19MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-20MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-16MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-17MorphismBetweenDirectSums, for IsList  6.6-22MorphismBetweenDirectSumsOp, for IsList, IsInt, IsInt, IsCapCategoryMorphism  6.6-23MorphismCache, for IsCapFunctor  10.1-2MorphismFilter, for IsCapCategory  1.3-4MorphismFromBidual, for IsCapCategoryObject  7.5-4MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject  7.5-5MorphismFromCoimageToImage, for IsCapCategoryMorphism  6.12-1MorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject  6.12-2MorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.4-47MorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-48MorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject  7.4-42MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-43MorphismFromZeroObject, for IsCapCategoryObject  6.3-3MorphismIntoZeroObject, for IsCapCategoryObject  6.3-4MorphismToBidual, for IsCapCategoryObject  7.4-33MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject  7.4-34Name, for IsCapNaturalTransformation  2.5-1NaturalTransformation, for IsCapFunctor, IsCapFunctor  2.5-2ObjectCache, for IsCapFunctor  10.1-1ObjectFilter, for IsCapCategory  1.3-3Operations, for IsDerivedMethodGraph  8.3-15OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod  8.4-6PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.7-6PostCompose, for IsList  3.7-7PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism  3.7-3PreCompose, for IsList  3.7-4PrintDerivationTree, for IsOperationWeightList, IsString  8.4-11PrintTree, for IsObject, IsFunction, IsFunction  8.4-12PrintTreeRec, for IsObject, IsFunction, IsFunction, IsInt  8.4-13ProjectionInFactor  6.13-2ProjectionInFactorOfDirectProduct, for IsList, IsInt  6.8-2ProjectionInFactorOfDirectProductOp, for IsList, IsInt, IsCapCategoryObject  6.8-3ProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsList, IsInt, IsCapCategoryObject  6.8-4ProjectionInFactorOfDirectSum, for IsList, IsInt  6.6-2ProjectionInFactorOfDirectSumOp, for IsList, IsInt, IsCapCategoryObject  6.6-3ProjectionInFactorOfDirectSumWithGivenDirectSum, for IsList, IsInt, IsCapCategoryObject  6.6-4ProjectionInFactorOfFiberProduct, for IsList, IsInt  6.9-15ProjectionInFactorOfFiberProductOp, for IsList, IsInt, IsCapCategoryMorphism  6.9-16ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject  6.9-17Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism  6.10-14Pushout, for IsList  6.10-13PushoutFunctorial, for IsList  6.10-27PushoutFunctorialOp, for IsList, IsCapCategoryMorphism  6.10-29PushoutOp, for IsList, IsCapCategoryMorphism  6.10-15Range, for IsCapCategoryMorphism  3.1-3Range, for IsCapCategoryTwoCell  5.1-2RankMorphism, for IsCapCategoryObject  7.4-54Reevaluate, for IsOperationWeightList  8.4-9RightDistributivityExpanding, for IsList, IsCapCategoryObject  7.1-32RightDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject  7.1-33RightDistributivityFactoring, for IsList, IsCapCategoryObject  7.1-35RightDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject  7.1-36RightUnitor, for IsCapCategoryObject  7.1-20RightUnitorInverse, for IsCapCategoryObject  7.1-23RightUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-24RightUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject  7.1-21Source, for IsCapCategoryMorphism  3.1-2Source, for IsCapCategoryTwoCell  5.1-1StringMinHeap  8.5-2Swap, for IsStringMinHeap, IsPosInt, IsPosInt  8.5-9TargetOperation, for IsDerivedMethod  8.2-8TensorProductDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject  7.4-39TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-40TensorProductInternalHomCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.4-36TensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject  7.5-1TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList  7.5-2TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList  7.4-37TensorProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism  7.1-3TensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject  7.1-4TensorProductOnObjects, for IsCapCategoryObject, IsCapCategoryObject  7.1-1TensorProductToInternalHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-12TensorUnit, for IsCapCategory  7.1-12TerminalObject, for IsCapCategory  6.4-1TerminalObject, for IsCapCategoryCell  6.4-2TerminalObjectFunctorial, for IsCapCategory  6.4-8TraceMap, for IsCapCategoryMorphism  7.4-52TwoCellFilter, for IsCapCategory  1.3-5UniversalMorphismFromCoproduct  6.7-8UniversalMorphismFromCoproductOp, for IsList, IsList, IsCapCategoryObject  6.7-9UniversalMorphismFromCoproductWithGivenCoproduct, for IsList, IsList, IsCapCategoryObject  6.7-10UniversalMorphismFromDirectSum  6.6-11UniversalMorphismFromDirectSumOp, for IsList, IsList, IsCapCategoryObject  6.6-12UniversalMorphismFromDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject  6.6-13UniversalMorphismFromImage, for IsCapCategoryMorphism, IsList  6.11-12UniversalMorphismFromImageWithGivenImageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject  6.11-13UniversalMorphismFromInitialObject, for IsCapCategoryObject  6.5-3UniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategoryObject, IsCapCategoryObject  6.5-4UniversalMorphismFromPushout  6.10-19UniversalMorphismFromPushoutOp, for IsList, IsList, IsCapCategoryMorphism  6.10-20UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsList, IsCapCategoryObject  6.10-21UniversalMorphismFromZeroObject, for IsCapCategoryObject  6.3-5UniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject  6.3-6UniversalMorphismIntoCoimage, for IsCapCategoryMorphism, IsList  6.12-18UniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsList, IsCapCategoryObject  6.12-19UniversalMorphismIntoDirectProduct  6.8-5UniversalMorphismIntoDirectProductOp, for IsList, IsList, IsCapCategoryObject  6.8-6UniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsList, IsList, IsCapCategoryObject  6.8-7UniversalMorphismIntoDirectSum  6.6-8UniversalMorphismIntoDirectSumOp, for IsList, IsList, IsCapCategoryObject  6.6-9UniversalMorphismIntoDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject  6.6-10UniversalMorphismIntoFiberProduct  6.9-18UniversalMorphismIntoFiberProductOp, for IsList, IsList, IsCapCategoryMorphism  6.9-19UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsList, IsCapCategoryObject  6.9-20UniversalMorphismIntoTerminalObject, for IsCapCategoryObject  6.4-3UniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategoryObject, IsCapCategoryObject  6.4-4UniversalMorphismIntoZeroObject, for IsCapCategoryObject  6.3-7UniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject  6.3-8UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism  7.4-60UsedOperationMultiples, for IsDerivedMethod  8.2-10UsedOperations, for IsDerivedMethod  8.2-9UsedOperationsWithMultiples, for IsDerivedMethod  8.2-11VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-9VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell  5.2-7WasCreatedAsCokernelObject  10.3-2WasCreatedAsCoproduct  10.3-7WasCreatedAsDirectProduct  10.3-8WasCreatedAsDirectSum  10.3-6WasCreatedAsFiberProduct  10.3-9WasCreatedAsImageObject  10.3-11WasCreatedAsInitialObject  10.3-5WasCreatedAsKernelObject  10.3-1WasCreatedAsPushout  10.3-10WasCreatedAsTerminalObject  10.3-4WasCreatedAsZeroObject  10.3-3ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject  3.5-7ZeroObject, for IsCapCategory  6.3-1ZeroObject, for IsCapCategoryCell  6.3-2
generated by GAPDoc2HTML