diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g index e790694ca5..a2b75b911f 100644 --- a/CAP/PackageInfo.g +++ b/CAP/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CAP", Subtitle := "Categories, Algorithms, Programming", -Version := "2024.11-02", +Version := "2025.01-01", Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ), License := "GPL-2.0-or-later", diff --git a/CAP/examples/TerminalCategoryWithMultipleObjects.g b/CAP/examples/TerminalCategoryWithMultipleObjects.g index 9bacc8715a..fc39ae9c60 100644 --- a/CAP/examples/TerminalCategoryWithMultipleObjects.g +++ b/CAP/examples/TerminalCategoryWithMultipleObjects.g @@ -14,11 +14,11 @@ t := TerminalObject( T ); z := ZeroObject( T ); #! Display( i ); -#! InitialObject +#! InitialObject( ) Display( t ); -#! TerminalObject +#! TerminalObject( ) Display( z ); -#! ZeroObject +#! ZeroObject( ) IsIdenticalObj( i, z ); #! false IsIdenticalObj( t, z ); @@ -80,6 +80,14 @@ Hom_ab[1] = mor_ab; #! true HomStructure( mor_ab ); #! +t := TensorProduct( a, b ); +#! +Display( t ); +#! TensorProductOnObjects( a, b ) +a = t; +#! false +TensorProduct( a, a ) = t; +#! false m := MorphismConstructor( a, "m", b ); #! Display( m ); @@ -111,7 +119,7 @@ id := IdentityMorphism( a ); Display( id ); #! a #! | -#! | IdentityMorphism +#! | IdentityMorphism( a ) #! v #! a m = id; @@ -123,7 +131,7 @@ zero := ZeroMorphism( a, a ); Display( zero ); #! a #! | -#! | ZeroMorphism +#! | ZeroMorphism( a, a ) #! v #! a id = zero; @@ -135,7 +143,7 @@ lift := Lift( m, n ); Display( lift ); #! a #! | -#! | Lift +#! | Lift( m, n ) #! v #! a IsColiftable( m, n ); @@ -145,7 +153,7 @@ colift := Colift( m, n ); Display( colift ); #! b #! | -#! | Colift +#! | Colift( m, n ) #! v #! b DirectProduct( T, [ ] ); diff --git a/CAP/gap/TerminalCategory.gi b/CAP/gap/TerminalCategory.gi index 686d91a689..dc8e56bff1 100644 --- a/CAP/gap/TerminalCategory.gi +++ b/CAP/gap/TerminalCategory.gi @@ -323,9 +323,14 @@ InstallGlobalFunction( TerminalCategoryWithMultipleObjects, FunctionWithNamedArg return Pair( """ function( input_arguments... ) - - return ObjectConstructor( cat, "operation_name" ); - + local args, string; + + args := [ input_arguments... ]{[ 2 .. Length( [ input_arguments... ] ) ]}; + + string := Concatenation( "operation_name", "( ", JoinStringsWithSeparator( List( args, String ), ", " ), " )" ); + + return ObjectConstructor( cat, string ); + end """, 1 ); @@ -337,9 +342,14 @@ InstallGlobalFunction( TerminalCategoryWithMultipleObjects, FunctionWithNamedArg return Pair( """ function( input_arguments... ) + local args, string; + + args := [ input_arguments... ]{[ 2 .. Length( [ input_arguments... ] ) ]}; + + string := Concatenation( "operation_name", "( ", JoinStringsWithSeparator( List( args, String ), ", " ), " )" ); - return MorphismConstructor( cat, top_source, "operation_name", top_range ); - + return MorphismConstructor( cat, top_source, string, top_range ); + end """, 1 );