enhanced TerminalCategoryWithMultipleObjects

improving its role as a syntactic category, and closing the gap to LazyCategories
homalg-project · Jan 1, 2025 · c154dcd · c154dcd
1 parent 235b6b5
commit c154dcd
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 14 deletions.
diff --git 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
@@ -14,11 +14,11 @@ t := TerminalObject( T );
 z := ZeroObject( T );
 #! <A zero object in TerminalCategoryWithMultipleObjects( )>
 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 );
 #! <A zero, identity morphism in TerminalCategoryWithSingleObject( )>
+t := TensorProduct( a, b );
+#! <A zero object in TerminalCategoryWithMultipleObjects( )>
+Display( t );
+#! TensorProductOnObjects( a, b )
+a = t;
+#! false
+TensorProduct( a, a ) = t;
+#! false
 m := MorphismConstructor( a, "m", b );
 #! <A zero, isomorphism in TerminalCategoryWithMultipleObjects( )>
 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
@@ -323,9 +323,14 @@ InstallGlobalFunction( TerminalCategoryWithMultipleObjects, FunctionWithNamedArg
 
             return Pair( """
                 function( input_arguments... )
-                    
-                    return ObjectConstructor( cat, "operation_name" );
-                    
+                  local args, string;
+                  
+                  args := [ input_arguments... ];
+                  
+                  string := Concatenation( "operation_name", "( ", JoinStringsWithSeparator( List( [ 2 .. number_of_arguments ], i -> String( args[i] ) ), ", " ), " )" );
+                  
+                  return ObjectConstructor( cat, string );
+                  
                 end
             """, 1 );
 
@@ -337,9 +342,14 @@ InstallGlobalFunction( TerminalCategoryWithMultipleObjects, FunctionWithNamedArg
 
             return Pair( """
                 function( input_arguments... )
-                    
-                    return MorphismConstructor( cat, top_source, "operation_name", top_range );
-                    
+                  local args, string;
+                  
+                  args := [ input_arguments... ];
+                  
+                  string := Concatenation( "operation_name", "( ", JoinStringsWithSeparator( List( [ 2 .. number_of_arguments ], i -> String( args[i] ) ), ", " ), " )" );
+                  
+                  return MorphismConstructor( cat, top_source, string, top_range );
+                  
                 end
             """, 1 );