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

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