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