GAP (MonoidalCategories) - Index

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

[MathJax on]

### Index

`AddAssociatorLeftToRightWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.1-11
`AddAssociatorRightToLeftWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.1-8
`AddBraidingInverseWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.2-6
`AddBraidingWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.2-3
`AddCoevaluationForDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.4-32
`AddCoevaluationMorphismWithGivenRange`, for IsCapCategory, IsFunction 1.4-11
`AddDualOnMorphismsWithGivenDuals`, for IsCapCategory, IsFunction 1.4-26
`AddDualOnObjects`, for IsCapCategory, IsFunction 1.4-23
`AddEvaluationForDualWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.4-29
`AddEvaluationMorphismWithGivenSource`, for IsCapCategory, IsFunction 1.4-8
`AddInternalHomOnMorphismsWithGivenInternalHoms`, for IsCapCategory, IsFunction 1.4-5
`AddInternalHomOnObjects`, for IsCapCategory, IsFunction 1.4-2
`AddInternalHomToTensorProductAdjunctionMap`, for IsCapCategory, IsFunction 1.4-15
`AddIsomorphismFromDualToInternalHom`, for IsCapCategory, IsFunction 1.4-57
`AddIsomorphismFromInternalHomToDual`, for IsCapCategory, IsFunction 1.4-59
`AddIsomorphismFromInternalHomToObjectWithGivenInternalHom`, for IsCapCategory, IsFunction 1.4-71
`AddIsomorphismFromInternalHomToTensorProduct`, for IsCapCategory, IsFunction 1.4-51
`AddIsomorphismFromObjectToInternalHomWithGivenInternalHom`, for IsCapCategory, IsFunction 1.4-68
`AddIsomorphismFromTensorProductToInternalHom`, for IsCapCategory, IsFunction 1.4-46
`AddLambdaElimination`, for IsCapCategory, IsFunction 1.4-65
`AddLambdaIntroduction`, for IsCapCategory, IsFunction 1.4-63
`AddLeftDistributivityExpandingWithGivenObjects`, for IsCapCategory, IsFunction 1.1-28
`AddLeftDistributivityFactoringWithGivenObjects`, for IsCapCategory, IsFunction 1.1-31
`AddLeftUnitorInverseWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.1-19
`AddLeftUnitorWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.1-16
`AddMonoidalPostComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.4-21
`AddMonoidalPreComposeMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.4-18
`AddMorphismFromBidualWithGivenBidual`, for IsCapCategory, IsFunction 1.5-6
`AddMorphismFromInternalHomToTensorProductWithGivenObjects`, for IsCapCategory, IsFunction 1.4-49
`AddMorphismFromTensorProductToInternalHomWithGivenObjects`, for IsCapCategory, IsFunction 1.4-44
`AddMorphismToBidualWithGivenBidual`, for IsCapCategory, IsFunction 1.4-35
`AddRankMorphism`, for IsCapCategory, IsFunction 1.4-55
`AddRightDistributivityExpandingWithGivenObjects`, for IsCapCategory, IsFunction 1.1-34
`AddRightDistributivityFactoringWithGivenObjects`, for IsCapCategory, IsFunction 1.1-37
`AddRightUnitorInverseWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.1-25
`AddRightUnitorWithGivenTensorProduct`, for IsCapCategory, IsFunction 1.1-22
`AddTensorProductDualityCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.4-41
`AddTensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects`, for IsCapCategory, IsFunction 1.5-3
`AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects`, for IsCapCategory, IsFunction 1.4-38
`AddTensorProductOnMorphismsWithGivenTensorProducts`, for IsCapCategory, IsFunction 1.1-5
`AddTensorProductOnObjects`, for IsCapCategory, IsFunction 1.1-2
`AddTensorProductToInternalHomAdjunctionMap`, for IsCapCategory, IsFunction 1.4-13
`AddTensorUnit`, for IsCapCategory, IsFunction 1.1-13
`AddTraceMap`, for IsCapCategory, IsFunction 1.4-53
`AddUniversalPropertyOfDual`, for IsCapCategory, IsFunction 1.4-61
`AssociatorLeftToRight`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-9
`AssociatorLeftToRightWithGivenTensorProducts`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-10
`AssociatorRightToLeft`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-6
`AssociatorRightToLeftWithGivenTensorProducts`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.1-7
`Braiding`, for IsCapCategoryObject, IsCapCategoryObject 1.2-1
`BraidingInverse`, for IsCapCategoryObject, IsCapCategoryObject 1.2-4
`BraidingInverseWithGivenTensorProducts`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-5
`BraidingWithGivenTensorProducts`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.2-2
`CoevaluationForDual`, for IsCapCategoryObject 1.4-30
`CoevaluationForDualWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-31
`CoevaluationMorphism`, for IsCapCategoryObject, IsCapCategoryObject 1.4-9
`CoevaluationMorphismWithGivenRange`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-10
`DualOnMorphisms`, for IsCapCategoryMorphism 1.4-24
`DualOnMorphismsWithGivenDuals`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject 1.4-25
`DualOnObjects`, for IsCapCategoryObject 1.4-22
`EvaluationForDual`, for IsCapCategoryObject 1.4-27
`EvaluationForDualWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-28
`EvaluationMorphism`, for IsCapCategoryObject, IsCapCategoryObject 1.4-6
`EvaluationMorphismWithGivenSource`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-7
`InternalHomOnMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.4-3
`InternalHomOnMorphismsWithGivenInternalHoms`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.4-4
`InternalHomOnObjects`, for IsCapCategoryObject, IsCapCategoryObject 1.4-1
`InternalHomToTensorProductAdjunctionMap`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-14
`IsomorphismFromDualToInternalHom`, for IsCapCategoryObject 1.4-56
`IsomorphismFromInternalHomToDual`, for IsCapCategoryObject 1.4-58
`IsomorphismFromInternalHomToObject`, for IsCapCategoryObject 1.4-69
`IsomorphismFromInternalHomToObjectWithGivenInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 1.4-70
`IsomorphismFromInternalHomToTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject 1.4-50
`IsomorphismFromObjectToInternalHom`, for IsCapCategoryObject 1.4-66
`IsomorphismFromObjectToInternalHomWithGivenInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 1.4-67
`IsomorphismFromTensorProductToInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 1.4-45
`LambdaElimination`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-64
`LambdaIntroduction`, for IsCapCategoryMorphism 1.4-62
`LeftDistributivityExpanding`, for IsCapCategoryObject, IsList 1.1-26
`LeftDistributivityExpandingWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-27
`LeftDistributivityFactoring`, for IsCapCategoryObject, IsList 1.1-29
`LeftDistributivityFactoringWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsList, IsCapCategoryObject 1.1-30
`LeftUnitor`, for IsCapCategoryObject 1.1-14
`LeftUnitorInverse`, for IsCapCategoryObject 1.1-17
`LeftUnitorInverseWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject 1.1-18
`LeftUnitorWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject 1.1-15
`MonoidalPostComposeMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-19
`MonoidalPostComposeMorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-20
`MonoidalPreComposeMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-16
`MonoidalPreComposeMorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-17
`MorphismFromBidual`, for IsCapCategoryObject 1.5-4
`MorphismFromBidualWithGivenBidual`, for IsCapCategoryObject, IsCapCategoryObject 1.5-5
`MorphismFromInternalHomToTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject 1.4-47
`MorphismFromInternalHomToTensorProductWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-48
`MorphismFromTensorProductToInternalHom`, for IsCapCategoryObject, IsCapCategoryObject 1.4-42
`MorphismFromTensorProductToInternalHomWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-43
`MorphismToBidual`, for IsCapCategoryObject 1.4-33
`MorphismToBidualWithGivenBidual`, for IsCapCategoryObject, IsCapCategoryObject 1.4-34
`RankMorphism`, for IsCapCategoryObject 1.4-54
`RightDistributivityExpanding`, for IsList, IsCapCategoryObject 1.1-32
`RightDistributivityExpandingWithGivenObjects`, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-33
`RightDistributivityFactoring`, for IsList, IsCapCategoryObject 1.1-35
`RightDistributivityFactoringWithGivenObjects`, for IsCapCategoryObject, IsList, IsCapCategoryObject, IsCapCategoryObject 1.1-36
`RightUnitor`, for IsCapCategoryObject 1.1-20
`RightUnitorInverse`, for IsCapCategoryObject 1.1-23
`RightUnitorInverseWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject 1.1-24
`RightUnitorWithGivenTensorProduct`, for IsCapCategoryObject, IsCapCategoryObject 1.1-21
`TensorProductDualityCompatibilityMorphism`, for IsCapCategoryObject, IsCapCategoryObject 1.4-39
`TensorProductDualityCompatibilityMorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-40
`TensorProductInternalHomCompatibilityMorphism`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.4-36
`TensorProductInternalHomCompatibilityMorphismInverse`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject 1.5-1
`TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 1.5-2
`TensorProductInternalHomCompatibilityMorphismWithGivenObjects`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject, IsList 1.4-37
`TensorProductOnMorphisms`, for IsCapCategoryMorphism, IsCapCategoryMorphism 1.1-3
`TensorProductOnMorphismsWithGivenTensorProducts`, for IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryMorphism, IsCapCategoryObject 1.1-4
`TensorProductOnObjects`, for IsCapCategoryObject, IsCapCategoryObject 1.1-1
`TensorProductToInternalHomAdjunctionMap`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-12
`TensorUnit`, for IsCapCategory 1.1-12
`TraceMap`, for IsCapCategoryMorphism 1.4-52
`UniversalPropertyOfDual`, for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism 1.4-60

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

generated by GAPDoc2HTML