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

Index

AddAssociatorLeftToRight, for IsCapCategory, IsFunction 1.14-177
AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction 1.14-178
AddAssociatorRightToLeft, for IsCapCategory, IsFunction 1.14-179
AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction 1.14-180
AddBraiding, for IsCapCategory, IsFunction 1.14-9
AddBraidingInverse, for IsCapCategory, IsFunction 1.14-10
AddBraidingInverseWithGivenTensorProducts, for IsCapCategory, IsFunction 1.14-11
AddBraidingWithGivenTensorProducts, for IsCapCategory, IsFunction 1.14-12
AddClosedMonoidalLeftCoevaluationMorphism, for IsCapCategory, IsFunction 1.14-13
AddClosedMonoidalLeftCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.14-14
AddClosedMonoidalLeftEvaluationMorphism, for IsCapCategory, IsFunction 1.14-15
AddClosedMonoidalLeftEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.14-16
AddClosedMonoidalRightCoevaluationMorphism, for IsCapCategory, IsFunction 1.14-17
AddClosedMonoidalRightCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.14-18
AddClosedMonoidalRightEvaluationMorphism, for IsCapCategory, IsFunction 1.14-19
AddClosedMonoidalRightEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.14-20
AddCoclosedCoevaluationForCoDual, for IsCapCategory, IsFunction 1.14-205
AddCoclosedCoevaluationForCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-206
AddCoclosedEvaluationForCoDual, for IsCapCategory, IsFunction 1.14-65
AddCoclosedEvaluationForCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-66
AddCoclosedMonoidalLeftCoevaluationMorphism, for IsCapCategory, IsFunction 1.14-67
AddCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.14-68
AddCoclosedMonoidalLeftEvaluationMorphism, for IsCapCategory, IsFunction 1.14-69
AddCoclosedMonoidalLeftEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.14-70
AddCoclosedMonoidalRightCoevaluationMorphism, for IsCapCategory, IsFunction 1.14-71
AddCoclosedMonoidalRightCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.14-72
AddCoclosedMonoidalRightEvaluationMorphism, for IsCapCategory, IsFunction 1.14-73
AddCoclosedMonoidalRightEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.14-74
AddCoDualityTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-61
AddCoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-62
AddCoDualOnMorphisms, for IsCapCategory, IsFunction 1.14-58
AddCoDualOnMorphismsWithGivenCoDuals, for IsCapCategory, IsFunction 1.14-59
AddCoDualOnObjects, for IsCapCategory, IsFunction 1.14-60
AddCoevaluationForDual, for IsCapCategory, IsFunction 1.14-191
AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-192
AddCoLambdaElimination, for IsCapCategory, IsFunction 1.14-63
AddCoLambdaIntroduction, for IsCapCategory, IsFunction 1.14-64
AddCoRankMorphism, for IsCapCategory, IsFunction 1.14-203
AddCoTraceMap, for IsCapCategory, IsFunction 1.14-204
AddDualOnMorphisms, for IsCapCategory, IsFunction 1.14-21
AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction 1.14-22
AddDualOnObjects, for IsCapCategory, IsFunction 1.14-23
AddEvaluationForDual, for IsCapCategory, IsFunction 1.14-24
AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-25
AddInternalCoHomOnMorphisms, for IsCapCategory, IsFunction 1.14-75
AddInternalCoHomOnMorphismsWithGivenInternalCoHoms, for IsCapCategory, IsFunction 1.14-76
AddInternalCoHomOnObjects, for IsCapCategory, IsFunction 1.14-77
AddInternalCoHomTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-78
AddInternalCoHomTensorProductCompatibilityMorphismInverse, for IsCapCategory, IsFunction 1.14-207
AddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.14-208
AddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-79
AddInternalCoHomToTensorProductLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.14-80
AddInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-81
AddInternalCoHomToTensorProductRightAdjunctMorphism, for IsCapCategory, IsFunction 1.14-82
AddInternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-83
AddInternalHomOnMorphisms, for IsCapCategory, IsFunction 1.14-26
AddInternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategory, IsFunction 1.14-27
AddInternalHomOnObjects, for IsCapCategory, IsFunction 1.14-28
AddInternalHomToTensorProductLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.14-29
AddInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-30
AddInternalHomToTensorProductRightAdjunctMorphism, for IsCapCategory, IsFunction 1.14-31
AddInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-32
AddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit, for IsCapCategory, IsFunction 1.14-84
AddIsomorphismFromDualObjectToInternalHomIntoTensorUnit, for IsCapCategory, IsFunction 1.14-33
AddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject, for IsCapCategory, IsFunction 1.14-85
AddIsomorphismFromInternalCoHomToObject, for IsCapCategory, IsFunction 1.14-86
AddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.14-87
AddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject, for IsCapCategory, IsFunction 1.14-209
AddIsomorphismFromInternalHomIntoTensorUnitToDualObject, for IsCapCategory, IsFunction 1.14-34
AddIsomorphismFromInternalHomToObject, for IsCapCategory, IsFunction 1.14-35
AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction 1.14-36
AddIsomorphismFromInternalHomToTensorProductWithDualObject, for IsCapCategory, IsFunction 1.14-193
AddIsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit, for IsCapCategory, IsFunction 1.14-140
AddIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit, for IsCapCategory, IsFunction 1.14-103
AddIsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject, for IsCapCategory, IsFunction 1.14-141
AddIsomorphismFromLeftInternalCoHomToObject, for IsCapCategory, IsFunction 1.14-142
AddIsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoHom, for IsCapCategory, IsFunction 1.14-143
AddIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject, for IsCapCategory, IsFunction 1.14-104
AddIsomorphismFromLeftInternalHomToObject, for IsCapCategory, IsFunction 1.14-105
AddIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom, for IsCapCategory, IsFunction 1.14-106
AddIsomorphismFromObjectToInternalCoHom, for IsCapCategory, IsFunction 1.14-88
AddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.14-89
AddIsomorphismFromObjectToInternalHom, for IsCapCategory, IsFunction 1.14-37
AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction 1.14-38
AddIsomorphismFromObjectToLeftInternalCoHom, for IsCapCategory, IsFunction 1.14-144
AddIsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoHom, for IsCapCategory, IsFunction 1.14-145
AddIsomorphismFromObjectToLeftInternalHom, for IsCapCategory, IsFunction 1.14-107
AddIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom, for IsCapCategory, IsFunction 1.14-108
AddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom, for IsCapCategory, IsFunction 1.14-210
AddIsomorphismFromTensorProductWithDualObjectToInternalHom, for IsCapCategory, IsFunction 1.14-194
AdditiveMonoidalCategoriesTest 2.1-1
AddLambdaElimination, for IsCapCategory, IsFunction 1.14-39
AddLambdaIntroduction, for IsCapCategory, IsFunction 1.14-40
AddLeftClosedMonoidalCoevaluationMorphism, for IsCapCategory, IsFunction 1.14-109
AddLeftClosedMonoidalCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.14-110
AddLeftClosedMonoidalEvaluationForLeftDual, for IsCapCategory, IsFunction 1.14-111
AddLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-112
AddLeftClosedMonoidalEvaluationMorphism, for IsCapCategory, IsFunction 1.14-113
AddLeftClosedMonoidalEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.14-114
AddLeftClosedMonoidalLambdaElimination, for IsCapCategory, IsFunction 1.14-115
AddLeftClosedMonoidalLambdaIntroduction, for IsCapCategory, IsFunction 1.14-116
AddLeftClosedMonoidalPostComposeMorphism, for IsCapCategory, IsFunction 1.14-117
AddLeftClosedMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-118
AddLeftClosedMonoidalPreComposeMorphism, for IsCapCategory, IsFunction 1.14-119
AddLeftClosedMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-120
AddLeftCoclosedMonoidalCoevaluationMorphism, for IsCapCategory, IsFunction 1.14-151
AddLeftCoclosedMonoidalCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.14-152
AddLeftCoclosedMonoidalEvaluationForLeftCoDual, for IsCapCategory, IsFunction 1.14-153
AddLeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-154
AddLeftCoclosedMonoidalEvaluationMorphism, for IsCapCategory, IsFunction 1.14-155
AddLeftCoclosedMonoidalEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.14-156
AddLeftCoclosedMonoidalLambdaElimination, for IsCapCategory, IsFunction 1.14-157
AddLeftCoclosedMonoidalLambdaIntroduction, for IsCapCategory, IsFunction 1.14-158
AddLeftCoclosedMonoidalPostCoComposeMorphism, for IsCapCategory, IsFunction 1.14-159
AddLeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-160
AddLeftCoclosedMonoidalPreCoComposeMorphism, for IsCapCategory, IsFunction 1.14-161
AddLeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-162
AddLeftCoDualityTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-149
AddLeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-150
AddLeftCoDualOnMorphisms, for IsCapCategory, IsFunction 1.14-146
AddLeftCoDualOnMorphismsWithGivenLeftCoDuals, for IsCapCategory, IsFunction 1.14-147
AddLeftCoDualOnObjects, for IsCapCategory, IsFunction 1.14-148
AddLeftDistributivityExpanding, for IsCapCategory, IsFunction 1.14-1
AddLeftDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.14-2
AddLeftDistributivityFactoring, for IsCapCategory, IsFunction 1.14-3
AddLeftDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.14-4
AddLeftDualOnMorphisms, for IsCapCategory, IsFunction 1.14-121
AddLeftDualOnMorphismsWithGivenLeftDuals, for IsCapCategory, IsFunction 1.14-122
AddLeftDualOnObjects, for IsCapCategory, IsFunction 1.14-123
AddLeftInternalCoHomOnMorphisms, for IsCapCategory, IsFunction 1.14-163
AddLeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms, for IsCapCategory, IsFunction 1.14-164
AddLeftInternalCoHomOnObjects, for IsCapCategory, IsFunction 1.14-165
AddLeftInternalCoHomTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-166
AddLeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-167
AddLeftInternalCoHomToTensorProductAdjunctMorphism, for IsCapCategory, IsFunction 1.14-168
AddLeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-169
AddLeftInternalHomOnMorphisms, for IsCapCategory, IsFunction 1.14-124
AddLeftInternalHomOnMorphismsWithGivenLeftInternalHoms, for IsCapCategory, IsFunction 1.14-125
AddLeftInternalHomOnObjects, for IsCapCategory, IsFunction 1.14-126
AddLeftInternalHomToTensorProductAdjunctMorphism, for IsCapCategory, IsFunction 1.14-127
AddLeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-128
AddLeftUnitor, for IsCapCategory, IsFunction 1.14-181
AddLeftUnitorInverse, for IsCapCategory, IsFunction 1.14-182
AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-183
AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-184
AddMonoidalPostCoComposeMorphism, for IsCapCategory, IsFunction 1.14-90
AddMonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-91
AddMonoidalPostComposeMorphism, for IsCapCategory, IsFunction 1.14-41
AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-42
AddMonoidalPreCoComposeMorphism, for IsCapCategory, IsFunction 1.14-92
AddMonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-93
AddMonoidalPreComposeMorphism, for IsCapCategory, IsFunction 1.14-43
AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-44
AddMorphismFromBidual, for IsCapCategory, IsFunction 1.14-195
AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction 1.14-196
AddMorphismFromCoBidual, for IsCapCategory, IsFunction 1.14-94
AddMorphismFromCoBidualWithGivenCoBidual, for IsCapCategory, IsFunction 1.14-95
AddMorphismFromInternalCoHomToTensorProduct, for IsCapCategory, IsFunction 1.14-96
AddMorphismFromInternalCoHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.14-97
AddMorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction 1.14-197
AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.14-198
AddMorphismFromLeftCoBidual, for IsCapCategory, IsFunction 1.14-170
AddMorphismFromLeftCoBidualWithGivenLeftCoBidual, for IsCapCategory, IsFunction 1.14-171
AddMorphismFromLeftInternalCoHomToTensorProduct, for IsCapCategory, IsFunction 1.14-172
AddMorphismFromLeftInternalCoHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.14-173
AddMorphismFromTensorProductToInternalCoHom, for IsCapCategory, IsFunction 1.14-211
AddMorphismFromTensorProductToInternalCoHomWithGivenObjects, for IsCapCategory, IsFunction 1.14-212
AddMorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction 1.14-45
AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction 1.14-46
AddMorphismFromTensorProductToLeftInternalHom, for IsCapCategory, IsFunction 1.14-129
AddMorphismFromTensorProductToLeftInternalHomWithGivenObjects, for IsCapCategory, IsFunction 1.14-130
AddMorphismToBidual, for IsCapCategory, IsFunction 1.14-47
AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction 1.14-48
AddMorphismToCoBidual, for IsCapCategory, IsFunction 1.14-213
AddMorphismToCoBidualWithGivenCoBidual, for IsCapCategory, IsFunction 1.14-214
AddMorphismToLeftBidual, for IsCapCategory, IsFunction 1.14-131
AddMorphismToLeftBidualWithGivenLeftBidual, for IsCapCategory, IsFunction 1.14-132
AddRankMorphism, for IsCapCategory, IsFunction 1.14-199
AddRightDistributivityExpanding, for IsCapCategory, IsFunction 1.14-5
AddRightDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.14-6
AddRightDistributivityFactoring, for IsCapCategory, IsFunction 1.14-7
AddRightDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.14-8
AddRightUnitor, for IsCapCategory, IsFunction 1.14-185
AddRightUnitorInverse, for IsCapCategory, IsFunction 1.14-186
AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-187
AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-188
AddTensorProductDualityCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-49
AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-50
AddTensorProductInternalHomCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-51
AddTensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategory, IsFunction 1.14-200
AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.14-201
AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-52
AddTensorProductLeftDualityCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-133
AddTensorProductLeftDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-134
AddTensorProductLeftInternalHomCompatibilityMorphism, for IsCapCategory, IsFunction 1.14-135
AddTensorProductLeftInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.14-136
AddTensorProductOnMorphisms, for IsCapCategory, IsFunction 1.14-189
AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction 1.14-190
AddTensorProductOnObjects, for IsCapCategory, IsFunction 1.1-16
AddTensorProductToInternalCoHomLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.14-98
AddTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.14-99
AddTensorProductToInternalCoHomRightAdjunctMorphism, for IsCapCategory, IsFunction 1.14-100
AddTensorProductToInternalCoHomRightAdjunctMorphismWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.14-101
AddTensorProductToInternalHomLeftAdjunctMorphism, for IsCapCategory, IsFunction 1.14-53
AddTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom, for IsCapCategory, IsFunction 1.14-54
AddTensorProductToInternalHomRightAdjunctMorphism, for IsCapCategory, IsFunction 1.14-55
AddTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalHom, for IsCapCategory, IsFunction 1.14-56
AddTensorProductToLeftInternalCoHomAdjunctMorphism, for IsCapCategory, IsFunction 1.14-174
AddTensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInternalCoHom, for IsCapCategory, IsFunction 1.14-175
AddTensorProductToLeftInternalHomAdjunctMorphism, for IsCapCategory, IsFunction 1.14-137
AddTensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftInternalHom, for IsCapCategory, IsFunction 1.14-138
AddTensorUnit, for IsCapCategory, IsFunction 1.1-18
AddTraceMap, for IsCapCategory, IsFunction 1.14-202
AddUniversalPropertyOfCoDual, for IsCapCategory, IsFunction 1.14-102
AddUniversalPropertyOfDual, for IsCapCategory, IsFunction 1.14-57
AddUniversalPropertyOfLeftCoDual, for IsCapCategory, IsFunction 1.14-176
AddUniversalPropertyOfLeftDual, for IsCapCategory, IsFunction 1.14-139
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
ClosedMonoidalCategoriesTestWithGiven 2.1-4
ClosedMonoidalLeftCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-14
ClosedMonoidalLeftCoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-15
ClosedMonoidalLeftEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-12
ClosedMonoidalLeftEvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-13
ClosedMonoidalRightCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-6
ClosedMonoidalRightCoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-7
ClosedMonoidalRightEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-4
ClosedMonoidalRightEvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-5
CoclosedCoevaluationForCoDual, for IsCapCategoryObject 1.12-7
CoclosedCoevaluationForCoDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.12-8
CoclosedCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 5.1-1
CoclosedCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 5.1-2
CoclosedEvaluationForCoDual, for IsCapCategoryObject 1.8-27
CoclosedEvaluationForCoDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-28
CoclosedEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 5.1-3
CoclosedEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 5.1-4
CoclosedMonoidalCategoriesTest 2.1-5
CoclosedMonoidalCategoriesTestWithGiven 2.1-6
CoclosedMonoidalLeftCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.8-14
CoclosedMonoidalLeftCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-15
CoclosedMonoidalLeftEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.8-12
CoclosedMonoidalLeftEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-13
CoclosedMonoidalRightCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.8-6
CoclosedMonoidalRightCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-7
CoclosedMonoidalRightEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.8-4
CoclosedMonoidalRightEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-5
CoDualityTensorProductCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.8-33
CoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-34
CoDualOnMorphisms, for IsCapCategoryMorphism 1.8-25
CoDualOnMorphismsWithGivenCoDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.8-26
CoDualOnObjects, for IsCapCategoryObject 1.8-24
CoevaluationForDual, for IsCapCategoryObject 1.11-7
CoevaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.11-8
CoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 5.1-5
CoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 5.1-6
CoLambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.8-41
CoLambdaIntroduction, for IsCapCategoryMorphism 1.8-40
CoRankMorphism, for IsCapCategoryObject 1.12-10
CoTraceMap, for IsCapCategoryMorphism 1.12-9
DualOnMorphisms, for IsCapCategoryMorphism 1.6-25
DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-26
DualOnObjects, for IsCapCategoryObject 1.6-24
EvaluationForDual, for IsCapCategoryObject 1.6-27
EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-28
EvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 5.2-1
EvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 5.2-2
InternalCoHom, for IsCapCategoryCell, IsCapCategoryCell 1.13-2
InternalCoHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.8-2
InternalCoHomOnMorphismsWithGivenInternalCoHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.8-3
InternalCoHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.8-1
InternalCoHomTensorProductCompatibilityMorphism, for IsList 1.8-31
InternalCoHomTensorProductCompatibilityMorphismInverse, for IsList 1.12-5
InternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.12-6
InternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.8-32
InternalCoHomToTensorProductAdjunctionMap, for IsObject 5.2-3
InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct, for IsObject 5.2-4
InternalCoHomToTensorProductLeftAdjunctionMap, for IsObject 5.2-11
InternalCoHomToTensorProductLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.8-18
InternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.8-19
InternalCoHomToTensorProductRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.8-10
InternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.8-11
InternalHom, for IsCapCategoryCell, IsCapCategoryCell 1.13-1
InternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.6-2
InternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.6-3
InternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.6-1
InternalHomToTensorProductAdjunctionMap, for IsObject 5.2-5
InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct, for IsObject 5.2-6
InternalHomToTensorProductLeftAdjunctionMap, for IsObject 5.2-12
InternalHomToTensorProductLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-18
InternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-19
InternalHomToTensorProductRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-10
InternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-11
IsBraidedMonoidalCategory, for IsCapCategory 6.1-1
IsClosedMonoidalCategory, for IsCapCategory 6.1-2
IsCoclosedMonoidalCategory, for IsCapCategory 6.1-3
IsLeftClosedMonoidalCategory, for IsCapCategory 6.1-4
IsLeftCoclosedMonoidalCategory, for IsCapCategory 6.1-5
IsMonoidalCategory, for IsCapCategory 6.1-6
IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit, for IsCapCategoryObject 1.8-37
IsomorphismFromDualObjectToInternalHomIntoTensorUnit, for IsCapCategoryObject 1.6-37
IsomorphismFromInternalCoHomFromTensorUnitToCoDualObject, for IsCapCategoryObject 1.8-38
IsomorphismFromInternalCoHomToObject, for IsCapCategoryObject 1.8-44
IsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.8-45
IsomorphismFromInternalCoHomToTensorProductWithCoDualObject, for IsCapCategoryObject, IsCapCategoryObject 1.12-1
IsomorphismFromInternalHomIntoTensorUnitToDualObject, for IsCapCategoryObject 1.6-38
IsomorphismFromInternalHomToObject, for IsCapCategoryObject 1.6-44
IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.6-45
IsomorphismFromInternalHomToTensorProductWithDualObject, for IsCapCategoryObject, IsCapCategoryObject 1.11-2
IsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit, for IsCapCategoryObject 1.7-29
IsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit, for IsCapCategoryObject 1.5-29
IsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject, for IsCapCategoryObject 1.7-30
IsomorphismFromLeftInternalCoHomToObject, for IsCapCategoryObject 1.7-36
IsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.7-37
IsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject, for IsCapCategoryObject 1.5-30
IsomorphismFromLeftInternalHomToObject, for IsCapCategoryObject 1.5-36
IsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-37
IsomorphismFromObjectToInternalCoHom, for IsCapCategoryObject 1.8-42
IsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.8-43
IsomorphismFromObjectToInternalHom, for IsCapCategoryObject 1.6-42
IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.6-43
IsomorphismFromObjectToLeftInternalCoHom, for IsCapCategoryObject 1.7-34
IsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.7-35
IsomorphismFromObjectToLeftInternalHom, for IsCapCategoryObject 1.5-34
IsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-35
IsomorphismFromTensorProductWithCoDualObjectToInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.12-2
IsomorphismFromTensorProductWithDualObjectToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.11-1
IsRigidSymmetricClosedMonoidalCategory, for IsCapCategory 6.1-8
IsRigidSymmetricCoclosedMonoidalCategory, for IsCapCategory 6.1-9
IsStrictMonoidalCategory, for IsCapCategory 6.1-7
IsSymmetricClosedMonoidalCategory, for IsCapCategory 6.1-10
IsSymmetricCoclosedMonoidalCategory, for IsCapCategory 6.1-11
IsSymmetricMonoidalCategory, for IsCapCategory 6.1-12
LambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-41
LambdaIntroduction, for IsCapCategoryMorphism 1.6-40
LeftClosedMonoidalCategoriesTest 2.1-7
LeftClosedMonoidalCategoriesTestWithGiven 2.1-8
LeftClosedMonoidalCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.5-6
LeftClosedMonoidalCoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-7
LeftClosedMonoidalEvaluationForLeftDual, for IsCapCategoryObject 1.5-19
LeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-20
LeftClosedMonoidalEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.5-4
LeftClosedMonoidalEvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-5
LeftClosedMonoidalLambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-33
LeftClosedMonoidalLambdaIntroduction, for IsCapCategoryMorphism 1.5-32
LeftClosedMonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-14
LeftClosedMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-15
LeftClosedMonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-12
LeftClosedMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-13
LeftCoclosedMonoidalCategoriesTest 2.1-9
LeftCoclosedMonoidalCategoriesTestWithGiven 2.1-10
LeftCoclosedMonoidalCoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.7-6
LeftCoclosedMonoidalCoevaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-7
LeftCoclosedMonoidalEvaluationForLeftCoDual, for IsCapCategoryObject 1.7-19
LeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-20
LeftCoclosedMonoidalEvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.7-4
LeftCoclosedMonoidalEvaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-5
LeftCoclosedMonoidalLambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.7-33
LeftCoclosedMonoidalLambdaIntroduction, for IsCapCategoryMorphism 1.7-32
LeftCoclosedMonoidalPostCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-14
LeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-15
LeftCoclosedMonoidalPreCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-12
LeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-13
LeftCoDualityTensorProductCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.7-25
LeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-26
LeftCoDualOnMorphisms, for IsCapCategoryMorphism 1.7-17
LeftCoDualOnMorphismsWithGivenLeftCoDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.7-18
LeftCoDualOnObjects, for IsCapCategoryObject 1.7-16
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
LeftDualOnMorphisms, for IsCapCategoryMorphism 1.5-17
LeftDualOnMorphismsWithGivenLeftDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.5-18
LeftDualOnObjects, for IsCapCategoryObject 1.5-16
LeftInternalCoHom, for IsCapCategoryCell, IsCapCategoryCell 1.13-4
LeftInternalCoHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.7-2
LeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.7-3
LeftInternalCoHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.7-1
LeftInternalCoHomTensorProductCompatibilityMorphism, for IsList 1.7-23
LeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.7-24
LeftInternalCoHomToTensorProductAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.7-10
LeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.7-11
LeftInternalHom, for IsCapCategoryCell, IsCapCategoryCell 1.13-3
LeftInternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.5-2
LeftInternalHomOnMorphismsWithGivenLeftInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.5-3
LeftInternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.5-1
LeftInternalHomToTensorProductAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-10
LeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.5-11
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-11
MonoidalCategoriesTest 2.1-12
MonoidalPostCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-22
MonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-23
MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-22
MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-23
MonoidalPreCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-20
MonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-21
MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-20
MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-21
MorphismFromBidual, for IsCapCategoryObject 1.11-11
MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.11-12
MorphismFromCoBidual, for IsCapCategoryObject 1.8-29
MorphismFromCoBidualWithGivenCoBidual, for IsCapCategoryObject, IsCapCategoryObject 1.8-30
MorphismFromInternalCoHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.8-35
MorphismFromInternalCoHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.8-36
MorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.11-3
MorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.11-4
MorphismFromLeftCoBidual, for IsCapCategoryObject 1.7-21
MorphismFromLeftCoBidualWithGivenLeftCoBidual, for IsCapCategoryObject, IsCapCategoryObject 1.7-22
MorphismFromLeftInternalCoHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.7-27
MorphismFromLeftInternalCoHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.7-28
MorphismFromTensorProductToInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.12-3
MorphismFromTensorProductToInternalCoHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.12-4
MorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.6-35
MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-36
MorphismFromTensorProductToLeftInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-27
MorphismFromTensorProductToLeftInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-28
MorphismToBidual, for IsCapCategoryObject 1.6-29
MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.6-30
MorphismToCoBidual, for IsCapCategoryObject 1.12-11
MorphismToCoBidualWithGivenCoBidual, for IsCapCategoryObject, IsCapCategoryObject 1.12-12
MorphismToLeftBidual, for IsCapCategoryObject 1.5-21
MorphismToLeftBidualWithGivenLeftBidual, for IsCapCategoryObject, IsCapCategoryObject 1.5-22
RankMorphism, for IsCapCategoryObject 1.11-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-13
RigidSymmetricCoclosedMonoidalCategoriesTest 2.1-14
TensorProductDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.6-33
TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-34
TensorProductInternalHomCompatibilityMorphism, for IsList 1.6-31
TensorProductInternalHomCompatibilityMorphismInverse, for IsList 1.11-5
TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.11-6
TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.6-32
TensorProductLeftDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.5-25
TensorProductLeftDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-26
TensorProductLeftInternalHomCompatibilityMorphism, for IsList 1.5-23
TensorProductLeftInternalHomCompatibilityMorphismWithGivenObjects, 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 IsObject 5.2-7
TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom, for IsObject 5.2-8
TensorProductToInternalCoHomLeftAdjunctionMap, for IsObject 5.2-13
TensorProductToInternalCoHomLeftAdjunctionMapWithGivenInternalCoHom, for IsObject 5.2-14
TensorProductToInternalCoHomLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.8-16
TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.8-17
TensorProductToInternalCoHomRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.8-8
TensorProductToInternalCoHomRightAdjunctMorphismWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.8-9
TensorProductToInternalHomAdjunctionMap, for IsObject 5.2-9
TensorProductToInternalHomAdjunctionMapWithGivenInternalHom, for IsObject 5.2-10
TensorProductToInternalHomLeftAdjunctionMap, for IsObject 5.2-15
TensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom, for IsObject 5.2-16
TensorProductToInternalHomLeftAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-16
TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-17
TensorProductToInternalHomRightAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-8
TensorProductToInternalHomRightAdjunctMorphismWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-9
TensorProductToLeftInternalCoHomAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.7-8
TensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.7-9
TensorProductToLeftInternalHomAdjunctMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-8
TensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftInternalHom, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.5-9
TensorUnit, for IsCapCategory 1.1-17
TraceMap, for IsCapCategoryMorphism 1.11-9
UniversalPropertyOfCoDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.8-39
UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-39
UniversalPropertyOfLeftCoDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.7-31
UniversalPropertyOfLeftDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-31
WriteFileForClosedMonoidalStructure 3.2-1
WriteFileForCoclosedMonoidalStructure 3.3-1
WriteFileForLeftClosedMonoidalStructure 3.2-2
WriteFileForLeftCoclosedMonoidalStructure 3.3-2
WriteFileForMonoidalStructure 3.1-1

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

generated by GAPDoc2HTML