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