‣ CoclosedCoevaluationMorphism( a, b ) | ( operation ) |
This is a legacy operation for CoclosedMonoidalLeftCoevaluationMorphism( b, a ), i.e., with the first and second argument interchanged.
‣ CoclosedCoevaluationMorphismWithGivenSource( a, b, s ) | ( operation ) |
This is a legacy operation for CoclosedMonoidalLeftCoevaluationMorphismWithGivenSource( b, a, s ), i.e., with the first and second argument interchanged.
‣ CoclosedEvaluationMorphism( a, b ) | ( operation ) |
This is a legacy operation for CoclosedMonoidalLeftEvaluationMorphism( b, a ), i.e., with the first and second argument interchanged.
‣ CoclosedEvaluationMorphismWithGivenRange( a, b, r ) | ( operation ) |
This is a legacy operation for CoclosedMonoidalLeftEvaluationMorphismWithGivenRange( b, a, r ), i.e., with the first and second argument interchanged.
‣ CoevaluationMorphism( a, b ) | ( operation ) |
This is a legacy operation for ClosedMonoidalLeftCoevaluationMorphism( b, a ), i.e., with the first and second argument interchanged.
‣ CoevaluationMorphismWithGivenRange( a, b, r ) | ( operation ) |
This is a legacy operation for ClosedMonoidalLeftCoevaluationMorphismWithGivenRange( b, a, r ), i.e., with the first and second argument interchanged.
‣ EvaluationMorphism( arg1, arg2 ) | ( operation ) |
This is a synonym for ClosedMonoidalLeftEvaluationMorphism.
‣ EvaluationMorphismWithGivenSource( arg1, arg2, arg3 ) | ( operation ) |
This is a synonym for ClosedMonoidalLeftEvaluationMorphismWithGivenSource.
‣ InternalCoHomToTensorProductAdjunctionMap( arg ) | ( operation ) |
This is a synonym for InternalCoHomToTensorProductLeftAdjunctMorphism.
‣ InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct( arg ) | ( operation ) |
This is a synonym for InternalCoHomToTensorProductLeftAdjunctionMapWithGivenTensorProduct.
‣ InternalHomToTensorProductAdjunctionMap( arg ) | ( operation ) |
This is a synonym for InternalHomToTensorProductLeftAdjunctMorphism.
‣ InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct( arg ) | ( operation ) |
This is a synonym for InternalHomToTensorProductLeftAdjunctionMapWithGivenTensorProduct.
‣ TensorProductToInternalCoHomAdjunctionMap( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalCoHomLeftAdjunctMorphism.
‣ TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom.
‣ TensorProductToInternalHomAdjunctionMap( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalHomLeftAdjunctMorphism.
‣ TensorProductToInternalHomAdjunctionMapWithGivenInternalHom( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom.
‣ InternalCoHomToTensorProductLeftAdjunctionMap( arg ) | ( operation ) |
This is a synonym for InternalCoHomToTensorProductLeftAdjunctMorphism.
‣ InternalHomToTensorProductLeftAdjunctionMap( arg ) | ( operation ) |
This is a synonym for InternalHomToTensorProductLeftAdjunctMorphism.
‣ TensorProductToInternalCoHomLeftAdjunctionMap( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalCoHomLeftAdjunctMorphism.
‣ TensorProductToInternalCoHomLeftAdjunctionMapWithGivenInternalCoHom( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom.
‣ TensorProductToInternalHomLeftAdjunctionMap( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalHomLeftAdjunctMorphism.
‣ TensorProductToInternalHomLeftAdjunctionMapWithGivenInternalHom( arg ) | ( operation ) |
This is a synonym for TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom.
generated by GAPDoc2HTML