/, for IsString, IsTerminalCategoryWithMultipleObjects 4.1-3 AddAssociatorLeftToRight, for IsCapCategory, IsFunction 1.12-83 AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-84 AddAssociatorRightToLeft, for IsCapCategory, IsFunction 1.12-85 AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-86 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-111 AddCoclosedCoevaluationForCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-112 AddCoclosedCoevaluationMorphism, for IsCapCategory, IsFunction 1.12-55 AddCoclosedCoevaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.12-56 AddCoclosedEvaluationForCoDual, for IsCapCategory, IsFunction 1.12-57 AddCoclosedEvaluationForCoDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-58 AddCoclosedEvaluationMorphism, for IsCapCategory, IsFunction 1.12-59 AddCoclosedEvaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.12-60 AddCoDualityTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-51 AddCoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-52 AddCoDualOnMorphisms, for IsCapCategory, IsFunction 1.12-48 AddCoDualOnMorphismsWithGivenCoDuals, for IsCapCategory, IsFunction 1.12-49 AddCoDualOnObjects, for IsCapCategory, IsFunction 1.12-50 AddCoevaluationForDual, for IsCapCategory, IsFunction 1.12-97 AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-98 AddCoevaluationMorphism, for IsCapCategory, IsFunction 1.12-13 AddCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.12-14 AddCoLambdaElimination, for IsCapCategory, IsFunction 1.12-53 AddCoLambdaIntroduction, for IsCapCategory, IsFunction 1.12-54 AddCoRankMorphism, for IsCapCategory, IsFunction 1.12-109 AddCoTraceMap, for IsCapCategory, IsFunction 1.12-110 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-61 AddInternalCoHomOnMorphismsWithGivenInternalCoHoms, for IsCapCategory, IsFunction 1.12-62 AddInternalCoHomOnObjects, for IsCapCategory, IsFunction 1.12-63 AddInternalCoHomTensorProductCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-64 AddInternalCoHomTensorProductCompatibilityMorphismInverse, for IsCapCategory, IsFunction 1.12-113 AddInternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.12-114 AddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-65 AddInternalCoHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction 1.12-66 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 AddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit, for IsCapCategory, IsFunction 1.12-67 AddIsomorphismFromDualObjectToInternalHomIntoTensorUnit, for IsCapCategory, IsFunction 1.12-26 AddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject, for IsCapCategory, IsFunction 1.12-68 AddIsomorphismFromInternalCoHomToObject, for IsCapCategory, IsFunction 1.12-69 AddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.12-70 AddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject, for IsCapCategory, IsFunction 1.12-115 AddIsomorphismFromInternalHomIntoTensorUnitToDualObject, for IsCapCategory, IsFunction 1.12-27 AddIsomorphismFromInternalHomToObject, for IsCapCategory, IsFunction 1.12-28 AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction 1.12-29 AddIsomorphismFromInternalHomToTensorProductWithDualObject, for IsCapCategory, IsFunction 1.12-99 AddIsomorphismFromObjectToInternalCoHom, for IsCapCategory, IsFunction 1.12-71 AddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom, for IsCapCategory, IsFunction 1.12-72 AddIsomorphismFromObjectToInternalHom, for IsCapCategory, IsFunction 1.12-30 AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction 1.12-31 AddIsomorphismFromTensorProductWithCoDualObjectToInternalCoHom, for IsCapCategory, IsFunction 1.12-116 AddIsomorphismFromTensorProductWithDualObjectToInternalHom, for IsCapCategory, IsFunction 1.12-100 AdditiveMonoidalCategoriesTest 2.1-1 AddLambdaElimination, for IsCapCategory, IsFunction 1.12-32 AddLambdaIntroduction, for IsCapCategory, IsFunction 1.12-33 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-87 AddLeftUnitorInverse, for IsCapCategory, IsFunction 1.12-88 AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-89 AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-90 AddMonoidalPostCoComposeMorphism, for IsCapCategory, IsFunction 1.12-73 AddMonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-74 AddMonoidalPostComposeMorphism, for IsCapCategory, IsFunction 1.12-34 AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-35 AddMonoidalPreCoComposeMorphism, for IsCapCategory, IsFunction 1.12-75 AddMonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-76 AddMonoidalPreComposeMorphism, for IsCapCategory, IsFunction 1.12-36 AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-37 AddMorphismFromBidual, for IsCapCategory, IsFunction 1.12-101 AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction 1.12-102 AddMorphismFromCoBidual, for IsCapCategory, IsFunction 1.12-77 AddMorphismFromCoBidualWithGivenCoBidual, for IsCapCategory, IsFunction 1.12-78 AddMorphismFromInternalCoHomToTensorProduct, for IsCapCategory, IsFunction 1.12-79 AddMorphismFromInternalCoHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.12-80 AddMorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction 1.12-103 AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.12-104 AddMorphismFromTensorProductToInternalCoHom, for IsCapCategory, IsFunction 1.12-117 AddMorphismFromTensorProductToInternalCoHomWithGivenObjects, for IsCapCategory, IsFunction 1.12-118 AddMorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction 1.12-38 AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction 1.12-39 AddMorphismToBidual, for IsCapCategory, IsFunction 1.12-40 AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction 1.12-41 AddMorphismToCoBidual, for IsCapCategory, IsFunction 1.12-119 AddMorphismToCoBidualWithGivenCoBidual, for IsCapCategory, IsFunction 1.12-120 AddRankMorphism, for IsCapCategory, IsFunction 1.12-105 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-91 AddRightUnitorInverse, for IsCapCategory, IsFunction 1.12-92 AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-93 AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.12-94 AddTensorProductDualityCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-42 AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-43 AddTensorProductInternalHomCompatibilityMorphism, for IsCapCategory, IsFunction 1.12-44 AddTensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategory, IsFunction 1.12-106 AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.12-107 AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.12-45 AddTensorProductOnMorphisms, for IsCapCategory, IsFunction 1.12-95 AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction 1.12-96 AddTensorProductOnObjects, for IsCapCategory, IsFunction 1.1-16 AddTensorProductToInternalCoHomAdjunctionMap, for IsCapCategory, IsFunction 1.12-81 AddTensorProductToInternalHomAdjunctionMap, for IsCapCategory, IsFunction 1.12-46 AddTensorUnit, for IsCapCategory, IsFunction 1.1-18 AddTraceMap, for IsCapCategory, IsFunction 1.12-108 AddUniversalPropertyOfCoDual, for IsCapCategory, IsFunction 1.12-82 AddUniversalPropertyOfDual, for IsCapCategory, IsFunction 1.12-47 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-17 CoclosedEvaluationForCoDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-18 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-23 CoDualityTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-24 CoDualOnMorphisms, for IsCapCategoryMorphism 1.6-15 CoDualOnMorphismsWithGivenCoDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.6-16 CoDualOnObjects, for IsCapCategoryObject 1.6-14 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-31 CoLambdaIntroduction, for IsCapCategoryMorphism 1.6-30 CoRankMorphism, for IsCapCategoryObject 1.10-10 CoTraceMap, for IsCapCategoryMorphism 1.10-9 DualOnMorphisms, for IsCapCategoryMorphism 1.5-15 DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.5-16 DualOnObjects, for IsCapCategoryObject 1.5-14 EvaluationForDual, for IsCapCategoryObject 1.5-17 EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-18 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-21 InternalCoHomTensorProductCompatibilityMorphismInverse, for IsList 1.10-5 InternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.10-6 InternalCoHomTensorProductCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.6-22 InternalCoHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-9 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-9 IsCellInTerminalCategoryWithMultipleObjects, for IsCapCategoryCell 4.2-2 IsMorphismInTerminalCategoryWithMultipleObjects, for IsCellInTerminalCategoryWithMultipleObjects andIsCapTerminalCategoryMorphismRep 4.2-4 IsObjectInTerminalCategoryWithMultipleObjects, for IsCellInTerminalCategoryWithMultipleObjects andIsCapTerminalCategoryObjectRep 4.2-3 IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit, for IsCapCategoryObject 1.6-27 IsomorphismFromDualObjectToInternalHomIntoTensorUnit, for IsCapCategoryObject 1.5-27 IsomorphismFromInternalCoHomFromTensorUnitToCoDualObject, for IsCapCategoryObject 1.6-28 IsomorphismFromInternalCoHomToObject, for IsCapCategoryObject 1.6-34 IsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.6-35 IsomorphismFromInternalCoHomToTensorProductWithCoDualObject, for IsCapCategoryObject, IsCapCategoryObject 1.10-1 IsomorphismFromInternalHomIntoTensorUnitToDualObject, for IsCapCategoryObject 1.5-28 IsomorphismFromInternalHomToObject, for IsCapCategoryObject 1.5-34 IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-35 IsomorphismFromInternalHomToTensorProductWithDualObject, for IsCapCategoryObject, IsCapCategoryObject 1.9-2 IsomorphismFromObjectToInternalCoHom, for IsCapCategoryObject 1.6-32 IsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.6-33 IsomorphismFromObjectToInternalHom, for IsCapCategoryObject 1.5-32 IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.5-33 IsomorphismFromTensorProductWithCoDualObjectToInternalCoHom, for IsCapCategoryObject, IsCapCategoryObject 1.10-2 IsomorphismFromTensorProductWithDualObjectToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.9-1 IsTerminalCategoryWithMultipleObjects, for IsCapCategory 4.2-1 LambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-31 LambdaIntroduction, for IsCapCategoryMorphism 1.5-30 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-12 MonoidalPostCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-13 MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-12 MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-13 MonoidalPreCoComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-10 MonoidalPreCoComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-11 MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-10 MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-11 MorphismFromBidual, for IsCapCategoryObject 1.9-11 MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.9-12 MorphismFromCoBidual, for IsCapCategoryObject 1.6-19 MorphismFromCoBidualWithGivenCoBidual, for IsCapCategoryObject, IsCapCategoryObject 1.6-20 MorphismFromInternalCoHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.6-25 MorphismFromInternalCoHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.6-26 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-25 MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-26 MorphismToBidual, for IsCapCategoryObject 1.5-19 MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.5-20 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-23 TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-24 TensorProductInternalHomCompatibilityMorphism, for IsList 1.5-21 TensorProductInternalHomCompatibilityMorphismInverse, for IsList 1.9-5 TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.9-6 TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject 1.5-22 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 TensorProductToInternalHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-8 TensorUnit, for IsCapCategory 1.1-17 TerminalCategory 4.1-1 TerminalCategoryWithMultipleObjects 4.1-2 TraceMap, for IsCapCategoryMorphism 1.9-9 UniversalPropertyOfCoDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.6-29 UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.5-29 WriteFileForClosedMonoidalStructure 3.2-1 WriteFileForCoclosedMonoidalStructure 3.3-1 WriteFileForMonoidalStructure 3.1-1
generated by GAPDoc2HTML