GAP (MonoidalCategories) - Index

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

[MathJax on]

### Index

`AddAssociatorLeftToRight`, for IsCapCategory, IsFunction 1.14-185
`AddAssociatorLeftToRightWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.14-186
`AddAssociatorRightToLeft`, for IsCapCategory, IsFunction 1.14-187
`AddAssociatorRightToLeftWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.14-188
`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-213
`AddCoclosedCoevaluationForCoDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-214
`AddCoclosedEvaluationForCoDual`, for IsCapCategory, IsFunction 1.14-73
`AddCoclosedEvaluationForCoDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-74
`AddCoclosedMonoidalLeftCoevaluationMorphism`, for IsCapCategory, IsFunction 1.14-75
`AddCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource`, for IsCapCategory, IsFunction 1.14-76
`AddCoclosedMonoidalLeftEvaluationMorphism`, for IsCapCategory, IsFunction 1.14-77
`AddCoclosedMonoidalLeftEvaluationMorphismWithGivenRange`, for IsCapCategory, IsFunction 1.14-78
`AddCoclosedMonoidalRightCoevaluationMorphism`, for IsCapCategory, IsFunction 1.14-79
`AddCoclosedMonoidalRightCoevaluationMorphismWithGivenSource`, for IsCapCategory, IsFunction 1.14-80
`AddCoclosedMonoidalRightEvaluationMorphism`, for IsCapCategory, IsFunction 1.14-81
`AddCoclosedMonoidalRightEvaluationMorphismWithGivenRange`, for IsCapCategory, IsFunction 1.14-82
`AddCoDualityTensorProductCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-69
`AddCoDualityTensorProductCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-70
`AddCoDualOnMorphisms`, for IsCapCategory, IsFunction 1.14-66
`AddCoDualOnMorphismsWithGivenCoDuals`, for IsCapCategory, IsFunction 1.14-67
`AddCoDualOnObjects`, for IsCapCategory, IsFunction 1.14-68
`AddCoevaluationForDual`, for IsCapCategory, IsFunction 1.14-199
`AddCoevaluationForDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-200
`AddCoLambdaElimination`, for IsCapCategory, IsFunction 1.14-71
`AddCoLambdaIntroduction`, for IsCapCategory, IsFunction 1.14-72
`AddCoRankMorphism`, for IsCapCategory, IsFunction 1.14-211
`AddCoTraceMap`, for IsCapCategory, IsFunction 1.14-212
`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-83
`AddInternalCoHomOnMorphismsWithGivenInternalCoHoms`, for IsCapCategory, IsFunction 1.14-84
`AddInternalCoHomOnObjects`, for IsCapCategory, IsFunction 1.14-85
`AddInternalCoHomTensorProductCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-86
`AddInternalCoHomTensorProductCompatibilityMorphismInverse`, for IsCapCategory, IsFunction 1.14-215
`AddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects`, for IsCapCategory, IsFunction 1.14-216
`AddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-87
`AddInternalCoHomToTensorProductLeftAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-88
`AddInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-89
`AddInternalCoHomToTensorProductRightAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-90
`AddInternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-91
`AddInternalHomOnMorphisms`, for IsCapCategory, IsFunction 1.14-26
`AddInternalHomOnMorphismsWithGivenInternalHoms`, for IsCapCategory, IsFunction 1.14-27
`AddInternalHomOnObjects`, for IsCapCategory, IsFunction 1.14-28
`AddInternalHomToTensorProductLeftAdjunctionIsomorphism`, for IsCapCategory, IsFunction 1.14-31
`AddInternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-32
`AddInternalHomToTensorProductLeftAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-29
`AddInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-30
`AddInternalHomToTensorProductRightAdjunctionIsomorphism`, for IsCapCategory, IsFunction 1.14-35
`AddInternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-36
`AddInternalHomToTensorProductRightAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-33
`AddInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-34
`AddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit`, for IsCapCategory, IsFunction 1.14-92
`AddIsomorphismFromDualObjectToInternalHomIntoTensorUnit`, for IsCapCategory, IsFunction 1.14-37
`AddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject`, for IsCapCategory, IsFunction 1.14-93
`AddIsomorphismFromInternalCoHomToObject`, for IsCapCategory, IsFunction 1.14-94
`AddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom`, for IsCapCategory, IsFunction 1.14-95
`AddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject`, for IsCapCategory, IsFunction 1.14-217
`AddIsomorphismFromInternalHomIntoTensorUnitToDualObject`, for IsCapCategory, IsFunction 1.14-38
`AddIsomorphismFromInternalHomToObject`, for IsCapCategory, IsFunction 1.14-39
`AddIsomorphismFromInternalHomToObjectWithGivenInternalHom`, for IsCapCategory, IsFunction 1.14-40
`AddIsomorphismFromInternalHomToTensorProductWithDualObject`, for IsCapCategory, IsFunction 1.14-201
`AddIsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit`, for IsCapCategory, IsFunction 1.14-148
`AddIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit`, for IsCapCategory, IsFunction 1.14-111
`AddIsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject`, for IsCapCategory, IsFunction 1.14-149
`AddIsomorphismFromLeftInternalCoHomToObject`, for IsCapCategory, IsFunction 1.14-150
`AddIsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoHom`, for IsCapCategory, IsFunction 1.14-151
`AddIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject`, for IsCapCategory, IsFunction 1.14-112
`AddIsomorphismFromLeftInternalHomToObject`, for IsCapCategory, IsFunction 1.14-113
`AddIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom`, for IsCapCategory, IsFunction 1.14-114
`AddIsomorphismFromObjectToInternalCoHom`, for IsCapCategory, IsFunction 1.14-96
`AddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom`, for IsCapCategory, IsFunction 1.14-97
`AddIsomorphismFromObjectToInternalHom`, for IsCapCategory, IsFunction 1.14-41
`AddIsomorphismFromObjectToInternalHomWithGivenInternalHom`, for IsCapCategory, IsFunction 1.14-42
`AddIsomorphismFromObjectToLeftInternalCoHom`, for IsCapCategory, IsFunction 1.14-152
`AddIsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoHom`, for IsCapCategory, IsFunction 1.14-153
`AddIsomorphismFromObjectToLeftInternalHom`, for IsCapCategory, IsFunction 1.14-115
`AddIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom`, for IsCapCategory, IsFunction 1.14-116
`AddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom`, for IsCapCategory, IsFunction 1.14-218
`AddIsomorphismFromTensorProductWithDualObjectToInternalHom`, for IsCapCategory, IsFunction 1.14-202
`AdditiveMonoidalCategoriesTest` 2.1-1
`AddLambdaElimination`, for IsCapCategory, IsFunction 1.14-43
`AddLambdaIntroduction`, for IsCapCategory, IsFunction 1.14-44
`AddLeftClosedMonoidalCoevaluationMorphism`, for IsCapCategory, IsFunction 1.14-117
`AddLeftClosedMonoidalCoevaluationMorphismWithGivenRange`, for IsCapCategory, IsFunction 1.14-118
`AddLeftClosedMonoidalEvaluationForLeftDual`, for IsCapCategory, IsFunction 1.14-119
`AddLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-120
`AddLeftClosedMonoidalEvaluationMorphism`, for IsCapCategory, IsFunction 1.14-121
`AddLeftClosedMonoidalEvaluationMorphismWithGivenSource`, for IsCapCategory, IsFunction 1.14-122
`AddLeftClosedMonoidalLambdaElimination`, for IsCapCategory, IsFunction 1.14-123
`AddLeftClosedMonoidalLambdaIntroduction`, for IsCapCategory, IsFunction 1.14-124
`AddLeftClosedMonoidalPostComposeMorphism`, for IsCapCategory, IsFunction 1.14-125
`AddLeftClosedMonoidalPostComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-126
`AddLeftClosedMonoidalPreComposeMorphism`, for IsCapCategory, IsFunction 1.14-127
`AddLeftClosedMonoidalPreComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-128
`AddLeftCoclosedMonoidalCoevaluationMorphism`, for IsCapCategory, IsFunction 1.14-159
`AddLeftCoclosedMonoidalCoevaluationMorphismWithGivenSource`, for IsCapCategory, IsFunction 1.14-160
`AddLeftCoclosedMonoidalEvaluationForLeftCoDual`, for IsCapCategory, IsFunction 1.14-161
`AddLeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-162
`AddLeftCoclosedMonoidalEvaluationMorphism`, for IsCapCategory, IsFunction 1.14-163
`AddLeftCoclosedMonoidalEvaluationMorphismWithGivenRange`, for IsCapCategory, IsFunction 1.14-164
`AddLeftCoclosedMonoidalLambdaElimination`, for IsCapCategory, IsFunction 1.14-165
`AddLeftCoclosedMonoidalLambdaIntroduction`, for IsCapCategory, IsFunction 1.14-166
`AddLeftCoclosedMonoidalPostCoComposeMorphism`, for IsCapCategory, IsFunction 1.14-167
`AddLeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-168
`AddLeftCoclosedMonoidalPreCoComposeMorphism`, for IsCapCategory, IsFunction 1.14-169
`AddLeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-170
`AddLeftCoDualityTensorProductCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-157
`AddLeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-158
`AddLeftCoDualOnMorphisms`, for IsCapCategory, IsFunction 1.14-154
`AddLeftCoDualOnMorphismsWithGivenLeftCoDuals`, for IsCapCategory, IsFunction 1.14-155
`AddLeftCoDualOnObjects`, for IsCapCategory, IsFunction 1.14-156
`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-129
`AddLeftDualOnMorphismsWithGivenLeftDuals`, for IsCapCategory, IsFunction 1.14-130
`AddLeftDualOnObjects`, for IsCapCategory, IsFunction 1.14-131
`AddLeftInternalCoHomOnMorphisms`, for IsCapCategory, IsFunction 1.14-171
`AddLeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms`, for IsCapCategory, IsFunction 1.14-172
`AddLeftInternalCoHomOnObjects`, for IsCapCategory, IsFunction 1.14-173
`AddLeftInternalCoHomTensorProductCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-174
`AddLeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-175
`AddLeftInternalCoHomToTensorProductAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-176
`AddLeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-177
`AddLeftInternalHomOnMorphisms`, for IsCapCategory, IsFunction 1.14-132
`AddLeftInternalHomOnMorphismsWithGivenLeftInternalHoms`, for IsCapCategory, IsFunction 1.14-133
`AddLeftInternalHomOnObjects`, for IsCapCategory, IsFunction 1.14-134
`AddLeftInternalHomToTensorProductAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-135
`AddLeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-136
`AddLeftUnitor`, for IsCapCategory, IsFunction 1.14-189
`AddLeftUnitorInverse`, for IsCapCategory, IsFunction 1.14-190
`AddLeftUnitorInverseWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-191
`AddLeftUnitorWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-192
`AddMonoidalPostCoComposeMorphism`, for IsCapCategory, IsFunction 1.14-98
`AddMonoidalPostCoComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-99
`AddMonoidalPostComposeMorphism`, for IsCapCategory, IsFunction 1.14-45
`AddMonoidalPostComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-46
`AddMonoidalPreCoComposeMorphism`, for IsCapCategory, IsFunction 1.14-100
`AddMonoidalPreCoComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-101
`AddMonoidalPreComposeMorphism`, for IsCapCategory, IsFunction 1.14-47
`AddMonoidalPreComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-48
`AddMorphismFromBidual`, for IsCapCategory, IsFunction 1.14-203
`AddMorphismFromBidualWithGivenBidual`, for IsCapCategory, IsFunction 1.14-204
`AddMorphismFromCoBidual`, for IsCapCategory, IsFunction 1.14-102
`AddMorphismFromCoBidualWithGivenCoBidual`, for IsCapCategory, IsFunction 1.14-103
`AddMorphismFromInternalCoHomToTensorProduct`, for IsCapCategory, IsFunction 1.14-104
`AddMorphismFromInternalCoHomToTensorProductWithGivenObjects`, for IsCapCategory, IsFunction 1.14-105
`AddMorphismFromInternalHomToTensorProduct`, for IsCapCategory, IsFunction 1.14-205
`AddMorphismFromInternalHomToTensorProductWithGivenObjects`, for IsCapCategory, IsFunction 1.14-206
`AddMorphismFromLeftCoBidual`, for IsCapCategory, IsFunction 1.14-178
`AddMorphismFromLeftCoBidualWithGivenLeftCoBidual`, for IsCapCategory, IsFunction 1.14-179
`AddMorphismFromLeftInternalCoHomToTensorProduct`, for IsCapCategory, IsFunction 1.14-180
`AddMorphismFromLeftInternalCoHomToTensorProductWithGivenObjects`, for IsCapCategory, IsFunction 1.14-181
`AddMorphismFromTensorProductToInternalCoHom`, for IsCapCategory, IsFunction 1.14-219
`AddMorphismFromTensorProductToInternalCoHomWithGivenObjects`, for IsCapCategory, IsFunction 1.14-220
`AddMorphismFromTensorProductToInternalHom`, for IsCapCategory, IsFunction 1.14-49
`AddMorphismFromTensorProductToInternalHomWithGivenObjects`, for IsCapCategory, IsFunction 1.14-50
`AddMorphismFromTensorProductToLeftInternalHom`, for IsCapCategory, IsFunction 1.14-137
`AddMorphismFromTensorProductToLeftInternalHomWithGivenObjects`, for IsCapCategory, IsFunction 1.14-138
`AddMorphismToBidual`, for IsCapCategory, IsFunction 1.14-51
`AddMorphismToBidualWithGivenBidual`, for IsCapCategory, IsFunction 1.14-52
`AddMorphismToCoBidual`, for IsCapCategory, IsFunction 1.14-221
`AddMorphismToCoBidualWithGivenCoBidual`, for IsCapCategory, IsFunction 1.14-222
`AddMorphismToLeftBidual`, for IsCapCategory, IsFunction 1.14-139
`AddMorphismToLeftBidualWithGivenLeftBidual`, for IsCapCategory, IsFunction 1.14-140
`AddRankMorphism`, for IsCapCategory, IsFunction 1.14-207
`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-193
`AddRightUnitorInverse`, for IsCapCategory, IsFunction 1.14-194
`AddRightUnitorInverseWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-195
`AddRightUnitorWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.14-196
`AddTensorProductDualityCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-53
`AddTensorProductDualityCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-54
`AddTensorProductInternalHomCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-55
`AddTensorProductInternalHomCompatibilityMorphismInverse`, for IsCapCategory, IsFunction 1.14-208
`AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects`, for IsCapCategory, IsFunction 1.14-209
`AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-56
`AddTensorProductLeftDualityCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-141
`AddTensorProductLeftDualityCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-142
`AddTensorProductLeftInternalHomCompatibilityMorphism`, for IsCapCategory, IsFunction 1.14-143
`AddTensorProductLeftInternalHomCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-144
`AddTensorProductOnMorphisms`, for IsCapCategory, IsFunction 1.14-197
`AddTensorProductOnMorphismsWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.14-198
`AddTensorProductOnObjects`, for IsCapCategory, IsFunction 1.1-16
`AddTensorProductToInternalCoHomLeftAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-106
`AddTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom`, for IsCapCategory, IsFunction 1.14-107
`AddTensorProductToInternalCoHomRightAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-108
`AddTensorProductToInternalCoHomRightAdjunctMorphismWithGivenInternalCoHom`, for IsCapCategory, IsFunction 1.14-109
`AddTensorProductToInternalHomLeftAdjunctionIsomorphism`, for IsCapCategory, IsFunction 1.14-59
`AddTensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-60
`AddTensorProductToInternalHomLeftAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-57
`AddTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom`, for IsCapCategory, IsFunction 1.14-58
`AddTensorProductToInternalHomRightAdjunctionIsomorphism`, for IsCapCategory, IsFunction 1.14-63
`AddTensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.14-64
`AddTensorProductToInternalHomRightAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-61
`AddTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalHom`, for IsCapCategory, IsFunction 1.14-62
`AddTensorProductToLeftInternalCoHomAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-182
`AddTensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInternalCoHom`, for IsCapCategory, IsFunction 1.14-183
`AddTensorProductToLeftInternalHomAdjunctMorphism`, for IsCapCategory, IsFunction 1.14-145
`AddTensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftInternalHom`, for IsCapCategory, IsFunction 1.14-146
`AddTensorUnit`, for IsCapCategory, IsFunction 1.1-18
`AddTraceMap`, for IsCapCategory, IsFunction 1.14-210
`AddUniversalPropertyOfCoDual`, for IsCapCategory, IsFunction 1.14-110
`AddUniversalPropertyOfDual`, for IsCapCategory, IsFunction 1.14-65
`AddUniversalPropertyOfLeftCoDual`, for IsCapCategory, IsFunction 1.14-184
`AddUniversalPropertyOfLeftDual`, for IsCapCategory, IsFunction 1.14-147
`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-18
`ClosedMonoidalLeftCoevaluationMorphismWithGivenRange`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-19
`ClosedMonoidalLeftEvaluationMorphism`, for IsCapCategoryObject, IsCapCategoryObject 1.6-16
`ClosedMonoidalLeftEvaluationMorphismWithGivenSource`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-17
`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-33
`DualOnMorphismsWithGivenDuals`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-34
`DualOnObjects`, for IsCapCategoryObject 1.6-32
`EvaluationForDual`, for IsCapCategoryObject 1.6-35
`EvaluationForDualWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-36
`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
`InternalHomToTensorProductLeftAdjunctionIsomorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-26
`InternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-27
`InternalHomToTensorProductLeftAdjunctionMap`, for IsObject 5.2-12
`InternalHomToTensorProductLeftAdjunctMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-24
`InternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-25
`InternalHomToTensorProductRightAdjunctionIsomorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-14
`InternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-15
`InternalHomToTensorProductRightAdjunctMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-12
`InternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-13
`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-45
`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-46
`IsomorphismFromInternalHomToObject`, for IsCapCategoryObject 1.6-52
`IsomorphismFromInternalHomToObjectWithGivenInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 1.6-53
`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-50
`IsomorphismFromObjectToInternalHomWithGivenInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 1.6-51
`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-49
`LambdaIntroduction`, for IsCapCategoryMorphism 1.6-48
`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-30
`MonoidalPostComposeMorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-31
`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-28
`MonoidalPreComposeMorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-29
`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-43
`MorphismFromTensorProductToInternalHomWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-44
`MorphismFromTensorProductToLeftInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 1.5-27
`MorphismFromTensorProductToLeftInternalHomWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-28
`MorphismToBidual`, for IsCapCategoryObject 1.6-37
`MorphismToBidualWithGivenBidual`, for IsCapCategoryObject, IsCapCategoryObject 1.6-38
`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-41
`TensorProductDualityCompatibilityMorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-42
`TensorProductInternalHomCompatibilityMorphism`, for IsList 1.6-39
`TensorProductInternalHomCompatibilityMorphismInverse`, for IsList 1.11-5
`TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects`, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.11-6
`TensorProductInternalHomCompatibilityMorphismWithGivenObjects`, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.6-40
`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
`TensorProductToInternalHomLeftAdjunctionIsomorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-22
`TensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-23
`TensorProductToInternalHomLeftAdjunctionMap`, for IsObject 5.2-15
`TensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom`, for IsObject 5.2-16
`TensorProductToInternalHomLeftAdjunctMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-20
`TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-21
`TensorProductToInternalHomRightAdjunctionIsomorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-10
`TensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-11
`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-47
`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