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