ActivateDerivationInfo 8.1-2Add, for IsStringMinHeap, IsString, IsInt 8.5-3AddAdditionForMorphisms, for IsCapCategory, IsFunction 3.5-4AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 3.5-8AddAssociatorLeftToRightWithGivenTensorProducts, 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-15AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 6.11-16AddCoevaluationForDualWithGivenTensorProduct, 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-9AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 6.2-10AddCokernelObject, for IsCapCategory, IsFunction 6.2-6AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 6.2-14AddCokernelProjection, for IsCapCategory, IsFunction 6.2-7AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 6.2-8AddColift, for IsCapCategory, IsFunction 3.10-4AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 3.9-4AddCoproduct, for IsCapCategory, IsFunction 6.7-11AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 6.7-18AddDerivation, 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-8AddDirectProductFunctorialWithGivenDirectProducts, for IsCapCategory, IsFunction 6.8-15AddDirectSum, for IsCapCategory, IsFunction 6.6-36AddDirectSumCodiagonalDifference, for IsCapCategory, IsFunction 6.10-9AddDirectSumDiagonalDifference, for IsCapCategory, IsFunction 6.9-9AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 6.6-39AddDirectSumProjectionInPushout, for IsCapCategory, IsFunction 6.10-12AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction 7.4-26AddDualOnObjects, for IsCapCategory, IsFunction 7.4-23AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 4.6-6AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 4.6-7AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 7.4-29AddEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 7.4-8AddFiberProduct, for IsCapCategory, IsFunction 6.9-21AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction 6.9-12AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 6.9-28AddHorizontalPostCompose, 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-13AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 6.11-14AddImageObject, for IsCapCategory, IsFunction 6.11-12AddInitialObject, 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-24AddInjectiveColift, for IsCapCategory, IsFunction 4.7-8AddInternalHomOnMorphismsWithGivenInternalHoms, 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-7AddKernelEmbedding, for IsCapCategory, IsFunction 6.1-7AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 6.1-8AddKernelLift, for IsCapCategory, IsFunction 6.1-9AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 6.1-10AddKernelObject, for IsCapCategory, IsFunction 6.1-6AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 6.1-14AddLambdaElimination, 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-18AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 4.7-6AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 4.7-7AddMorphismFromBidualWithGivenBidual, 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-23AddProjectiveLift, for IsCapCategory, IsFunction 4.6-8AddPushout, for IsCapCategory, IsFunction 6.10-22AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 6.10-29AddRankMorphism, 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-22AddSomeInjectiveObject, for IsCapCategory, IsFunction 4.7-5AddSomeProjectiveObject, for IsCapCategory, IsFunction 4.6-5AddSubtractionForMorphisms, for IsCapCategory, IsFunction 3.5-6AddTensorProductDualityCompatibilityMorphismWithGivenObjects, 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-17AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 6.11-18AddUniversalMorphismFromInitialObject, 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-10AddZeroObject, for IsCapCategory, IsFunction 6.3-13AddZeroObjectFunctorial, for IsCapCategory, IsFunction 6.3-23ApplyFunctor 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-8CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.11-9CoevaluationForDual, 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-4CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-5CokernelObject, for IsCapCategoryMorphism 6.2-1CokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-12CokernelObjectFunctorial, for IsList 6.2-11CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.2-13CokernelProjection, for IsCapCategoryMorphism 6.2-2CokernelProjectionWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3Colift, 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-16CoproductFunctorialWithGivenCoproducts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.7-17CoproductOp, 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-13DirectProductFunctorialWithGivenDirectProducts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.8-14DirectProductOp, 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-37DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-38DirectSumOp, 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-1EpimorphismFromSomeProjectiveObject, for IsCapCategoryObject 4.6-2EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 4.6-3EvaluationForDual, 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-26FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-27FiberProductOp, for IsList, IsCapCategoryMorphism 6.9-14FunctorCanonicalizeZeroMorphisms, for IsCapCategory 2.4-11FunctorCanonicalizeZeroObjects, for IsCapCategory 2.4-9FunctorMorphismOperation, 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-6IdentityFunctor, for IsCapCategory 2.4-8IdentityMorphism, for IsCapCategoryObject 3.7-1IdentityTwoCell, for IsCapCategoryMorphism 5.2-1ImageEmbedding, for IsCapCategoryMorphism 6.11-6ImageEmbeddingWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.11-7ImageObject, for IsCapCategoryMorphism 6.11-5InitialObject, for IsCapCategory 6.5-1InitialObject, for IsCapCategoryCell 6.5-2InitialObjectFunctorial, for IsCapCategory 6.5-8InjectionOfCofactorOfCoproduct, 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-18InjectiveColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.7-4InstallDerivationForCategory, 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 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-2KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3KernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-4KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-5KernelObject, for IsCapCategoryMorphism 6.1-1KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-12KernelObjectFunctorial, for IsList 6.1-11KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 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-17MonomorphismIntoSomeInjectiveObject, for IsCapCategoryObject 4.7-2MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 4.7-3MorphismBetweenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22MorphismBetweenDirectSums, 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-1NaturalIsomorophismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 2.4-12NaturalIsomorophismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 2.4-10NaturalTransformation, 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-13ProjectionInFactorOfDirectProduct, 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-17ProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.6-4Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.10-14Pushout, for IsList 6.10-13PushoutFunctorial, for IsList 6.10-27PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-28PushoutOp, 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-21SomeInjectiveObject, for IsCapCategoryObject 4.7-1SomeProjectiveObject, for IsCapCategoryObject 4.6-1Source, for IsCapCategoryMorphism 3.1-2Source, for IsCapCategoryTwoCell 5.1-1StringMinHeap 8.5-2SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-5Swap, 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-10UniversalMorphismFromImageWithGivenImageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.11-11UniversalMorphismFromInitialObject, 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-7ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject 3.5-9ZeroObject, for IsCapCategory 6.3-1ZeroObject, for IsCapCategoryCell 6.3-2ZeroObjectFunctorial, for IsCapCategory 6.3-22
generated by GAPDoc2HTML