GAP (MonoidalCategories) - Index

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

[MathJax off]

### Index

`/`, 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

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

generated by GAPDoc2HTML