Goto Chapter: Top 1 2 3 4 5 6 Ind

### 5 Legacy Operations and Synonyms

#### 5.1 Legacy operations

##### 5.1-1 CocartesianCoevaluationMorphism
 ‣ CocartesianCoevaluationMorphism( a, b ) ( operation )

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

##### 5.1-2 CocartesianCoevaluationMorphismWithGivenSource
 ‣ CocartesianCoevaluationMorphismWithGivenSource( a, b, s ) ( operation )

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

##### 5.1-3 CocartesianEvaluationMorphism
 ‣ CocartesianEvaluationMorphism( a, b ) ( operation )

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

##### 5.1-4 CocartesianEvaluationMorphismWithGivenRange
 ‣ CocartesianEvaluationMorphismWithGivenRange( a, b, r ) ( operation )

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

##### 5.1-5 CartesianCoevaluationMorphism
 ‣ CartesianCoevaluationMorphism( a, b ) ( operation )

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

##### 5.1-6 CartesianCoevaluationMorphismWithGivenRange
 ‣ CartesianCoevaluationMorphismWithGivenRange( a, b, r ) ( operation )

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

#### 5.2 Synonyms for legacy operations

##### 5.2-1 CartesianEvaluationMorphism
 ‣ CartesianEvaluationMorphism( arg ) ( operation )

This is a synonym for CartesianLeftEvaluationMorphism.

##### 5.2-2 CartesianEvaluationMorphismWithGivenSource
 ‣ CartesianEvaluationMorphismWithGivenSource( arg ) ( operation )

This is a synonym for CartesianLeftEvaluationMorphismWithGivenSource.

 ‣ CoexponentialToCoproductAdjunctionMap( arg ) ( operation )

This is a synonym for CoexponentialToCoproductLeftAdjunctMorphism.

 ‣ CoexponentialToCoproductAdjunctionMapWithGivenCoproduct( arg ) ( operation )

This is a synonym for CoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct.

 ‣ ExponentialToDirectProductAdjunctionMap( arg ) ( operation )

This is a synonym for ExponentialToDirectProductLeftAdjunctMorphism.

 ‣ ExponentialToDirectProductAdjunctionMapWithGivenDirectProduct( arg ) ( operation )

This is a synonym for ExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct.

 ‣ CoproductToCoexponentialAdjunctionMap( arg ) ( operation )

This is a synonym for CoproductToCoexponentialLeftAdjunctMorphism.

 ‣ CoproductToCoexponentialAdjunctionMapWithGivenCoexponential( arg ) ( operation )

This is a synonym for CoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential.

 ‣ DirectProductToExponentialAdjunctionMap( arg ) ( operation )

This is a synonym for DirectProductToExponentialLeftAdjunctMorphism.

 ‣ DirectProductToExponentialAdjunctionMapWithGivenExponential( arg ) ( operation )

This is a synonym for DirectProductToExponentialLeftAdjunctMorphismWithGivenExponential.

 ‣ AddCartesianEvaluationMorphism( arg ) ( operation )

This is a synonym for AddCartesianLeftEvaluationMorphism.

 ‣ AddCartesianEvaluationMorphismWithGivenSource( arg ) ( operation )

This is a synonym for AddCartesianLeftEvaluationMorphismWithGivenSource.

 ‣ AddCoexponentialToCoproductAdjunctionMap( arg ) ( operation )

This is a synonym for AddCoexponentialToCoproductLeftAdjunctMorphism.

 ‣ AddCoexponentialToCoproductAdjunctionMapWithGivenCoproduct( arg ) ( operation )

This is a synonym for AddCoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct.

 ‣ AddExponentialToDirectProductAdjunctionMap( arg ) ( operation )

This is a synonym for AddExponentialToDirectProductLeftAdjunctMorphism.

 ‣ AddExponentialToDirectProductAdjunctionMapWithGivenDirectProduct( arg ) ( operation )

This is a synonym for AddExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct.

 ‣ AddCoproductToCoexponentialAdjunctionMap( arg ) ( operation )

This is a synonym for AddCoproductToCoexponentialLeftAdjunctMorphism.

 ‣ AddCoproductToCoexponentialAdjunctionMapWithGivenCoexponential( arg ) ( operation )

This is a synonym for AddCoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential.

 ‣ AddDirectProductToExponentialAdjunctionMap( arg ) ( operation )

This is a synonym for AddDirectProductToExponentialLeftAdjunctMorphism.

 ‣ AddDirectProductToExponentialAdjunctionMapWithGivenExponential( arg ) ( operation )

This is a synonym for AddDirectProductToExponentialLeftAdjunctMorphismWithGivenExponential.

 ‣ CoexponentialToCoproductLeftAdjunctionMap( arg ) ( operation )

This is a synonym for CoexponentialToCoproductLeftAdjunctMorphism.

 ‣ CoexponentialToCoproductLeftAdjunctionMapWithGivenCoproduct( arg ) ( operation )

This is a synonym for CoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct.

 ‣ ExponentialToDirectProductLeftAdjunctionMap( arg ) ( operation )

This is a synonym for ExponentialToDirectProductLeftAdjunctMorphism.

 ‣ ExponentialToDirectProductLeftAdjunctionMapWithGivenDirectProduct( arg ) ( operation )

This is a synonym for ExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct.

 ‣ CoproductToCoexponentialLeftAdjunctionMap( arg ) ( operation )

This is a synonym for CoproductToCoexponentialLeftAdjunctMorphism.

 ‣ CoproductToCoexponentialLeftAdjunctionMapWithGivenCoexponential( arg ) ( operation )

This is a synonym for CoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential.

 ‣ DirectProductToExponentialLeftAdjunctionMap( arg ) ( operation )

This is a synonym for DirectProductToExponentialLeftAdjunctMorphism.

 ‣ DirectProductToExponentialLeftAdjunctionMapWithGivenExponential( arg ) ( operation )

This is a synonym for DirectProductToExponentialLeftAdjunctMorphismWithGivenExponential.

 ‣ AddCoexponentialToCoproductLeftAdjunctionMap( arg ) ( operation )

This is a synonym for AddCoexponentialToCoproductLeftAdjunctMorphism.

 ‣ AddCoexponentialToCoproductLeftAdjunctionMapWithGivenCoproduct( arg ) ( operation )

This is a synonym for AddCoexponentialToCoproductLeftAdjunctMorphismWithGivenCoproduct.

 ‣ AddExponentialToDirectProductLeftAdjunctionMap( arg ) ( operation )

This is a synonym for AddExponentialToDirectProductLeftAdjunctMorphism.

 ‣ AddExponentialToDirectProductLeftAdjunctionMapWithGivenDirectProduct( arg ) ( operation )

This is a synonym for AddExponentialToDirectProductLeftAdjunctMorphismWithGivenDirectProduct.

 ‣ AddCoproductToCoexponentialLeftAdjunctionMap( arg ) ( operation )

This is a synonym for AddCoproductToCoexponentialLeftAdjunctMorphism.

 ‣ AddCoproductToCoexponentialLeftAdjunctionMapWithGivenCoexponential( arg ) ( operation )

This is a synonym for AddCoproductToCoexponentialLeftAdjunctMorphismWithGivenCoexponential.

 ‣ AddDirectProductToExponentialLeftAdjunctionMap( arg ) ( operation )
This is a synonym for AddDirectProductToExponentialLeftAdjunctMorphism.
 ‣ AddDirectProductToExponentialLeftAdjunctionMapWithGivenExponential( arg ) ( operation )
This is a synonym for AddDirectProductToExponentialLeftAdjunctMorphismWithGivenExponential.