Goto Chapter: Top 1 2 3 4 5 Ind
 [Top of Book]  [Contents]   [Previous Chapter] 

Index

AddAssociatorLeftToRight, for IsCapCategory, IsFunction 1.12-87
AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-88
AddAssociatorRightToLeft, for IsCapCategory, IsFunction 1.12-89
AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-90
AddBraiding, for IsCapCategory, IsFunction 1.12-9
AddBraidingInverse, for IsCapCategory, IsFunction 1.12-10
AddBraidingInverseWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-11
AddBraidingWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-12
AddCoclosedCoevaluationForCoDual, for IsCapCategory, IsFunction 1.12-115
AddCoclosedCoevaluationForCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-116
AddCoclosedCoevaluationMorphism, for IsCapCategory, IsFunction 1.12-57
AddCoclosedCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.12-58
AddCoclosedEvaluationForCoDual, for IsCapCategory, IsFunction 1.12-59
AddCoclosedEvaluationForCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-60
AddCoclosedEvaluationMorphism, for IsCapCategory, IsFunction 1.12-61
AddCoclosedEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.12-62
AddCoDualityTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-53
AddCoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-54
AddCoDualOnMorphisms, for IsCapCategory, IsFunction 1.12-50
AddCoDualOnMorphismsWithGivenCoDuals, for IsCapCategory, IsFunction 1.12-51
AddCoDualOnObjects, for IsCapCategory, IsFunction 1.12-52
AddCoevaluationForDual, for IsCapCategory, IsFunction 1.12-101
AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-102
AddCoevaluationMorphism, for IsCapCategory, IsFunction 1.12-13
AddCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.12-14
AddCoLambdaElimination, for IsCapCategory, IsFunction 1.12-55
AddCoLambdaIntroduction, for IsCapCategory, IsFunction 1.12-56
AddCoRankMorphism, for IsCapCategory, IsFunction 1.12-113
AddCoTraceMap, for IsCapCategory, IsFunction 1.12-114
AddDualOnMorphisms, for IsCapCategory, IsFunction 1.12-15
AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction 1.12-16
AddDualOnObjects, for IsCapCategory, IsFunction 1.12-17
AddEvaluationForDual, for IsCapCategory, IsFunction 1.12-18
AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-19
AddEvaluationMorphism, for IsCapCategory, IsFunction 1.12-20
AddEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.12-21
AddInternalCoHomOnMorphisms, for IsCapCategory, IsFunction 1.12-63
AddInternalCoHomOnMorphismsWithGivenInternalCoHoms, for IsCapCategory, IsFunction 1.12-64
AddInternalCoHomOnObjects, for IsCapCategory, IsFunction 1.12-65
AddInternalCoHomTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-66
AddInternalCoHomTensorProductCompatibilityMorphismInverse, for IsCapCategory, IsFunction 1.12-117
AddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.12-118
AddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-67
AddInternalCoHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction 1.12-68
AddInternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-69
AddInternalHomOnMorphisms, for IsCapCategory, IsFunction 1.12-22
AddInternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategory, IsFunction 1.12-23
AddInternalHomOnObjects, for IsCapCategory, IsFunction 1.12-24
AddInternalHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction 1.12-25
AddInternalHomToTensorProductAdjunctionMapWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-26
AddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit, for IsCapCategory, IsFunction 1.12-70
AddIsomorphismFromDualObjectToInternalHomIntoTensorUnit, for IsCapCategory, IsFunction 1.12-27
AddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject, for IsCapCategory, IsFunction 1.12-71
AddIsomorphismFromInternalCoHomToObject, for IsCapCategory, IsFunction 1.12-72
AddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.12-73
AddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject, for IsCapCategory, IsFunction 1.12-119
AddIsomorphismFromInternalHomIntoTensorUnitToDualObject, for IsCapCategory, IsFunction 1.12-28
AddIsomorphismFromInternalHomToObject, for IsCapCategory, IsFunction 1.12-29
AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction 1.12-30
AddIsomorphismFromInternalHomToTensorProductWithDualObject, for IsCapCategory, IsFunction 1.12-103
AddIsomorphismFromObjectToInternalCoHom, for IsCapCategory, IsFunction 1.12-74
AddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.12-75
AddIsomorphismFromObjectToInternalHom, for IsCapCategory, IsFunction 1.12-31
AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction 1.12-32
AddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom, for IsCapCategory, IsFunction 1.12-120
AddIsomorphismFromTensorProductWithDualObjectToInternalHom, for IsCapCategory, IsFunction 1.12-104
AdditiveMonoidalCategoriesTest 2.1-1
AddLambdaElimination, for IsCapCategory, IsFunction 1.12-33
AddLambdaIntroduction, for IsCapCategory, IsFunction 1.12-34
AddLeftDistributivityExpanding, for IsCapCategory, IsFunction 1.12-1
AddLeftDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.12-2
AddLeftDistributivityFactoring, for IsCapCategory, IsFunction 1.12-3
AddLeftDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.12-4
AddLeftUnitor, for IsCapCategory, IsFunction 1.12-91
AddLeftUnitorInverse, for IsCapCategory, IsFunction 1.12-92
AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-93
AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-94
AddMonoidalPostCoComposeMorphism, for IsCapCategory, IsFunction 1.12-76
AddMonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-77
AddMonoidalPostComposeMorphism, for IsCapCategory, IsFunction 1.12-35
AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-36
AddMonoidalPreCoComposeMorphism, for IsCapCategory, IsFunction 1.12-78
AddMonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-79
AddMonoidalPreComposeMorphism, for IsCapCategory, IsFunction 1.12-37
AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-38
AddMorphismFromBidual, for IsCapCategory, IsFunction 1.12-105
AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction 1.12-106
AddMorphismFromCoBidual, for IsCapCategory, IsFunction 1.12-80
AddMorphismFromCoBidualWithGivenCoBidual, for IsCapCategory, IsFunction 1.12-81
AddMorphismFromInternalCoHomToTensorProduct, for IsCapCategory, IsFunction 1.12-82
AddMorphismFromInternalCoHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.12-83
AddMorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction 1.12-107
AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.12-108
AddMorphismFromTensorProductToInternalCoHom, for IsCapCategory, IsFunction 1.12-121
AddMorphismFromTensorProductToInternalCoHomWithGivenObjects, for IsCapCategory, IsFunction 1.12-122
AddMorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction 1.12-39
AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction 1.12-40
AddMorphismToBidual, for IsCapCategory, IsFunction 1.12-41
AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction 1.12-42
AddMorphismToCoBidual, for IsCapCategory, IsFunction 1.12-123
AddMorphismToCoBidualWithGivenCoBidual, for IsCapCategory, IsFunction 1.12-124
AddRankMorphism, for IsCapCategory, IsFunction 1.12-109
AddRightDistributivityExpanding, for IsCapCategory, IsFunction 1.12-5
AddRightDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.12-6
AddRightDistributivityFactoring, for IsCapCategory, IsFunction 1.12-7
AddRightDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.12-8
AddRightUnitor, for IsCapCategory, IsFunction 1.12-95
AddRightUnitorInverse, for IsCapCategory, IsFunction 1.12-96
AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-97
AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-98
AddTensorProductDualityCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-43
AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-44
AddTensorProductInternalHomCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-45
AddTensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategory, IsFunction 1.12-110
AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.12-111
AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-46
AddTensorProductOnMorphisms, for IsCapCategory, IsFunction 1.12-99
AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-100
AddTensorProductOnObjects, for IsCapCategory, IsFunction 1.1-16
AddTensorProductToInternalCoHomAdjunctionMap, for IsCapCategory, IsFunction 1.12-84
AddTensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.12-85
AddTensorProductToInternalHomAdjunctionMap, for IsCapCategory, IsFunction 1.12-47
AddTensorProductToInternalHomAdjunctionMapWithGivenInternalHom, for IsCapCategory, IsFunction 1.12-48
AddTensorUnit, for IsCapCategory, IsFunction 1.1-18
AddTraceMap, for IsCapCategory, IsFunction 1.12-112
AddUniversalPropertyOfCoDual, for IsCapCategory, IsFunction 1.12-86
AddUniversalPropertyOfDual, for IsCapCategory, IsFunction 1.12-49
AssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-5
AssociatorLeftToRightWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-6
AssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-3
AssociatorRightToLeftWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-4
BraidedMonoidalCategoriesTest 2.1-2
Braiding, for IsCapCategoryObject, IsCapCategoryObject 1.3-1
BraidingInverse, for IsCapCategoryObject, IsCapCategoryObject 1.3-3
BraidingInverseWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.3-4
BraidingWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.3-2
ClosedMonoidalCategoriesTest 2.1-3
CoclosedCoevaluationForCoDual, for IsCapCategoryObject 1.10-7
CoclosedCoevaluationForCoDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.10-8
CoclosedCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-6
CoclosedCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-7
CoclosedEvaluationForCoDual, for IsCapCategoryObject 1.6-19
CoclosedEvaluationForCoDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-20
CoclosedEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-4
CoclosedEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-5
CoclosedMonoidalCategoriesTest 2.1-4
CoDualityTensorProductCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-25
CoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-26
CoDualOnMorphisms, for IsCapCategoryMorphism 1.6-17
CoDualOnMorphismsWithGivenCoDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-18
CoDualOnObjects, for IsCapCategoryObject 1.6-16
CoevaluationForDual, for IsCapCategoryObject 1.9-7
CoevaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.9-8
CoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.5-6
CoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-7
CoLambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-33
CoLambdaIntroduction, for IsCapCategoryMorphism 1.6-32
CoRankMorphism, for IsCapCategoryObject 1.10-10
CoTraceMap, for IsCapCategoryMorphism 1.10-9
DualOnMorphisms, for IsCapCategoryMorphism 1.5-17
DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.5-18
DualOnObjects, for IsCapCategoryObject 1.5-16
EvaluationForDual, for IsCapCategoryObject 1.5-19
EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-20
EvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.5-4
EvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-5
InternalCoHom, for IsCapCategoryCell, IsCapCategoryCell 1.11-2
InternalCoHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-2
InternalCoHomOnMorphismsWithGivenInternalCoHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.6-3
InternalCoHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.6-1
InternalCoHomTensorProductCompatibilityMorphism, for IsList 1.6-23
InternalCoHomTensorProductCompatibilityMorphismInverse, for IsList 1.10-5
InternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.10-6
InternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.6-24
InternalCoHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-10
InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-11
InternalHom, for IsCapCategoryCell, IsCapCategoryCell 1.11-1
InternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-2
InternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.5-3
InternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.5-1
InternalHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-10
InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.5-11
IsBraidedMonoidalCategory, for IsCapCategory 5.1-1
IsClosedMonoidalCategory, for IsCapCategory 5.1-2
IsCoclosedMonoidalCategory, for IsCapCategory 5.1-3
IsMonoidalCategory, for IsCapCategory 5.1-4
IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit, for IsCapCategoryObject 1.6-29
IsomorphismFromDualObjectToInternalHomIntoTensorUnit, for IsCapCategoryObject 1.5-29
IsomorphismFromInternalCoHomFromTensorUnitToCoDualObject, for IsCapCategoryObject 1.6-30
IsomorphismFromInternalCoHomToObject, for IsCapCategoryObject 1.6-36
IsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.6-37
IsomorphismFromInternalCoHomToTensorProductWithCoDualObject, for IsCapCategoryObject, IsCapCategoryObject 1.10-1
IsomorphismFromInternalHomIntoTensorUnitToDualObject, for IsCapCategoryObject 1.5-30
IsomorphismFromInternalHomToObject, for IsCapCategoryObject 1.5-36
IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-37
IsomorphismFromInternalHomToTensorProductWithDualObject, for IsCapCategoryObject, IsCapCategoryObject 1.9-2
IsomorphismFromObjectToInternalCoHom, for IsCapCategoryObject 1.6-34
IsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.6-35
IsomorphismFromObjectToInternalHom, for IsCapCategoryObject 1.5-34
IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-35
IsomorphismFromTensorProductWithCoDualObjectToInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.10-2
IsomorphismFromTensorProductWithDualObjectToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.9-1
IsRigidSymmetricClosedMonoidalCategory, for IsCapCategory 5.1-6
IsRigidSymmetricCoclosedMonoidalCategory, for IsCapCategory 5.1-7
IsStrictMonoidalCategory, for IsCapCategory 5.1-5
IsSymmetricClosedMonoidalCategory, for IsCapCategory 5.1-8
IsSymmetricCoclosedMonoidalCategory, for IsCapCategory 5.1-9
IsSymmetricMonoidalCategory, for IsCapCategory 5.1-10
LambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-33
LambdaIntroduction, for IsCapCategoryMorphism 1.5-32
LeftDistributivityExpanding, for IsCapCategoryObject, IsList 1.2-1
LeftDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.2-2
LeftDistributivityFactoring, for IsCapCategoryObject, IsList 1.2-3
LeftDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.2-4
LeftUnitor, for IsCapCategoryObject 1.1-7
LeftUnitorInverse, for IsCapCategoryObject 1.1-9
LeftUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-10
LeftUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-8
MonoidalCategoriesTensorProductAndUnitTest 2.1-5
MonoidalCategoriesTest 2.1-6
MonoidalPostCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-14
MonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-15
MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-14
MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-15
MonoidalPreCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-12
MonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-13
MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-12
MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-13
MorphismFromBidual, for IsCapCategoryObject 1.9-11
MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.9-12
MorphismFromCoBidual, for IsCapCategoryObject 1.6-21
MorphismFromCoBidualWithGivenCoBidual, for IsCapCategoryObject, IsCapCategoryObject 1.6-22
MorphismFromInternalCoHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.6-27
MorphismFromInternalCoHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-28
MorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.9-3
MorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.9-4
MorphismFromTensorProductToInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.10-3
MorphismFromTensorProductToInternalCoHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.10-4
MorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-27
MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-28
MorphismToBidual, for IsCapCategoryObject 1.5-21
MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.5-22
MorphismToCoBidual, for IsCapCategoryObject 1.10-11
MorphismToCoBidualWithGivenCoBidual, for IsCapCategoryObject, IsCapCategoryObject 1.10-12
RankMorphism, for IsCapCategoryObject 1.9-10
RightDistributivityExpanding, for IsList, IsCapCategoryObject 1.2-5
RightDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.2-6
RightDistributivityFactoring, for IsList, IsCapCategoryObject 1.2-7
RightDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.2-8
RightUnitor, for IsCapCategoryObject 1.1-11
RightUnitorInverse, for IsCapCategoryObject 1.1-13
RightUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-14
RightUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-12
RigidSymmetricClosedMonoidalCategoriesTest 2.1-7
RigidSymmetricCoclosedMonoidalCategoriesTest 2.1-8
TensorProductDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.5-25
TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-26
TensorProductInternalHomCompatibilityMorphism, for IsList 1.5-23
TensorProductInternalHomCompatibilityMorphismInverse, for IsList 1.9-5
TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.9-6
TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.5-24
TensorProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.1-1
TensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.1-2
TensorProductOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.1-15
TensorProductToInternalCoHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-8
TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-9
TensorProductToInternalHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-8
TensorProductToInternalHomAdjunctionMapWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.5-9
TensorUnit, for IsCapCategory 1.1-17
TraceMap, for IsCapCategoryMorphism 1.9-9
UniversalPropertyOfCoDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-31
UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-31
WriteFileForClosedMonoidalStructure 3.2-1
WriteFileForCoclosedMonoidalStructure 3.3-1
WriteFileForMonoidalStructure 3.1-1

 [Top of Book]  [Contents]   [Previous Chapter] 
Goto Chapter: Top 1 2 3 4 5 Ind

generated by GAPDoc2HTML