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