GAP (MonoidalCategories) - Index

Goto Chapter: Top 1 2 3 4 5 Ind
[Top of Book] [Contents] [Previous Chapter]

[MathJax off]

### Index

`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

[Top of Book] [Contents] [Previous Chapter]
Goto Chapter: Top 1 2 3 4 5 Ind

generated by GAPDoc2HTML