Legacy Operations and Synonyms
Legacy operations This is a legacy operation for `CoclosedMonoidalLeftCoevaluationMorphism`( b, a ), i.e., with the first and second argument interchanged. This is a legacy operation for `CoclosedMonoidalLeftCoevaluationMorphismWithGivenSource`( b, a, s ), i.e., with the first and second argument interchanged. This is a legacy operation for `CoclosedMonoidalLeftEvaluationMorphism`( b, a ), i.e., with the first and second argument interchanged. This is a legacy operation for `CoclosedMonoidalLeftEvaluationMorphismWithGivenRange`( b, a, r ), i.e., with the first and second argument interchanged. This is a legacy operation for `ClosedMonoidalLeftCoevaluationMorphism`( b, a ), i.e., with the first and second argument interchanged. This is a legacy operation for `ClosedMonoidalLeftCoevaluationMorphismWithGivenRange`( b, a, r ), i.e., with the first and second argument interchanged.
Synonyms for legacy operations This is a synonym for `ClosedMonoidalLeftEvaluationMorphism`. This is a synonym for `ClosedMonoidalLeftEvaluationMorphismWithGivenSource`. This is a synonym for `InternalCoHomToTensorProductLeftAdjunctMorphism`. This is a synonym for `InternalCoHomToTensorProductLeftAdjunctionMapWithGivenTensorProduct`. This is a synonym for `InternalHomToTensorProductLeftAdjunctMorphism`. This is a synonym for `InternalHomToTensorProductLeftAdjunctionMapWithGivenTensorProduct`. This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphism`. This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom`. This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphism`. This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom`. This is a synonym for `InternalCoHomToTensorProductLeftAdjunctMorphism`. This is a synonym for `InternalHomToTensorProductLeftAdjunctMorphism`. This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphism`. This is a synonym for `TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom`. This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphism`. This is a synonym for `TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom`.