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