AddAssociatorLeftToRightWithGivenTensorProducts, for IsCapCategory, IsFunction 1.1-11 AddAssociatorRightToLeftWithGivenTensorProducts, for IsCapCategory, IsFunction 1.1-8 AddBraidingInverseWithGivenTensorProducts, for IsCapCategory, IsFunction 1.2-6 AddBraidingWithGivenTensorProducts, for IsCapCategory, IsFunction 1.2-3 AddCoevaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.4-32 AddCoevaluationMorphismWithGivenRange, for IsCapCategory, IsFunction 1.4-11 AddDualOnMorphismsWithGivenDuals, for IsCapCategory, IsFunction 1.4-26 AddDualOnObjects, for IsCapCategory, IsFunction 1.4-23 AddEvaluationForDualWithGivenTensorProduct, for IsCapCategory, IsFunction 1.4-29 AddEvaluationMorphismWithGivenSource, for IsCapCategory, IsFunction 1.4-8 AddInternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategory, IsFunction 1.4-5 AddInternalHomOnObjects, for IsCapCategory, IsFunction 1.4-2 AddInternalHomToTensorProductAdjunctionMap, for IsCapCategory, IsFunction 1.4-15 AddIsomorphismFromDualToInternalHom, for IsCapCategory, IsFunction 1.4-57 AddIsomorphismFromInternalHomToDual, for IsCapCategory, IsFunction 1.4-59 AddIsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategory, IsFunction 1.4-71 AddIsomorphismFromInternalHomToTensorProduct, for IsCapCategory, IsFunction 1.4-51 AddIsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategory, IsFunction 1.4-68 AddIsomorphismFromTensorProductToInternalHom, for IsCapCategory, IsFunction 1.4-46 AddLambdaElimination, for IsCapCategory, IsFunction 1.4-65 AddLambdaIntroduction, for IsCapCategory, IsFunction 1.4-63 AddLeftDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.1-28 AddLeftDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.1-31 AddLeftUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.1-19 AddLeftUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.1-16 AddMonoidalPostComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-21 AddMonoidalPreComposeMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-18 AddMorphismFromBidualWithGivenBidual, for IsCapCategory, IsFunction 1.5-6 AddMorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategory, IsFunction 1.4-49 AddMorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategory, IsFunction 1.4-44 AddMorphismToBidualWithGivenBidual, for IsCapCategory, IsFunction 1.4-35 AddRankMorphism, for IsCapCategory, IsFunction 1.4-55 AddRightDistributivityExpandingWithGivenObjects, for IsCapCategory, IsFunction 1.1-34 AddRightDistributivityFactoringWithGivenObjects, for IsCapCategory, IsFunction 1.1-37 AddRightUnitorInverseWithGivenTensorProduct, for IsCapCategory, IsFunction 1.1-25 AddRightUnitorWithGivenTensorProduct, for IsCapCategory, IsFunction 1.1-22 AddTensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-41 AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategory, IsFunction 1.5-3 AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategory, IsFunction 1.4-38 AddTensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategory, IsFunction 1.1-5 AddTensorProductOnObjects, for IsCapCategory, IsFunction 1.1-2 AddTensorProductToInternalHomAdjunctionMap, for IsCapCategory, IsFunction 1.4-13 AddTensorUnit, for IsCapCategory, IsFunction 1.1-13 AddTraceMap, for IsCapCategory, IsFunction 1.4-53 AddUniversalPropertyOfDual, for IsCapCategory, IsFunction 1.4-61 AssociatorLeftToRight, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-9 AssociatorLeftToRightWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-10 AssociatorRightToLeft, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-6 AssociatorRightToLeftWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-7 Braiding, for IsCapCategoryObject, IsCapCategoryObject 1.2-1 BraidingInverse, for IsCapCategoryObject, IsCapCategoryObject 1.2-4 BraidingInverseWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-5 BraidingWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-2 CoevaluationForDual, for IsCapCategoryObject 1.4-30 CoevaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-31 CoevaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.4-9 CoevaluationMorphismWithGivenRange, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-10 DualOnMorphisms, for IsCapCategoryMorphism 1.4-24 DualOnMorphismsWithGivenDuals, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-25 DualOnObjects, for IsCapCategoryObject 1.4-22 EvaluationForDual, for IsCapCategoryObject 1.4-27 EvaluationForDualWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-28 EvaluationMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.4-6 EvaluationMorphismWithGivenSource, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-7 InternalHomOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.4-3 InternalHomOnMorphismsWithGivenInternalHoms, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.4-4 InternalHomOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.4-1 InternalHomToTensorProductAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-14 IsomorphismFromDualToInternalHom, for IsCapCategoryObject 1.4-56 IsomorphismFromInternalHomToDual, for IsCapCategoryObject 1.4-58 IsomorphismFromInternalHomToObject, for IsCapCategoryObject 1.4-69 IsomorphismFromInternalHomToObjectWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.4-70 IsomorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.4-50 IsomorphismFromObjectToInternalHom, for IsCapCategoryObject 1.4-66 IsomorphismFromObjectToInternalHomWithGivenInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.4-67 IsomorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.4-45 LambdaElimination, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-64 LambdaIntroduction, for IsCapCategoryMorphism 1.4-62 LeftDistributivityExpanding, for IsCapCategoryObject, IsList 1.1-26 LeftDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-27 LeftDistributivityFactoring, for IsCapCategoryObject, IsList 1.1-29 LeftDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-30 LeftUnitor, for IsCapCategoryObject 1.1-14 LeftUnitorInverse, for IsCapCategoryObject 1.1-17 LeftUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-18 LeftUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-15 MonoidalPostComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-19 MonoidalPostComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-20 MonoidalPreComposeMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-16 MonoidalPreComposeMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-17 MorphismFromBidual, for IsCapCategoryObject 1.5-4 MorphismFromBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.5-5 MorphismFromInternalHomToTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.4-47 MorphismFromInternalHomToTensorProductWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-48 MorphismFromTensorProductToInternalHom, for IsCapCategoryObject, IsCapCategoryObject 1.4-42 MorphismFromTensorProductToInternalHomWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-43 MorphismToBidual, for IsCapCategoryObject 1.4-33 MorphismToBidualWithGivenBidual, for IsCapCategoryObject, IsCapCategoryObject 1.4-34 RankMorphism, for IsCapCategoryObject 1.4-54 RightDistributivityExpanding, for IsList, IsCapCategoryObject 1.1-32 RightDistributivityExpandingWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-33 RightDistributivityFactoring, for IsList, IsCapCategoryObject 1.1-35 RightDistributivityFactoringWithGivenObjects, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-36 RightUnitor, for IsCapCategoryObject 1.1-20 RightUnitorInverse, for IsCapCategoryObject 1.1-23 RightUnitorInverseWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-24 RightUnitorWithGivenTensorProduct, for IsCapCategoryObject, IsCapCategoryObject 1.1-21 TensorProductDualityCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject 1.4-39 TensorProductDualityCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-40 TensorProductInternalHomCompatibilityMorphism, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-36 TensorProductInternalHomCompatibilityMorphismInverse, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-1 TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 1.5-2 TensorProductInternalHomCompatibilityMorphismWithGivenObjects, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 1.4-37 TensorProductOnMorphisms, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.1-3 TensorProductOnMorphismsWithGivenTensorProducts, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.1-4 TensorProductOnObjects, for IsCapCategoryObject, IsCapCategoryObject 1.1-1 TensorProductToInternalHomAdjunctionMap, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-12 TensorUnit, for IsCapCategory 1.1-12 TraceMap, for IsCapCategoryMorphism 1.4-52 UniversalPropertyOfDual, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-60
generated by GAPDoc2HTML