Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 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.5-4
AddAdditiveInverseForMorphisms, for IsCapCategory, IsFunction 3.5-6
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
    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-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
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
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-5
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
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
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
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-8
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
    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
    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
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
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
    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
    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
    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.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
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
    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
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
    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
MorphismBetweenDirectSums, for IsCapCategoryObject, IsList, IsCapCategoryObject 6.6-22
    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
    for IsList 3.7-7
PreCompose, for IsCapCategoryMorphism, IsCapCategoryMorphism 3.7-3
    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
Pushout, for IsCapCategoryMorphism, IsCapCategoryMorphism 6.10-14
    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
    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
Source, for IsCapCategoryMorphism 3.1-2
    for IsCapCategoryTwoCell 5.1-1
StringMinHeap 8.5-2
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
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-7
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 Ind

generated by GAPDoc2HTML