GAP (MonoidalCategories) - Chapter 5: Legacy Operations and Synonyms

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

[MathJax off]

5 Legacy Operations and Synonyms
5.1 Legacy operations
5.1-1 CoclosedCoevaluationMorphism
5.1-2 CoclosedCoevaluationMorphismWithGivenSource
5.1-3 CoclosedEvaluationMorphism
5.1-4 CoclosedEvaluationMorphismWithGivenRange
5.1-5 CoevaluationMorphism
5.1-6 CoevaluationMorphismWithGivenRange
5.2 Synonyms for legacy operations
5.2-1 EvaluationMorphism
5.2-2 EvaluationMorphismWithGivenSource
5.2-3 InternalCoHomToTensorProductAdjunctionMap
5.2-4 InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct
5.2-5 InternalHomToTensorProductAdjunctionMap
5.2-6 InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct
5.2-7 TensorProductToInternalCoHomAdjunctionMap
5.2-8 TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom
5.2-9 TensorProductToInternalHomAdjunctionMap
5.2-10 TensorProductToInternalHomAdjunctionMapWithGivenInternalHom
5.2-11 InternalCoHomToTensorProductLeftAdjunctionMap
5.2-12 InternalHomToTensorProductLeftAdjunctionMap
5.2-13 TensorProductToInternalCoHomLeftAdjunctionMap
5.2-14 TensorProductToInternalCoHomLeftAdjunctionMapWithGivenInternalCoHom
5.2-15 TensorProductToInternalHomLeftAdjunctionMap
5.2-16 TensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom

### 5 Legacy Operations and Synonyms

#### 5.1 Legacy operations

##### 5.1-1 CoclosedCoevaluationMorphism

`‣ CoclosedCoevaluationMorphism`( a, b ) | ( operation )

This is a legacy operation for `CoclosedMonoidalLeftCoevaluationMorphism`( b, a ), i.e., with the first and second argument interchanged.

##### 5.1-2 CoclosedCoevaluationMorphismWithGivenSource

`‣ CoclosedCoevaluationMorphismWithGivenSource`( a, b, s ) | ( operation )

This is a legacy operation for `CoclosedMonoidalLeftCoevaluationMorphismWithGivenSource`( b, a, s ), i.e., with the first and second argument interchanged.

##### 5.1-3 CoclosedEvaluationMorphism

`‣ CoclosedEvaluationMorphism`( a, b ) | ( operation )

This is a legacy operation for `CoclosedMonoidalLeftEvaluationMorphism`( b, a ), i.e., with the first and second argument interchanged.

##### 5.1-4 CoclosedEvaluationMorphismWithGivenRange

`‣ CoclosedEvaluationMorphismWithGivenRange`( a, b, r ) | ( operation )

This is a legacy operation for `CoclosedMonoidalLeftEvaluationMorphismWithGivenRange`( b, a, r ), i.e., with the first and second argument interchanged.

##### 5.1-5 CoevaluationMorphism

`‣ CoevaluationMorphism`( a, b ) | ( operation )

This is a legacy operation for `ClosedMonoidalLeftCoevaluationMorphism`( b, a ), i.e., with the first and second argument interchanged.

##### 5.1-6 CoevaluationMorphismWithGivenRange

`‣ CoevaluationMorphismWithGivenRange`( a, b, r ) | ( operation )

This is a legacy operation for `ClosedMonoidalLeftCoevaluationMorphismWithGivenRange`( b, a, r ), i.e., with the first and second argument interchanged.

#### 5.2 Synonyms for legacy operations

##### 5.2-1 EvaluationMorphism

`‣ EvaluationMorphism`( arg1, arg2 ) | ( operation )

This is a synonym for `ClosedMonoidalLeftEvaluationMorphism`.

##### 5.2-2 EvaluationMorphismWithGivenSource

`‣ EvaluationMorphismWithGivenSource`( arg1, arg2, arg3 ) | ( operation )

This is a synonym for `ClosedMonoidalLeftEvaluationMorphismWithGivenSource`.

##### 5.2-3 InternalCoHomToTensorProductAdjunctionMap

`‣ InternalCoHomToTensorProductAdjunctionMap`( arg ) | ( operation )

This is a synonym for `InternalCoHomToTensorProductLeftAdjunctMorphism`.

##### 5.2-4 InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct

`‣ InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct`( arg ) | ( operation )

This is a synonym for `InternalCoHomToTensorProductLeftAdjunctionMapWithGivenTensorProduct`.

##### 5.2-5 InternalHomToTensorProductAdjunctionMap

`‣ InternalHomToTensorProductAdjunctionMap`( arg ) | ( operation )

This is a synonym for `InternalHomToTensorProductLeftAdjunctMorphism`.

##### 5.2-6 InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct

`‣ InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct`( arg ) | ( operation )

This is a synonym for `InternalHomToTensorProductLeftAdjunctionMapWithGivenTensorProduct`.

##### 5.2-7 TensorProductToInternalCoHomAdjunctionMap

`‣ TensorProductToInternalCoHomAdjunctionMap`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphism`.

##### 5.2-8 TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom

`‣ TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom`.

##### 5.2-9 TensorProductToInternalHomAdjunctionMap

`‣ TensorProductToInternalHomAdjunctionMap`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphism`.

##### 5.2-10 TensorProductToInternalHomAdjunctionMapWithGivenInternalHom

`‣ TensorProductToInternalHomAdjunctionMapWithGivenInternalHom`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom`.

##### 5.2-11 InternalCoHomToTensorProductLeftAdjunctionMap

`‣ InternalCoHomToTensorProductLeftAdjunctionMap`( arg ) | ( operation )

This is a synonym for `InternalCoHomToTensorProductLeftAdjunctMorphism`.

##### 5.2-12 InternalHomToTensorProductLeftAdjunctionMap

`‣ InternalHomToTensorProductLeftAdjunctionMap`( arg ) | ( operation )

This is a synonym for `InternalHomToTensorProductLeftAdjunctMorphism`.

##### 5.2-13 TensorProductToInternalCoHomLeftAdjunctionMap

`‣ TensorProductToInternalCoHomLeftAdjunctionMap`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphism`.

##### 5.2-14 TensorProductToInternalCoHomLeftAdjunctionMapWithGivenInternalCoHom

`‣ TensorProductToInternalCoHomLeftAdjunctionMapWithGivenInternalCoHom`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom`.

##### 5.2-15 TensorProductToInternalHomLeftAdjunctionMap

`‣ TensorProductToInternalHomLeftAdjunctionMap`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphism`.

##### 5.2-16 TensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom

`‣ TensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom`( arg ) | ( operation )

This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom`.

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

generated by GAPDoc2HTML