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-215 AddCoclosedCoevaluationForCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-216 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-201 AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.14-202 AddCoLambdaElimination, for IsCapCategory, IsFunction 1.14-71 AddCoLambdaIntroduction, for IsCapCategory, IsFunction 1.14-72 AddCoRankMorphism, for IsCapCategory, IsFunction 1.14-213 AddCoTraceMap, for IsCapCategory, IsFunction 1.14-214 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-217 AddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.14-218 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-219 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-203 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-220 AddIsomorphismFromTensorProductWithDualObjectToInternalHom, for IsCapCategory, IsFunction 1.14-204 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-205 AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction 1.14-206 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-207 AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.14-208 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-221 AddMorphismFromTensorProductToInternalCoHomWithGivenObjects, for IsCapCategory, IsFunction 1.14-222 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-223 AddMorphismToCoBidualWithGivenCoBidual, for IsCapCategory, IsFunction 1.14-224 AddMorphismToLeftBidual, for IsCapCategory, IsFunction 1.14-139 AddMorphismToLeftBidualWithGivenLeftBidual, for IsCapCategory, IsFunction 1.14-140 AddRankMorphism, for IsCapCategory, IsFunction 1.14-209 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-210 AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.14-211 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.14-199 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.14-200 AddTraceMap, for IsCapCategory, IsFunction 1.14-212 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 MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest 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-16 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
generated by GAPDoc2HTML