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

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