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