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

Index

ActivateDerivationInfo 8.1-2
Add, for IsStringMinHeap, IsString, IsInt 8.5-3
AddAdditionForMorphisms, for IsCapCategory, IsFunction 3.6-4
AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 3.6-8
AddAssociatorLeftToRightOfDirectProductsWithGivenDirectProducts, for IsCapCategory, IsFunction 6.8-19
AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction 7.1-11
AddAssociatorRightToLeftOfDirectProductsWithGivenDirectProducts, for IsCapCategory, IsFunction 6.8-17
AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction 7.1-8
AddAstrictionToCoimage, for IsCapCategory, IsFunction 6.14-23
AddAstrictionToCoimageWithGivenCoimage, for IsCapCategory, IsFunction 6.14-24
AddBraidingInverseWithGivenTensorProducts, for IsCapCategory, IsFunction 7.2-6
AddBraidingWithGivenTensorProducts, for IsCapCategory, IsFunction 7.2-3
AddClassifyingMorphismOfSubobject, for IsCapCategory , IsFunction 6.15-10
AddClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier, for IsCapCategory , IsFunction 6.15-11
AddCoastrictionToImage, for IsCapCategory, IsFunction 6.13-15
AddCoastrictionToImageWithGivenImageObject, for IsCapCategory, IsFunction 6.13-16
AddCoequalizer, for IsCapCategory, IsFunction 6.10-8
AddCoequalizerFunctorialWithGivenCoequalizers, for IsCapCategory, IsFunction 6.10-15
AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 7.4-32
AddCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 7.4-11
AddCoimage, for IsCapCategory, IsFunction 6.14-20
AddCoimageProjection, for IsCapCategory, IsFunction 6.14-21
AddCoimageProjectionWithGivenCoimage, for IsCapCategory, IsFunction 6.14-22
AddCokernelColift, for IsCapCategory, IsFunction 6.2-9
AddCokernelColiftWithGivenCokernelObject, for IsCapCategory, IsFunction 6.2-10
AddCokernelObject, for IsCapCategory, IsFunction 6.2-6
AddCokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategory, IsFunction 6.2-15
AddCokernelProjection, for IsCapCategory, IsFunction 6.2-7
AddCokernelProjectionWithGivenCokernelObject, for IsCapCategory, IsFunction 6.2-8
AddColift, for IsCapCategory, IsFunction 3.11-4
AddColiftAlongEpimorphism, for IsCapCategory, IsFunction 3.10-4
AddComponentOfMorphismFromDirectSum, for IsCapCategory, IsFunction 6.6-28
AddComponentOfMorphismIntoDirectSum, for IsCapCategory, IsFunction 6.6-27
AddCoproduct, for IsCapCategory, IsFunction 6.7-11
AddCoproductFunctorialWithGivenCoproducts, for IsCapCategory, IsFunction 6.7-18
AddDerivation, for IsDerivedMethodGraph, IsDerivedMethod 8.3-4
    for IsDerivedMethodGraph, IsFunction, IsDenseList 8.3-6
    for IsDerivedMethodGraph, IsFunction, IsDenseList, IsObject 8.3-5
    for IsDerivedMethodGraph, IsFunction, IsFunction 8.3-7
AddDerivationPair, for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList 8.3-9
    for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsDenseList, IsDenseList 8.3-8
    for IsDerivedMethodGraph, IsFunction, IsFunction, IsDenseList, IsFunction, IsFunction 8.3-10
    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-41
AddDirectSumCodiagonalDifference, for IsCapCategory, IsFunction 6.12-15
AddDirectSumDiagonalDifference, for IsCapCategory, IsFunction 6.11-15
AddDirectSumFunctorialWithGivenDirectSums, for IsCapCategory, IsFunction 6.6-44
AddDirectSumProjectionInPushout, for IsCapCategory, IsFunction 6.12-18
AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction 7.4-26
AddDualOnObjects, for IsCapCategory, IsFunction 7.4-23
AddEmbeddingOfEqualizer, for IsCapCategory, IsFunction 6.9-9
AddEmbeddingOfEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 6.9-10
AddEpimorphismFromSomeProjectiveObject, for IsCapCategory, IsFunction 4.7-6
AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategory, IsFunction 4.7-7
AddEqualizer, for IsCapCategory, IsFunction 6.9-8
AddEqualizerFunctorialWithGivenEqualizers, for IsCapCategory, IsFunction 6.9-15
AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 7.4-29
AddEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 7.4-8
AddFiberProduct, for IsCapCategory, IsFunction 6.11-27
AddFiberProductEmbeddingInDirectSum, for IsCapCategory, IsFunction 6.11-18
AddFiberProductFunctorialWithGivenFiberProducts, for IsCapCategory, IsFunction 6.11-34
AddHorizontalPostCompose, for IsCapCategory, IsFunction 5.2-6
AddHorizontalPreCompose, for IsCapCategory, IsFunction 5.2-4
AddIdentityMorphism, for IsCapCategory, IsFunction 3.8-2
AddIdentityTwoCell, for IsCapCategory, IsFunction 5.2-2
AddImageEmbedding, for IsCapCategory, IsFunction 6.13-13
AddImageEmbeddingWithGivenImageObject, for IsCapCategory, IsFunction 6.13-14
AddImageObject, for IsCapCategory, IsFunction 6.13-12
AddInitialObject, for IsCapCategory, IsFunction 6.5-5
AddInitialObjectFunctorial, for IsCapCategory, IsFunction 6.5-9
AddInjectionOfCofactorOfCoproduct, for IsCapCategory, IsFunction 6.7-12
AddInjectionOfCofactorOfCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 6.7-13
AddInjectionOfCofactorOfDirectSum, for IsCapCategory, IsFunction 6.6-31
AddInjectionOfCofactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-32
AddInjectionOfCofactorOfPushout, for IsCapCategory, IsFunction 6.12-29
AddInjectionOfCofactorOfPushoutWithGivenPushout, for IsCapCategory, IsFunction 6.12-30
AddInjectiveColift, for IsCapCategory, IsFunction 4.8-8
AddInternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategory, IsFunction 7.4-5
AddInternalHomOnObjects, for IsCapCategory, IsFunction 7.4-2
AddInternalHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction 7.4-15
AddInverse, for IsCapCategory, IsFunction 3.12-1
AddInverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 6.14-6
AddIsAutomorphism, for IsCapCategory, IsFunction 3.3-6
AddIsCodominating, for IsCapCategory, IsFunction 3.7-8
AddIsCongruentForMorphisms, for IsCapCategory, IsFunction 3.5-2
AddIsDominating, for IsCapCategory, IsFunction 3.7-6
AddIsEndomorphism, for IsCapCategory, IsFunction 3.3-5
AddIsEpimorphism, for IsCapCategory, IsFunction 3.2-2
AddIsEqualAsFactorobjects, for IsCapCategory, IsFunction 3.7-4
AddIsEqualAsSubobjects, for IsCapCategory, IsFunction 3.7-2
AddIsEqualForCacheForMorphisms, for IsCapCategory, IsFunction 3.13-2
AddIsEqualForCacheForObjects, for IsCapCategory, IsFunction 4.4-2
AddIsEqualForMorphisms, for IsCapCategory, IsFunction 3.5-4
AddIsEqualForMorphismsOnMor, for IsCapCategory, IsFunction 3.5-6
AddIsEqualForObjects, for IsCapCategory, IsFunction 4.2-2
AddIsIdempotent, for IsCapCategory, IsFunction 3.2-7
AddIsIdenticalToIdentityMorphism, for IsCapCategory, IsFunction 3.3-2
AddIsIdenticalToZeroMorphism, for IsCapCategory, IsFunction 3.3-4
AddIsInitial, for IsCapCategory, IsFunction 4.3-4
AddIsInjective, for IsCapCategory, IsFunction 4.3-2
AddIsIsomorphism, for IsCapCategory, IsFunction 3.2-3
AddIsMonomorphism, for IsCapCategory, IsFunction 3.2-1
AddIsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsCapCategory, IsFunction 6.12-12
AddIsomorphismFromCoimageToCokernelOfKernel, for IsCapCategory, IsFunction 6.14-8
AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsCapCategory, IsFunction 6.12-6
AddIsomorphismFromCokernelOfKernelToCoimage, for IsCapCategory, IsFunction 6.14-10
AddIsomorphismFromCoproductToDirectSum, for IsCapCategory, IsFunction 6.6-40
AddIsomorphismFromDirectProductToDirectSum, for IsCapCategory, IsFunction 6.6-38
AddIsomorphismFromDirectSumToCoproduct, for IsCapCategory, IsFunction 6.6-39
AddIsomorphismFromDirectSumToDirectProduct, for IsCapCategory, IsFunction 6.6-37
AddIsomorphismFromDualToInternalHom, for IsCapCategory, IsFunction 7.4-57
AddIsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsCapCategory, IsFunction 6.11-12
AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsCapCategory, IsFunction 6.11-9
AddIsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsCapCategory, IsFunction 6.11-3
AddIsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategory, IsFunction 6.13-2
AddIsomorphismFromInitialObjectToZeroObject, for IsCapCategory, IsFunction 6.3-19
AddIsomorphismFromInternalHomToDual, for IsCapCategory, IsFunction 7.4-59
AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction 7.4-71
AddIsomorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction 7.4-51
AddIsomorphismFromKernelOfCokernelToImageObject, for IsCapCategory, IsFunction 6.13-4
AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsCapCategory, IsFunction 6.11-6
AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction 7.4-68
AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsCapCategory, IsFunction 6.12-9
AddIsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsCapCategory, IsFunction 6.12-3
AddIsomorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction 7.4-46
AddIsomorphismFromTerminalObjectToZeroObject, for IsCapCategory, IsFunction 6.3-21
AddIsomorphismFromZeroObjectToInitialObject, for IsCapCategory, IsFunction 6.3-18
AddIsomorphismFromZeroObjectToTerminalObject, for IsCapCategory, IsFunction 6.3-20
AddIsOne, for IsCapCategory, IsFunction 3.2-6
AddIsProjective, for IsCapCategory, IsFunction 4.3-1
AddIsSplitEpimorphism, for IsCapCategory, IsFunction 3.2-5
AddIsSplitMonomorphism, for IsCapCategory, IsFunction 3.2-4
AddIsTerminal, for IsCapCategory, IsFunction 4.3-3
AddIsWellDefinedForMorphisms, for IsCapCategory, IsFunction 3.9-2
AddIsWellDefinedForObjects, for IsCapCategory, IsFunction 4.6-2
AddIsWellDefinedForTwoCells, for IsCapCategory, IsFunction 5.3-2
AddIsZeroForMorphisms, for IsCapCategory, IsFunction 3.6-2
AddIsZeroForObjects, for IsCapCategory, IsFunction 4.3-6
AdditionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-3
AdditiveInverseForMorphisms, for IsCapCategoryMorphism 3.6-7
AddKernelEmbedding, for IsCapCategory, IsFunction 6.1-7
AddKernelEmbeddingWithGivenKernelObject, for IsCapCategory, IsFunction 6.1-8
AddKernelLift, for IsCapCategory, IsFunction 6.1-9
AddKernelLiftWithGivenKernelObject, for IsCapCategory, IsFunction 6.1-10
AddKernelObject, for IsCapCategory, IsFunction 6.1-6
AddKernelObjectFunctorialWithGivenKernelObjects, for IsCapCategory, IsFunction 6.1-15
AddLambdaElimination, for IsCapCategory, IsFunction 7.4-65
AddLambdaIntroduction, for IsCapCategory, IsFunction 7.4-63
AddLeftDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 7.1-28
AddLeftDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 7.1-31
AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-19
AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-16
AddLift, for IsCapCategory, IsFunction 3.11-2
AddLiftAlongMonomorphism, for IsCapCategory, IsFunction 3.10-2
AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-21
AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-18
AddMonomorphismIntoSomeInjectiveObject, for IsCapCategory, IsFunction 4.8-6
AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategory, IsFunction 4.8-7
AddMorphismBetweenDirectSums, for IsCapCategory, IsFunction 6.6-23
AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction 7.5-6
AddMorphismFromCoimageToImageWithGivenObjects, for IsCapCategory, IsFunction 6.14-3
AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 7.4-49
AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction 7.4-44
AddMorphismFunction, for IsCapFunctor, IsFunction 2.4-4
AddMorphismRepresentation, for IsCapCategory, IsObject 3.4-1
AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction 7.4-35
AddMultiplyWithElementOfCommutativeRingForMorphisms, for IsCapCategory, IsFunction 3.6-10
AddNaturalTransformationFunction, for IsCapNaturalTransformation, IsFunction 2.5-3
AddObjectFunction, for IsCapFunctor, IsFunction 2.4-2
AddObjectRepresentation, for IsCapCategory, IsObject 4.5-1
AddOperationsToDerivationGraph, for IsDerivedMethodGraph, IsDenseList 8.3-3
AddPostCompose, for IsCapCategory, IsFunction 3.8-8
AddPreCompose, for IsCapCategory, IsFunction 3.8-5
AddPrimitiveOperation, for IsOperationWeightList, IsString, IsInt 8.4-10
AddProjectionInFactorOfDirectProduct, for IsCapCategory, IsFunction 6.8-9
AddProjectionInFactorOfDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 6.8-10
AddProjectionInFactorOfDirectSum, for IsCapCategory, IsFunction 6.6-29
AddProjectionInFactorOfDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-30
AddProjectionInFactorOfFiberProduct, for IsCapCategory, IsFunction 6.11-28
AddProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 6.11-29
AddProjectionOntoCoequalizer, for IsCapCategory, IsFunction 6.10-9
AddProjectionOntoCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 6.10-10
AddProjectiveLift, for IsCapCategory, IsFunction 4.7-8
AddPushout, for IsCapCategory, IsFunction 6.12-28
AddPushoutFunctorialWithGivenPushouts, for IsCapCategory, IsFunction 6.12-35
AddRankMorphism, for IsCapCategory, IsFunction 7.4-55
AddRightDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 7.1-34
AddRightDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 7.1-37
AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-25
AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 7.1-22
AddSomeInjectiveObject, for IsCapCategory, IsFunction 4.8-5
AddSomeProjectiveObject, for IsCapCategory, IsFunction 4.7-5
AddSubobjectClassifier, for IsCapCategory, IsFunction 6.15-9
AddSubobjectOfClassifyingMorphism, for IsCapCategory , IsFunction 6.15-13
AddSubtractionForMorphisms, for IsCapCategory, IsFunction 3.6-6
AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-41
AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 7.5-3
AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 7.4-38
AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction 7.1-5
AddTensorProductOnObjects, for IsCapCategory, IsFunction 7.1-2
AddTensorProductToInternalHomAdjunctionMap, for IsCapCategory, IsFunction 7.4-13
AddTensorUnit, for IsCapCategory, IsFunction 7.1-13
AddTerminalObject, for IsCapCategory, IsFunction 6.4-5
AddTerminalObjectFunctorial, for IsCapCategory, IsFunction 6.4-9
AddTraceMap, for IsCapCategory, IsFunction 7.4-53
AddTruthMorphismIntoSubobjectClassifierWithGivenObjects, for IsCapCategory , IsFunction 6.15-12
AddUniversalMorphismFromCoequalizer, for IsCapCategory, IsFunction 6.10-11
AddUniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsCapCategory, IsFunction 6.10-12
AddUniversalMorphismFromCoproduct, for IsCapCategory, IsFunction 6.7-14
AddUniversalMorphismFromCoproductWithGivenCoproduct, for IsCapCategory, IsFunction 6.7-15
AddUniversalMorphismFromDirectSum, for IsCapCategory, IsFunction 6.6-35
AddUniversalMorphismFromDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-36
AddUniversalMorphismFromImage, for IsCapCategory, IsFunction 6.13-17
AddUniversalMorphismFromImageWithGivenImageObject, for IsCapCategory, IsFunction 6.13-18
AddUniversalMorphismFromInitialObject, for IsCapCategory, IsFunction 6.5-6
AddUniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategory, IsFunction 6.5-7
AddUniversalMorphismFromPushout, for IsCapCategory, IsFunction 6.12-31
AddUniversalMorphismFromPushoutWithGivenPushout, for IsCapCategory, IsFunction 6.12-32
AddUniversalMorphismFromZeroObject, for IsCapCategory, IsFunction 6.3-16
AddUniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 6.3-17
AddUniversalMorphismIntoCoimage, for IsCapCategory, IsFunction 6.14-25
AddUniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategory, IsFunction 6.14-26
AddUniversalMorphismIntoDirectProduct, for IsCapCategory, IsFunction 6.8-11
AddUniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsCapCategory, IsFunction 6.8-12
AddUniversalMorphismIntoDirectSum, for IsCapCategory, IsFunction 6.6-33
AddUniversalMorphismIntoDirectSumWithGivenDirectSum, for IsCapCategory, IsFunction 6.6-34
AddUniversalMorphismIntoEqualizer, for IsCapCategory, IsFunction 6.9-11
AddUniversalMorphismIntoEqualizerWithGivenEqualizer, for IsCapCategory, IsFunction 6.9-12
AddUniversalMorphismIntoFiberProduct, for IsCapCategory, IsFunction 6.11-30
AddUniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsCapCategory, IsFunction 6.11-31
AddUniversalMorphismIntoTerminalObject, for IsCapCategory, IsFunction 6.4-6
AddUniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategory, IsFunction 6.4-7
AddUniversalMorphismIntoZeroObject, for IsCapCategory, IsFunction 6.3-14
AddUniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategory, IsFunction 6.3-15
AddUniversalPropertyOfDual, for IsCapCategory, IsFunction 7.4-61
AddVerticalPostCompose, for IsCapCategory, IsFunction 5.2-10
AddVerticalPreCompose, for IsCapCategory, IsFunction 5.2-8
AddWithGivenDerivationPairToCAP 8.3-14
AddZeroMorphism, for IsCapCategory, IsFunction 3.6-12
AddZeroObject, for IsCapCategory, IsFunction 6.3-13
AddZeroObjectFunctorial, for IsCapCategory, IsFunction 6.3-23
ApplyFunctor 2.4-6
ApplyNaturalTransformation 2.5-4
AsCapCategory, for IsCapCategoryAsCatObject 2.3-2
AsCatObject, for IsCapCategory 2.3-1
AssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-9
AssociatorLeftToRightOfDirectProductsWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.8-18
AssociatorLeftToRightWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-10
AssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-6
AssociatorRightToLeftOfDirectProductsWithGivenDirectProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.8-16
AssociatorRightToLeftWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.1-7
AstrictionToCoimage, for IsCapCategoryMorphism 6.14-16
    for IsCapCategoryObject 6.14-15
AstrictionToCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-17
Braiding, for IsCapCategoryObject, IsCapCategoryObject 7.2-1
BraidingInverse, for IsCapCategoryObject, IsCapCategoryObject 7.2-4
BraidingInverseWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.2-5
BraidingWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.2-2
BrowseCachingStatistic 10.2-11
CachingStatistic 10.2-10
CanCompute, for IsCapCategory, IsString 1.5-1
CAP_INTERNAL_FIND_APPEARANCE_OF_SYMBOL_IN_FUNCTION 10.2-8
CAP_INTERNAL_MERGE_FILTER_LISTS 10.2-6
CAP_INTERNAL_MERGE_PRECONDITIONS_LIST 10.2-9
CAP_INTERNAL_REPLACE_STRINGS_WITH_FILTERS 10.2-5
CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT 10.2-7
CAPAddPrepareFunction 12.1-2
CapCat 2.1-1
CapCategory, for IsCapCategoryMorphism 3.1-1
    for IsCapCategoryObject 4.1-1
CapCategorySwitchLogicOff 1.4-2
CapCategorySwitchLogicOn 1.4-1
CapFunctor, for IsString, IsCapCategory, IsCapCategory 2.4-1
    for IsString, IsCapCategory, IsCapCategoryAsCatObject 2.4-1
    for IsString, IsCapCategoryAsCatObject, IsCapCategory 2.4-1
    for IsString, IsCapCategoryAsCatObject, IsCapCategoryAsCatObject 2.4-1
    for IsString, IsList, IsCapCategory 2.4-1
    for IsString, IsList, IsCapCategoryAsCatObject 2.4-1
CAPOperationPrepareFunction 12.1-1
CategoryFilter, for IsCapCategory 1.3-1
    for IsDerivedMethod 8.2-6
CategoryOfOperationWeightList, for IsOperationWeightList 8.4-4
CellFilter, for IsCapCategory 1.3-2
CheckConstructivenessOfCategory, for IsCapCategory, IsString 1.5-2
ClassifyingMorphismOfSubobject, for IsCapCategoryMorphism 6.15-6
ClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier, for IsCapCategoryMorphism , IsCapCategoryObject 6.15-7
CoastrictionToImage, for IsCapCategoryMorphism 6.13-8
CoastrictionToImageWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-9
Coequalizer 6.10-1
CoequalizerFunctorial, for IsList 6.10-13
CoequalizerFunctorialWithGivenCoequalizers, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.10-14
CoequalizerOp, for IsList, IsCapCategoryMorphism 6.10-2
CoevaluationForDual, for IsCapCategoryObject 7.4-30
CoevaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-31
CoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 7.4-9
CoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-10
Coimage, for IsCapCategoryMorphism 6.14-11
CoimageProjection, for IsCapCategoryMorphism 6.14-13
    for IsCapCategoryObject 6.14-12
CoimageProjectionWithGivenCoimage, for IsCapCategoryMorphism, IsCapCategoryObject 6.14-14
CokernelColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-4
CokernelColiftWithGivenCokernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-5
CokernelObject, for IsCapCategoryMorphism 6.2-1
CokernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.2-12
    for IsList 6.2-11
CokernelObjectFunctorialWithGivenCokernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.2-14
    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.11-3
ColiftAlongEpimorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-3
CommutativeRingOfLinearCategory, for IsCapCategory 1.3-6
ComponentOfMorphismFromDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-26
ComponentOfMorphismIntoDirectSum, for IsCapCategoryMorphism, IsList, IsInt 6.6-25
Contains, for IsStringMinHeap, IsString 8.5-8
Coproduct, for IsCapCategoryObject, IsCapCategoryObject 6.7-2
    for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 6.7-3
    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
    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.12-13
DirectSumCodiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.12-14
DirectSumDiagonalDifference, for IsList 6.11-13
DirectSumDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.11-14
DirectSumFunctorial, for IsList 6.6-42
DirectSumFunctorialWithGivenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-43
DirectSumOp, for IsList, IsCapCategoryObject 6.6-1
DirectSumProjectionInPushout, for IsList 6.12-16
DirectSumProjectionInPushoutOp, for IsList, IsCapCategoryMorphism 6.12-17
DisableAddForCategoricalOperations 1.8-1
DisableBasicOperationTypeCheck 1.7-1
DualOnMorphisms, for IsCapCategoryMorphism 7.4-24
DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 7.4-25
DualOnObjects, for IsCapCategoryObject 7.4-22
EmbeddingOfEqualizer, for IsList 6.9-3
EmbeddingOfEqualizerOp, for IsList, IsCapCategoryMorphism 6.9-4
EmbeddingOfEqualizerWithGivenEqualizer, for IsList, IsCapCategoryObject 6.9-5
EnableAddForCategoricalOperations 1.8-1
EnableFullBasicOperationTypeCheck 1.7-1
EnablePartialBasicOperationTypeCheck 1.7-1
EpimorphismFromSomeProjectiveObject, for IsCapCategoryObject 4.7-2
EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 4.7-3
Equalizer 6.9-1
EqualizerFunctorial, for IsList 6.9-13
EqualizerFunctorialWithGivenEqualizers, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.9-14
EqualizerOp, for IsList, IsCapCategoryMorphism 6.9-2
EvaluationForDual, for IsCapCategoryObject 7.4-27
EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-28
EvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 7.4-6
EvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-7
ExtractMin, for IsStringMinHeap 8.5-4
FiberProduct 6.11-19
FiberProductEmbeddingInDirectSum, for IsList 6.11-16
FiberProductEmbeddingInDirectSumOp, for IsList, IsCapCategoryMorphism 6.11-17
FiberProductFunctorial, for IsList 6.11-32
FiberProductFunctorialWithGivenFiberProducts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.11-33
FiberProductOp, for IsList, IsCapCategoryMorphism 6.11-20
FunctorCanonicalizeZeroMorphisms, for IsCapCategory 2.4-11
FunctorCanonicalizeZeroObjects, for IsCapCategory 2.4-9
FunctorMorphismOperation, for IsCapFunctor 2.4-5
FunctorObjectOperation, for IsCapFunctor 2.4-3
Heapify, for IsStringMinHeap, IsPosInt 8.5-10
HeapSize, for IsStringMinHeap 8.5-7
HorizontalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-5
HorizontalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-3
HorizontalPreComposeFunctorWithNaturalTransformation, for IsCapFunctor, IsCapNaturalTransformation 2.5-7
HorizontalPreComposeNaturalTransformationWithFunctor, for IsCapNaturalTransformation, IsCapFunctor 2.5-6
IdentityFunctor, for IsCapCategory 2.4-8
IdentityMorphism, for IsCapCategoryObject 3.8-1
IdentityTwoCell, for IsCapCategoryMorphism 5.2-1
ImageEmbedding, for IsCapCategoryMorphism 6.13-6
ImageEmbeddingWithGivenImageObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.13-7
ImageObject, for IsCapCategoryMorphism 6.13-5
InitialObject, for IsCapCategory 6.5-1
    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.12-22
InjectionOfCofactorOfPushoutOp, for IsList, IsInt, IsCapCategoryMorphism 6.12-23
InjectionOfCofactorOfPushoutWithGivenPushout, for IsList, IsInt, IsCapCategoryObject 6.12-24
InjectiveColift, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.8-4
InstallDerivationForCategory, for IsDerivedMethod, IsPosInt, IsCapCategory 8.2-12
InstallDerivationsUsingOperation, for IsOperationWeightList, IsString 8.4-8
InstallFunctor, for IsCapFunctor, IsString 2.4-7
InstallMethodWithToDoForIsWellDefined 10.2-1
InstallNaturalTransformation, for IsCapNaturalTransformation, IsString 2.5-5
InstallSetWithToDoForIsWellDefined, for IsObject, IsString, IsList 10.2-2
InternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 7.4-3
InternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 7.4-4
InternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 7.4-1
InternalHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 7.4-14
InverseMorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-4
InverseMorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-5
IsApplicableToCategory, for IsDerivedMethod, IsCapCategory 8.2-7
IsCapCategory, for IsObject 1.1-1
IsCapCategoryAsCatObject, for IsCapCategoryObject 2.2-1
IsCapCategoryCell, for IsObject 1.1-2
IsCapCategoryMorphism, for IsCapCategoryCell 1.1-4
IsCapCategoryObject, for IsCapCategoryCell 1.1-3
IsCapCategoryTwoCell, for IsCapCategoryCell 1.1-5
IsCapFunctor, for IsCapCategoryMorphism 2.2-2
IsCapNaturalTransformation, for IsCapCategoryTwoCell 2.2-3
IsCodominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-7
IsCongruentForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-1
IsDerivedMethod, for IsObject 8.2-1
IsDerivedMethodGraph, for IsObject 8.3-1
IsDominating, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-5
IsEmptyHeap, for IsStringMinHeap 8.5-6
IsEqualAsFactorobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3
IsEqualAsSubobjects, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-1
IsEqualForCacheForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.13-1
IsEqualForCacheForObjects, for IsCapCategoryObject, IsCapCategoryObject 4.4-1
IsEqualForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-3
IsEqualForMorphismsOnMor, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.5-5
IsEqualForObjects, for IsCapCategoryObject, IsCapCategoryObject 4.2-1
IsIdenticalToIdentityMorphism, for IsCapCategoryMorphism 3.3-1
IsIdenticalToZeroMorphism, for IsCapCategoryMorphism 3.3-3
IsomorphismFromCoequalizerOfCoproductDiagramToPushout, for IsList 6.12-10
IsomorphismFromCoequalizerOfCoproductDiagramToPushoutOp, for IsList, IsCapCategoryMorphism 6.12-11
IsomorphismFromCoimageToCokernelOfKernel, for IsCapCategoryMorphism 6.14-7
IsomorphismFromCokernelOfDiagonalDifferenceToPushout, for IsList 6.12-4
IsomorphismFromCokernelOfDiagonalDifferenceToPushoutOp, for IsList, IsCapCategoryMorphism 6.12-5
IsomorphismFromCokernelOfKernelToCoimage, for IsCapCategoryMorphism 6.14-9
IsomorphismFromCoproductToDirectSum, for IsList 6.6-20
IsomorphismFromCoproductToDirectSumOp, for IsList, IsCapCategoryObject 6.6-21
IsomorphismFromDirectProductToDirectSum, for IsList 6.6-16
IsomorphismFromDirectProductToDirectSumOp, for IsList, IsCapCategoryObject 6.6-17
IsomorphismFromDirectSumToCoproduct, for IsList 6.6-18
IsomorphismFromDirectSumToCoproductOp, for IsList, IsCapCategoryObject 6.6-19
IsomorphismFromDirectSumToDirectProduct, for IsList 6.6-14
IsomorphismFromDirectSumToDirectProductOp, for IsList, IsCapCategoryObject 6.6-15
IsomorphismFromDualToInternalHom, for IsCapCategoryObject 7.4-56
IsomorphismFromEqualizerOfDirectProductDiagramToFiberProduct, for IsList 6.11-10
IsomorphismFromEqualizerOfDirectProductDiagramToFiberProductOp, for IsList, IsCapCategoryMorphism 6.11-11
IsomorphismFromFiberProductToEqualizerOfDirectProductDiagram, for IsList 6.11-7
IsomorphismFromFiberProductToEqualizerOfDirectProductDiagramOp, for IsList, IsCapCategoryMorphism 6.11-8
IsomorphismFromFiberProductToKernelOfDiagonalDifference, for IsList 6.11-1
IsomorphismFromFiberProductToKernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.11-2
IsomorphismFromImageObjectToKernelOfCokernel, for IsCapCategoryMorphism 6.13-1
IsomorphismFromInitialObjectToZeroObject, for IsCapCategory 6.3-10
IsomorphismFromInternalHomToDual, for IsCapCategoryObject 7.4-58
IsomorphismFromInternalHomToObject, for IsCapCategoryObject 7.4-69
IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-70
IsomorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.4-50
IsomorphismFromKernelOfCokernelToImageObject, for IsCapCategoryMorphism 6.13-3
IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct, for IsList 6.11-4
IsomorphismFromKernelOfDiagonalDifferenceToFiberProductOp, for IsList, IsCapCategoryMorphism 6.11-5
IsomorphismFromObjectToInternalHom, for IsCapCategoryObject 7.4-66
IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-67
IsomorphismFromPushoutToCoequalizerOfCoproductDiagram, for IsList 6.12-7
IsomorphismFromPushoutToCoequalizerOfCoproductDiagramOp, for IsList, IsCapCategoryMorphism 6.12-8
IsomorphismFromPushoutToCokernelOfDiagonalDifference, for IsList 6.12-1
IsomorphismFromPushoutToCokernelOfDiagonalDifferenceOp, for IsList, IsCapCategoryMorphism 6.12-2
IsomorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-45
IsomorphismFromTerminalObjectToZeroObject, for IsCapCategory 6.3-12
IsomorphismFromZeroObjectToInitialObject, for IsCapCategory 6.3-9
IsomorphismFromZeroObjectToTerminalObject, for IsCapCategory 6.3-11
IsOperationWeightList, for IsObject 8.4-1
IsStringMinHeap, for IsObject 8.5-1
IsWellDefined, for IsCapCategoryCell 1.6-1
IsWellDefinedForMorphisms, for IsCapCategoryMorphism 3.9-1
IsWellDefinedForObjects, for IsCapCategoryObject 4.6-1
IsWellDefinedForTwoCells, for IsCapCategoryTwoCell 5.3-1
IsZeroForMorphisms, for IsCapCategoryMorphism 3.6-1
IsZeroForObjects, for IsCapCategoryObject 4.3-5
KernelEmbedding, for IsCapCategoryMorphism 6.1-2
KernelEmbeddingWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryObject 6.1-3
KernelLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-4
KernelLiftWithGivenKernelObject, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-5
KernelObject, for IsCapCategoryMorphism 6.1-1
KernelObjectFunctorial, for IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryMorphism 6.1-12
    for IsList 6.1-11
KernelObjectFunctorialWithGivenKernelObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism,IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 6.1-14
    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.11-1
LiftAlongMonomorphism, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.10-1
ListCAPPrepareFunctions 12.1-3
MakeDerivation, for IsString, IsFunction, IsDenseList,IsPosInt, IsDenseList, IsFunction 8.2-2
MakeDerivationGraph, for IsDenseList 8.3-2
MakeOperationWeightList, for IsCapCategory, IsDerivedMethodGraph 8.4-2
MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-19
MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-20
MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-16
MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-17
MonomorphismIntoSomeInjectiveObject, for IsCapCategoryObject 4.8-2
MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject, for IsCapCategoryObject, IsCapCategoryObject 4.8-3
MorphismBetweenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22
    for IsList 6.6-22
MorphismBetweenDirectSumsOp, for IsList, IsInt, IsInt, IsCapCategoryMorphism 6.6-24
MorphismCache, for IsCapFunctor 10.1-2
MorphismFilter, for IsCapCategory 1.3-4
MorphismFromBidual, for IsCapCategoryObject 7.5-4
MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 7.5-5
MorphismFromCoimageToImage, for IsCapCategoryMorphism 6.14-1
MorphismFromCoimageToImageWithGivenObjects, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 6.14-2
MorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 7.4-47
MorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-48
MorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 7.4-42
MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-43
MorphismFromZeroObject, for IsCapCategoryObject 6.3-3
MorphismIntoZeroObject, for IsCapCategoryObject 6.3-4
MorphismToBidual, for IsCapCategoryObject 7.4-33
MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 7.4-34
MultiplyWithElementOfCommutativeRingForMorphisms, for IsRingElement, IsCapCategoryMorphism 3.6-9
Name, for IsCapNaturalTransformation 2.5-1
NaturalIsomorophismFromIdentityToCanonicalizeZeroMorphisms, for IsCapCategory 2.4-12
NaturalIsomorophismFromIdentityToCanonicalizeZeroObjects, for IsCapCategory 2.4-10
NaturalTransformation, for IsCapFunctor, IsCapFunctor 2.5-2
ObjectCache, for IsCapFunctor 10.1-1
ObjectFilter, for IsCapCategory 1.3-3
ObjectifyMorphismForCAPWithAttributes 3.4-2
ObjectifyObjectForCAPWithAttributes 4.5-2
Operations, for IsDerivedMethodGraph 8.3-15
OperationWeightUsingDerivation, for IsOperationWeightList, IsDerivedMethod 8.4-6
PostCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-6
    for IsList 3.8-7
PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.8-3
    for IsList 3.8-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.11-21
ProjectionInFactorOfFiberProductOp, for IsList, IsInt, IsCapCategoryMorphism 6.11-22
ProjectionInFactorOfFiberProductWithGivenFiberProduct, for IsList, IsInt, IsCapCategoryObject 6.11-23
ProjectionOntoCoequalizer, for IsList 6.10-3
ProjectionOntoCoequalizerOp, for IsList, IsCapCategoryMorphism 6.10-4
ProjectionOntoCoequalizerWithGivenCoequalizer, for IsList, IsCapCategoryObject 6.10-5
ProjectiveLift, for IsCapCategoryMorphism, IsCapCategoryMorphism 4.7-4
Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.12-20
    for IsList 6.12-19
PushoutFunctorial, for IsList 6.12-33
PushoutFunctorialWithGivenPushouts, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.12-34
PushoutOp, for IsList, IsCapCategoryMorphism 6.12-21
Range, for IsCapCategoryMorphism 3.1-3
    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.8-1
SomeProjectiveObject, for IsCapCategoryObject 4.7-1
Source, for IsCapCategoryMorphism 3.1-2
    for IsCapCategoryTwoCell 5.1-1
StringMinHeap 8.5-2
SubobjectClassifier, for IsCapCategory 6.15-1
    for IsCapCategoryCell 6.15-2
SubobjectOfClassifyingMorphism, for IsCapCategoryMorphism 6.15-8
SubtractionForMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.6-5
Swap, for IsStringMinHeap, IsPosInt, IsPosInt 8.5-9
TargetOperation, for IsDerivedMethod 8.2-8
TensorProductDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 7.4-39
TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-40
TensorProductInternalHomCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.4-36
TensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 7.5-1
TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 7.5-2
TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 7.4-37
TensorProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 7.1-3
TensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 7.1-4
TensorProductOnObjects, for IsCapCategoryObject, IsCapCategoryObject 7.1-1
TensorProductToInternalHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 7.4-12
TensorUnit, for IsCapCategory 7.1-12
TerminalObject, for IsCapCategory 6.4-1
    for IsCapCategoryCell 6.4-2
TerminalObjectFunctorial, for IsCapCategory 6.4-8
TraceMap, for IsCapCategoryMorphism 7.4-52
TruthMorphismIntoSubobjectClassifier, for IsCapCategory 6.15-4
    for IsCapCategoryCell 6.15-5
TruthMorphismIntoSubobjectClassifierWithGivenObjects, for IsCapCategoryObject , IsCapCategoryObject 6.15-3
TwoCellFilter, for IsCapCategory 1.3-5
UniversalMorphismFromCoequalizer, for IsList, IsCapCategoryMorphism 6.10-6
UniversalMorphismFromCoequalizerWithGivenCoequalizer, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.10-7
UniversalMorphismFromCoproduct 6.7-8
UniversalMorphismFromCoproductOp, for IsList, IsList, IsCapCategoryObject 6.7-9
UniversalMorphismFromCoproductWithGivenCoproduct, for IsList, IsList, IsCapCategoryObject 6.7-10
UniversalMorphismFromDirectSum 6.6-11
UniversalMorphismFromDirectSumOp, for IsList, IsList, IsCapCategoryObject 6.6-12
UniversalMorphismFromDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject 6.6-13
UniversalMorphismFromImage, for IsCapCategoryMorphism, IsList 6.13-10
UniversalMorphismFromImageWithGivenImageObject, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.13-11
UniversalMorphismFromInitialObject, for IsCapCategoryObject 6.5-3
UniversalMorphismFromInitialObjectWithGivenInitialObject, for IsCapCategoryObject, IsCapCategoryObject 6.5-4
UniversalMorphismFromPushout 6.12-25
UniversalMorphismFromPushoutOp, for IsList, IsList, IsCapCategoryMorphism 6.12-26
UniversalMorphismFromPushoutWithGivenPushout, for IsList, IsList, IsCapCategoryObject 6.12-27
UniversalMorphismFromZeroObject, for IsCapCategoryObject 6.3-5
UniversalMorphismFromZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-6
UniversalMorphismIntoCoimage, for IsCapCategoryMorphism, IsList 6.14-18
UniversalMorphismIntoCoimageWithGivenCoimage, for IsCapCategoryMorphism, IsList, IsCapCategoryObject 6.14-19
UniversalMorphismIntoDirectProduct 6.8-5
UniversalMorphismIntoDirectProductOp, for IsList, IsList, IsCapCategoryObject 6.8-6
UniversalMorphismIntoDirectProductWithGivenDirectProduct, for IsList, IsList, IsCapCategoryObject 6.8-7
UniversalMorphismIntoDirectSum 6.6-8
UniversalMorphismIntoDirectSumOp, for IsList, IsList, IsCapCategoryObject 6.6-9
UniversalMorphismIntoDirectSumWithGivenDirectSum, for IsList, IsList, IsCapCategoryObject 6.6-10
UniversalMorphismIntoEqualizer, for IsList, IsCapCategoryMorphism 6.9-6
UniversalMorphismIntoEqualizerWithGivenEqualizer, for IsList, IsCapCategoryMorphism, IsCapCategoryObject 6.9-7
UniversalMorphismIntoFiberProduct 6.11-24
UniversalMorphismIntoFiberProductOp, for IsList, IsList, IsCapCategoryMorphism 6.11-25
UniversalMorphismIntoFiberProductWithGivenFiberProduct, for IsList, IsList, IsCapCategoryObject 6.11-26
UniversalMorphismIntoTerminalObject, for IsCapCategoryObject 6.4-3
UniversalMorphismIntoTerminalObjectWithGivenTerminalObject, for IsCapCategoryObject, IsCapCategoryObject 6.4-4
UniversalMorphismIntoZeroObject, for IsCapCategoryObject 6.3-7
UniversalMorphismIntoZeroObjectWithGivenZeroObject, for IsCapCategoryObject, IsCapCategoryObject 6.3-8
UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 7.4-60
UsedOperationMultiples, for IsDerivedMethod 8.2-10
UsedOperations, for IsDerivedMethod 8.2-9
UsedOperationsWithMultiples, for IsDerivedMethod 8.2-11
VerticalPostCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-9
VerticalPreCompose, for IsCapCategoryTwoCell, IsCapCategoryTwoCell 5.2-7
ZeroMorphism, for IsCapCategoryObject, IsCapCategoryObject 3.6-11
ZeroObject, for IsCapCategory 6.3-1
    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 13 Ind

generated by GAPDoc2HTML