GAP (CAP) - Index

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 Ind
[Top of Book] [Contents] [Previous Chapter]

[MathJax off]

### Index

`ActivateDerivationInfo` 8.1-2
`Add`, for IsStringMinHeap, IsString, IsInt 8.5-3
`AddAdditionForMorphisms`, for IsCapCategory, IsFunction 3.5-4
`AddAdditiveInverseForMorphisms`, for IsCapCategory, IsFunction 3.5-8
`AddAssociatorLeftToRightWithGivenTensorProducts`, for IsCapCategory, IsFunction 7.1-11
`AddAssociatorRightToLeftWithGivenTensorProducts`, for IsCapCategory, IsFunction 7.1-8
`AddAstrictionToCoimage`, for IsCapCategory, IsFunction 6.12-23
`AddAstrictionToCoimageWithGivenCoimage`, for IsCapCategory, IsFunction 6.12-24
`AddBraidingInverseWithGivenTensorProducts`, for IsCapCategory, IsFunction 7.2-6
`AddBraidingWithGivenTensorProducts`, for IsCapCategory, IsFunction 7.2-3
`AddCoastrictionToImage`, for IsCapCategory, IsFunction 6.11-15
`AddCoastrictionToImageWithGivenImageObject`, for IsCapCategory, IsFunction 6.11-16
`AddCoevaluationForDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 7.4-32
`AddCoevaluationMorphismWithGivenRange`, for IsCapCategory, IsFunction 7.4-11
`AddCoimage`, for IsCapCategory, IsFunction 6.12-20
`AddCoimageProjection`, for IsCapCategory, IsFunction 6.12-21
`AddCoimageProjectionWithGivenCoimage`, for IsCapCategory, IsFunction 6.12-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-14
`AddCokernelProjection`, for IsCapCategory, IsFunction 6.2-7
`AddCokernelProjectionWithGivenCokernelObject`, for IsCapCategory, IsFunction 6.2-8
`AddColift`, for IsCapCategory, IsFunction 3.10-4
`AddColiftAlongEpimorphism`, for IsCapCategory, IsFunction 3.9-4
`AddCoproduct`, for IsCapCategory, IsFunction 6.7-11
`AddCoproductFunctorialWithGivenCoproducts`, for IsCapCategory, IsFunction 6.7-18
`AddDerivation`, for IsDerivedMethodGraph, IsDerivedMethod 8.3-4
`AddDerivation`, for IsDerivedMethodGraph, IsFunction, IsDenseList 8.3-6
`AddDerivation`, for IsDerivedMethodGraph, IsFunction, IsDenseList, IsObject 8.3-5
`AddDerivation`, for IsDerivedMethodGraph, IsFunction, IsFunction 8.3-7
`AddDerivationPair`, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList 8.3-9
`AddDerivationPair`, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList, IsDenseList 8.3-8
`AddDerivationPair`, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsFunction, IsFunction 8.3-10
`AddDerivationPair`, for IsDerivedMethodGraph, IsFunction, IsFunction, IsFunction, IsFunction 8.3-11
`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-36
`AddDirectSumCodiagonalDifference`, for IsCapCategory, IsFunction 6.10-9
`AddDirectSumDiagonalDifference`, for IsCapCategory, IsFunction 6.9-9
`AddDirectSumFunctorialWithGivenDirectSums`, for IsCapCategory, IsFunction 6.6-39
`AddDirectSumProjectionInPushout`, for IsCapCategory, IsFunction 6.10-12
`AddDualOnMorphismsWithGivenDuals`, for IsCapCategory, IsFunction 7.4-26
`AddDualOnObjects`, for IsCapCategory, IsFunction 7.4-23
`AddEpimorphismFromSomeProjectiveObject`, for IsCapCategory, IsFunction 4.6-6
`AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject`, for IsCapCategory, IsFunction 4.6-7
`AddEvaluationForDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 7.4-29
`AddEvaluationMorphismWithGivenSource`, for IsCapCategory, IsFunction 7.4-8
`AddFiberProduct`, for IsCapCategory, IsFunction 6.9-21
`AddFiberProductEmbeddingInDirectSum`, for IsCapCategory, IsFunction 6.9-12
`AddFiberProductFunctorialWithGivenFiberProducts`, for IsCapCategory, IsFunction 6.9-28
`AddHorizontalPostCompose`, for IsCapCategory, IsFunction 5.2-6
`AddHorizontalPreCompose`, for IsCapCategory, IsFunction 5.2-4
`AddIdentityMorphism`, for IsCapCategory, IsFunction 3.7-2
`AddIdentityTwoCell`, for IsCapCategory, IsFunction 5.2-2
`AddImageEmbedding`, for IsCapCategory, IsFunction 6.11-13
`AddImageEmbeddingWithGivenImageObject`, for IsCapCategory, IsFunction 6.11-14
`AddImageObject`, for IsCapCategory, IsFunction 6.11-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-26
`AddInjectionOfCofactorOfDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 6.6-27
`AddInjectionOfCofactorOfPushout`, for IsCapCategory, IsFunction 6.10-23
`AddInjectionOfCofactorOfPushoutWithGivenPushout`, for IsCapCategory, IsFunction 6.10-24
`AddInjectiveColift`, for IsCapCategory, IsFunction 4.7-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.11-1
`AddInverseMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategory, IsFunction 6.12-6
`AddIsAutomorphism`, for IsCapCategory, IsFunction 3.3-6
`AddIsCodominating`, for IsCapCategory, IsFunction 3.6-8
`AddIsCongruentForMorphisms`, for IsCapCategory, IsFunction 3.4-2
`AddIsDominating`, for IsCapCategory, IsFunction 3.6-6
`AddIsEndomorphism`, for IsCapCategory, IsFunction 3.3-5
`AddIsEpimorphism`, for IsCapCategory, IsFunction 3.2-2
`AddIsEqualAsFactorobjects`, for IsCapCategory, IsFunction 3.6-4
`AddIsEqualAsSubobjects`, for IsCapCategory, IsFunction 3.6-2
`AddIsEqualForCacheForMorphisms`, for IsCapCategory, IsFunction 3.12-2
`AddIsEqualForCacheForObjects`, for IsCapCategory, IsFunction 4.4-2
`AddIsEqualForMorphisms`, for IsCapCategory, IsFunction 3.4-4
`AddIsEqualForMorphismsOnMor`, for IsCapCategory, IsFunction 3.4-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
`AddIsomorphismFromCoimageToCokernelOfKernel`, for IsCapCategory, IsFunction 6.12-8
`AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout`, for IsCapCategory, IsFunction 6.10-6
`AddIsomorphismFromCokernelOfKernelToCoimage`, for IsCapCategory, IsFunction 6.12-10
`AddIsomorphismFromCoproductToDirectSum`, for IsCapCategory, IsFunction 6.6-35
`AddIsomorphismFromDirectProductToDirectSum`, for IsCapCategory, IsFunction 6.6-33
`AddIsomorphismFromDirectSumToCoproduct`, for IsCapCategory, IsFunction 6.6-34
`AddIsomorphismFromDirectSumToDirectProduct`, for IsCapCategory, IsFunction 6.6-32
`AddIsomorphismFromDualToInternalHom`, for IsCapCategory, IsFunction 7.4-57
`AddIsomorphismFromFiberProductToKernelOfDiagonalDifference`, for IsCapCategory, IsFunction 6.9-3
`AddIsomorphismFromImageObjectToKernelOfCokernel`, for IsCapCategory, IsFunction 6.11-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.11-4
`AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct`, for IsCapCategory, IsFunction 6.9-6
`AddIsomorphismFromObjectToInternalHomWithGivenInternalHom`, for IsCapCategory, IsFunction 7.4-68
`AddIsomorphismFromPushoutToCokernelOfDiagonalDifference`, for IsCapCategory, IsFunction 6.10-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.8-2
`AddIsWellDefinedForObjects`, for IsCapCategory, IsFunction 4.5-2
`AddIsWellDefinedForTwoCells`, for IsCapCategory, IsFunction 5.3-2
`AddIsZeroForMorphisms`, for IsCapCategory, IsFunction 3.5-2
`AddIsZeroForObjects`, for IsCapCategory, IsFunction 4.3-6
`AdditionForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-3
`AdditiveInverseForMorphisms`, for IsCapCategoryMorphism 3.5-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-14
`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.10-2
`AddLiftAlongMonomorphism`, for IsCapCategory, IsFunction 3.9-2
`AddMonoidalPostComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 7.4-21
`AddMonoidalPreComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 7.4-18
`AddMonomorphismIntoSomeInjectiveObject`, for IsCapCategory, IsFunction 4.7-6
`AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject`, for IsCapCategory, IsFunction 4.7-7
`AddMorphismFromBidualWithGivenBidual`, for IsCapCategory, IsFunction 7.5-6
`AddMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategory, IsFunction 6.12-3
`AddMorphismFromInternalHomToTensorProductWithGivenObjects`, for IsCapCategory, IsFunction 7.4-49
`AddMorphismFromTensorProductToInternalHomWithGivenObjects`, for IsCapCategory, IsFunction 7.4-44
`AddMorphismFunction`, for IsCapFunctor, IsFunction 2.4-4
`AddMorphismToBidualWithGivenBidual`, for IsCapCategory, IsFunction 7.4-35
`AddNaturalTransformationFunction`, for IsCapNaturalTransformation, IsFunction 2.5-3
`AddObjectFunction`, for IsCapFunctor, IsFunction 2.4-2
`AddOperationsToDerivationGraph`, for IsDerivedMethodGraph, IsDenseList 8.3-3
`AddPostCompose`, for IsCapCategory, IsFunction 3.7-8
`AddPreCompose`, for IsCapCategory, IsFunction 3.7-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-24
`AddProjectionInFactorOfDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 6.6-25
`AddProjectionInFactorOfFiberProduct`, for IsCapCategory, IsFunction 6.9-22
`AddProjectionInFactorOfFiberProductWithGivenFiberProduct`, for IsCapCategory, IsFunction 6.9-23
`AddProjectiveLift`, for IsCapCategory, IsFunction 4.6-8
`AddPushout`, for IsCapCategory, IsFunction 6.10-22
`AddPushoutFunctorialWithGivenPushouts`, for IsCapCategory, IsFunction 6.10-29
`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.7-5
`AddSomeProjectiveObject`, for IsCapCategory, IsFunction 4.6-5
`AddSubtractionForMorphisms`, for IsCapCategory, IsFunction 3.5-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
`AddUniversalMorphismFromCoproduct`, for IsCapCategory, IsFunction 6.7-14
`AddUniversalMorphismFromCoproductWithGivenCoproduct`, for IsCapCategory, IsFunction 6.7-15
`AddUniversalMorphismFromDirectSum`, for IsCapCategory, IsFunction 6.6-30
`AddUniversalMorphismFromDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 6.6-31
`AddUniversalMorphismFromImage`, for IsCapCategory, IsFunction 6.11-17
`AddUniversalMorphismFromImageWithGivenImageObject`, for IsCapCategory, IsFunction 6.11-18
`AddUniversalMorphismFromInitialObject`, for IsCapCategory, IsFunction 6.5-6
`AddUniversalMorphismFromInitialObjectWithGivenInitialObject`, for IsCapCategory, IsFunction 6.5-7
`AddUniversalMorphismFromPushout`, for IsCapCategory, IsFunction 6.10-25
`AddUniversalMorphismFromPushoutWithGivenPushout`, for IsCapCategory, IsFunction 6.10-26
`AddUniversalMorphismFromZeroObject`, for IsCapCategory, IsFunction 6.3-16
`AddUniversalMorphismFromZeroObjectWithGivenZeroObject`, for IsCapCategory, IsFunction 6.3-17
`AddUniversalMorphismIntoCoimage`, for IsCapCategory, IsFunction 6.12-25
`AddUniversalMorphismIntoCoimageWithGivenCoimage`, for IsCapCategory, IsFunction 6.12-26
`AddUniversalMorphismIntoDirectProduct`, for IsCapCategory, IsFunction 6.8-11
`AddUniversalMorphismIntoDirectProductWithGivenDirectProduct`, for IsCapCategory, IsFunction 6.8-12
`AddUniversalMorphismIntoDirectSum`, for IsCapCategory, IsFunction 6.6-28
`AddUniversalMorphismIntoDirectSumWithGivenDirectSum`, for IsCapCategory, IsFunction 6.6-29
`AddUniversalMorphismIntoFiberProduct`, for IsCapCategory, IsFunction 6.9-24
`AddUniversalMorphismIntoFiberProductWithGivenFiberProduct`, for IsCapCategory, IsFunction 6.9-25
`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.5-10
`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
`AssociatorLeftToRightWithGivenTensorProducts`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-10
`AssociatorRightToLeft`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-6
`AssociatorRightToLeftWithGivenTensorProducts`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-7
`AstrictionToCoimage`, for IsCapCategoryMorphism 6.12-16
`AstrictionToCoimage`, for IsCapCategoryObject 6.12-15
`AstrictionToCoimageWithGivenCoimage`, for IsCapCategoryMorphism, IsCapCategoryObject 6.12-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
`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
`CapCat` 2.1-1
`CapCategory`, for IsCapCategoryMorphism 3.1-1
`CapCategory`, for IsCapCategoryObject 4.1-1
`CapCategorySwitchLogicOff` 1.4-2
`CapCategorySwitchLogicOn` 1.4-1
`CapFunctor`, for IsString, IsCapCategory, IsCapCategory 2.4-1
`CapFunctor`, for IsString, IsCapCategory, IsCapCategoryAsCatObject 2.4-1
`CapFunctor`, for IsString, IsCapCategoryAsCatObject, IsCapCategory 2.4-1
`CapFunctor`, for IsString, IsCapCategoryAsCatObject, IsCapCategoryAsCatObject 2.4-1
`CapFunctor`, for IsString, IsList, IsCapCategory 2.4-1
`CapFunctor`, for IsString, IsList, IsCapCategoryAsCatObject 2.4-1
`CategoryFilter`, for IsCapCategory 1.3-1
`CategoryFilter`, for IsDerivedMethod 8.2-6
`CategoryOfOperationWeightList`, for IsOperationWeightList 8.4-4
`CellFilter`, for IsCapCategory 1.3-2
`CheckConstructivenessOfCategory`, for IsCapCategory, IsString 1.5-2
`CoastrictionToImage`, for IsCapCategoryMorphism 6.11-8
`CoastrictionToImageWithGivenImageObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.11-9
`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.12-11
`CoimageProjection`, for IsCapCategoryMorphism 6.12-13
`CoimageProjection`, for IsCapCategoryObject 6.12-12
`CoimageProjectionWithGivenCoimage`, for IsCapCategoryMorphism, IsCapCategoryObject 6.12-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
`CokernelObjectFunctorial`, for IsList 6.2-11
`CokernelObjectFunctorialWithGivenCokernelObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.2-13
`CokernelProjection`, for IsCapCategoryMorphism 6.2-2
`CokernelProjectionWithGivenCokernelObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.2-3
`Colift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-3
`ColiftAlongEpimorphism`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-3
`Contains`, for IsStringMinHeap, IsString 8.5-8
`Coproduct`, for IsCapCategoryObject, IsCapCategoryObject 6.7-2
`Coproduct`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.7-3
`Coproduct`, for IsList 6.7-1
`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
`CreateCapCategory`, for IsString 1.2-2
`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.10-7
`DirectSumCodiagonalDifferenceOp`, for IsList, IsCapCategoryMorphism 6.10-8
`DirectSumDiagonalDifference`, for IsList 6.9-7
`DirectSumDiagonalDifferenceOp`, for IsList, IsCapCategoryMorphism 6.9-8
`DirectSumFunctorial`, for IsList 6.6-37
`DirectSumFunctorialWithGivenDirectSums`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-38
`DirectSumOp`, for IsList, IsCapCategoryObject 6.6-1
`DirectSumProjectionInPushout`, for IsList 6.10-10
`DirectSumProjectionInPushoutOp`, for IsList, IsCapCategoryMorphism 6.10-11
`DisableBasicOperationTypeCheck` 1.7-1
`DualOnMorphisms`, for IsCapCategoryMorphism 7.4-24
`DualOnMorphismsWithGivenDuals`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 7.4-25
`DualOnObjects`, for IsCapCategoryObject 7.4-22
`EnableBasicOperationTypeCheck` 1.7-1
`EpimorphismFromSomeProjectiveObject`, for IsCapCategoryObject 4.6-2
`EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject`, for IsCapCategoryObject, IsCapCategoryObject 4.6-3
`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.9-13
`FiberProductEmbeddingInDirectSum`, for IsList 6.9-10
`FiberProductEmbeddingInDirectSumOp`, for IsList, IsCapCategoryMorphism 6.9-11
`FiberProductFunctorial`, for IsList 6.9-26
`FiberProductFunctorialWithGivenFiberProducts`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-27
`FiberProductOp`, for IsList, IsCapCategoryMorphism 6.9-14
`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.7-1
`IdentityTwoCell`, for IsCapCategoryMorphism 5.2-1
`ImageEmbedding`, for IsCapCategoryMorphism 6.11-6
`ImageEmbeddingWithGivenImageObject`, for IsCapCategoryMorphism, IsCapCategoryObject 6.11-7
`ImageObject`, for IsCapCategoryMorphism 6.11-5
`InitialObject`, for IsCapCategory 6.5-1
`InitialObject`, for IsCapCategoryCell 6.5-2
`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.10-16
`InjectionOfCofactorOfPushoutOp`, for IsList, IsInt, IsCapCategoryMorphism 6.10-17
`InjectionOfCofactorOfPushoutWithGivenPushout`, for IsList, IsInt, IsCapCategoryObject 6.10-18
`InjectiveColift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.7-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.12-4
`InverseMorphismFromCoimageToImageWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.12-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.6-7
`IsCongruentForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.4-1
`IsDerivedMethod`, for IsObject 8.2-1
`IsDerivedMethodGraph`, for IsObject 8.3-1
`IsDominating`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-5
`IsEmptyHeap`, for IsStringMinHeap 8.5-6
`IsEqualAsFactorobjects`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-3
`IsEqualAsSubobjects`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-1
`IsEqualForCacheForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.12-1
`IsEqualForCacheForObjects`, for IsCapCategoryObject, IsCapCategoryObject 4.4-1
`IsEqualForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.4-3
`IsEqualForMorphismsOnMor`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.4-5
`IsEqualForObjects`, for IsCapCategoryObject, IsCapCategoryObject 4.2-1
`IsIdenticalToIdentityMorphism`, for IsCapCategoryMorphism 3.3-1
`IsIdenticalToZeroMorphism`, for IsCapCategoryMorphism 3.3-3
`IsomorphismFromCoimageToCokernelOfKernel`, for IsCapCategoryMorphism 6.12-7
`IsomorphismFromCokernelOfDiagonalDifferenceToPushout`, for IsList 6.10-4
`IsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp`, for IsList, IsCapCategoryMorphism 6.10-5
`IsomorphismFromCokernelOfKernelToCoimage`, for IsCapCategoryMorphism 6.12-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
`IsomorphismFromFiberProductToKernelOfDiagonalDifference`, for IsList 6.9-1
`IsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp`, for IsList, IsCapCategoryMorphism 6.9-2
`IsomorphismFromImageObjectToKernelOfCokernel`, for IsCapCategoryMorphism 6.11-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.11-3
`IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct`, for IsList 6.9-4
`IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp`, for IsList, IsCapCategoryMorphism 6.9-5
`IsomorphismFromObjectToInternalHom`, for IsCapCategoryObject 7.4-66
`IsomorphismFromObjectToInternalHomWithGivenInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 7.4-67
`IsomorphismFromPushoutToCokernelOfDiagonalDifference`, for IsList 6.10-1
`IsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp`, for IsList, IsCapCategoryMorphism 6.10-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.8-1
`IsWellDefinedForObjects`, for IsCapCategoryObject 4.5-1
`IsWellDefinedForTwoCells`, for IsCapCategoryTwoCell 5.3-1
`IsZeroForMorphisms`, for IsCapCategoryMorphism 3.5-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
`KernelObjectFunctorial`, for IsList 6.1-11
`KernelObjectFunctorialWithGivenKernelObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryObject 6.1-13
`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.10-1
`LiftAlongMonomorphism`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.9-1
`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.7-2
`MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject`, for IsCapCategoryObject, IsCapCategoryObject 4.7-3
`MorphismBetweenDirectSums`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22
`MorphismBetweenDirectSums`, for IsList 6.6-22
`MorphismBetweenDirectSumsOp`, for IsList, IsInt, IsInt, IsCapCategoryMorphism 6.6-23
`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.12-1
`MorphismFromCoimageToImageWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.12-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
`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
`Operations`, for IsDerivedMethodGraph 8.3-15
`OperationWeightUsingDerivation`, for IsOperationWeightList, IsDerivedMethod 8.4-6
`PostCompose`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-6
`PostCompose`, for IsList 3.7-7
`PreCompose`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3
`PreCompose`, for IsList 3.7-4
`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.9-15
`ProjectionInFactorOfFiberProductOp`, for IsList, IsInt, IsCapCategoryMorphism 6.9-16
`ProjectionInFactorOfFiberProductWithGivenFiberProduct`, for IsList, IsInt, IsCapCategoryObject 6.9-17
`ProjectiveLift`, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.6-4
`Pushout`, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.10-14
`Pushout`, for IsList 6.10-13
`PushoutFunctorial`, for IsList 6.10-27
`PushoutFunctorialWithGivenPushouts`, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-28
`PushoutOp`, for IsList, IsCapCategoryMorphism 6.10-15
`Range`, for IsCapCategoryMorphism 3.1-3
`Range`, for IsCapCategoryTwoCell 5.1-2
`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.7-1
`SomeProjectiveObject`, for IsCapCategoryObject 4.6-1
`Source`, for IsCapCategoryMorphism 3.1-2
`Source`, for IsCapCategoryTwoCell 5.1-1
`StringMinHeap` 8.5-2
`SubtractionForMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-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
`TerminalObject`, for IsCapCategoryCell 6.4-2
`TerminalObjectFunctorial`, for IsCapCategory 6.4-8
`TraceMap`, for IsCapCategoryMorphism 7.4-52
`TwoCellFilter`, for IsCapCategory 1.3-5
`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.11-10
`UniversalMorphismFromImageWithGivenImageObject`, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.11-11
`UniversalMorphismFromInitialObject`, for IsCapCategoryObject 6.5-3
`UniversalMorphismFromInitialObjectWithGivenInitialObject`, for IsCapCategoryObject, IsCapCategoryObject 6.5-4
`UniversalMorphismFromPushout` 6.10-19
`UniversalMorphismFromPushoutOp`, for IsList, IsList, IsCapCategoryMorphism 6.10-20
`UniversalMorphismFromPushoutWithGivenPushout`, for IsList, IsList, IsCapCategoryObject 6.10-21
`UniversalMorphismFromZeroObject`, for IsCapCategoryObject 6.3-5
`UniversalMorphismFromZeroObjectWithGivenZeroObject`, for IsCapCategoryObject, IsCapCategoryObject 6.3-6
`UniversalMorphismIntoCoimage`, for IsCapCategoryMorphism, IsList 6.12-18
`UniversalMorphismIntoCoimageWithGivenCoimage`, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.12-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
`UniversalMorphismIntoFiberProduct` 6.9-18
`UniversalMorphismIntoFiberProductOp`, for IsList, IsList, IsCapCategoryMorphism 6.9-19
`UniversalMorphismIntoFiberProductWithGivenFiberProduct`, for IsList, IsList, IsCapCategoryObject 6.9-20
`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.5-9
`ZeroObject`, for IsCapCategory 6.3-1
`ZeroObject`, for IsCapCategoryCell 6.3-2
`ZeroObjectFunctorial`, for IsCapCategory 6.3-22

[Top of Book] [Contents] [Previous Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 Ind

generated by GAPDoc2HTML