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