Spracherkennung für: .gi vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# SPDX-License-Identifier: GPL-2.0-or-later
# MonoidalCategories: Monoidal and monoidal (co)closed categories
#
# Implementations
#
##
InstallMethod( CoclosedCoevaluationMorphism,
[ IsCapCategoryObject, IsCapCategoryObject ],
function( a, b )
return CoclosedMonoidalLeftCoevaluationMorphism( b, a );
end );
##
InstallMethod( CoclosedCoevaluationMorphismWithGivenSource,
[ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject ],
function( a, b, s )
CoclosedMonoidalLeftCoevaluationMorphismWithGivenSource( b, a, s );
end );
##
InstallMethod( CoclosedEvaluationMorphism,
[ IsCapCategoryObject, IsCapCategoryObject ],
function( a, b )
CoclosedMonoidalLeftEvaluationMorphism( b, a );
end );
##
InstallMethod( CoclosedEvaluationMorphismWithGivenRange,
[ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject ],
function( a, b, r )
CoclosedMonoidalLeftEvaluationMorphismWithGivenRange( b, a, r );
end );
##
InstallMethod( CoevaluationMorphism,
[ IsCapCategoryObject, IsCapCategoryObject ],
function( a, b )
ClosedMonoidalLeftCoevaluationMorphism( b, a );
end );
##
InstallMethod( CoevaluationMorphismWithGivenRange,
[ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryObject ],
function( a, b, r )
ClosedMonoidalLeftCoevaluationMorphismWithGivenRange( b, a, r );
end );
[Dauer der Verarbeitung: 0.20 Sekunden, vorverarbeitet 2026-06-15]
