‣ CocartesianCoevaluationMorphism( a, b ) | ( operation ) |
This is a legacy operation for CocartesianLeftCoevaluationMorphism( b, a ), i.e., with the first and second argument interchanged.
‣ CocartesianCoevaluationMorphismWithGivenSource( a, b, s ) | ( operation ) |
This is a legacy operation for CocartesianLeftCoevaluationMorphismWithGivenSource( b, a, s ), i.e., with the first and second argument interchanged.
‣ CocartesianEvaluationMorphism( a, b ) | ( operation ) |
This is a legacy operation for CocartesianLeftEvaluationMorphism( b, a ), i.e., with the first and second argument interchanged.
‣ CocartesianEvaluationMorphismWithGivenRange( a, b, r ) | ( operation ) |
This is a legacy operation for CocartesianLeftEvaluationMorphismWithGivenRange( b, a, r ), i.e., with the first and second argument interchanged.
‣ CartesianCoevaluationMorphism( a, b ) | ( operation ) |
This is a legacy operation for CartesianLeftCoevaluationMorphism( b, a ), i.e., with the first and second argument interchanged.
‣ CartesianCoevaluationMorphismWithGivenRange( a, b, r ) | ( operation ) |
This is a legacy operation for CartesianLeftCoevaluationMorphismWithGivenRange( b, a, r ), i.e., with the first and second argument interchanged.
‣ CartesianEvaluationMorphism( arg ) | ( operation ) |
This is a synonym for CartesianLeftEvaluationMorphism.
‣ 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.
generated by GAPDoc2HTML