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

5 Legacy Operations and Synonyms
 5.1 Legacy operations
 5.2 Synonyms for legacy operations

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