‣ 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