GAP (MonoidalCategories) - Index

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

[MathJax off]

### Index

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

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

generated by GAPDoc2HTML