Update to new packages

* CAP v2025.04-04
* CartesianCategories v2025.05-01
* FreydCategoriesForCAP v2025.04-01
* LinearAlgebraForCAP v2025.05-01

Author: mohamed-barakat

Project.toml

@@ -6,7 +6,7 @@ authors = [
 	"Øystein Skartsæterhagen <oysteini@math.ntnu.no>",
 	"Fabian Zickgraf <f.zickgraf@dashdos.com>",
 ]
-version = "0.4.0"
+version = "0.5.0"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"

src/gap/CAP.gd.autogen.jl

@@ -253,6 +253,20 @@ AddCategoricalProperty( [ "IsLinearCategoryOverCommutativeRing", "IsLinearCatego
 
 AddCategoricalProperty( [ "IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms", "IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms" ] );
 
+#! @Description
+#!  The property of the category <A>C</A> having all kernels.
+#! @Arguments C
+@DeclareProperty( "IsCategoryWithKernels", IsCapCategory );
+
+AddCategoricalProperty( [ "IsCategoryWithKernels", "IsCategoryWithCokernels" ] );
+
+#! @Description
+#!  The property of the category <A>C</A> having all cokernels.
+#! @Arguments C
+@DeclareProperty( "IsCategoryWithCokernels", IsCapCategory );
+
+AddCategoricalProperty( [ "IsCategoryWithCokernels", "IsCategoryWithKernels" ] );
+
 #! @Description
 #!  The property of the category <A>C</A> being additive.
 #! @Arguments C

src/gap/CAP.gi.autogen.jl

@@ -39,8 +39,24 @@ InstallTrueMethod( IsLinearCategoryOverCommutativeRing, IsLinearCategoryOverComm
 
 InstallTrueMethod( IsAbCategory, IsAdditiveCategory );
 
+#= comment for Julia
+InstallTrueMethod( IsCategoryWithEqualizers, IsAdditiveCategory && IsCategoryWithKernels );
+
+InstallTrueMethod( IsCategoryWithKernels, IsAdditiveCategory && IsCategoryWithEqualizers );
+
+InstallTrueMethod( IsCategoryWithCoequalizers, IsAdditiveCategory && IsCategoryWithCokernels );
+
+InstallTrueMethod( IsCategoryWithCokernels, IsAdditiveCategory && IsCategoryWithCoequalizers );
+
+InstallTrueMethod( IsPreAbelianCategory, IsAdditiveCategory && IsCategoryWithKernels && IsCategoryWithCokernels );
+# =#
+
 InstallTrueMethod( IsAdditiveCategory, IsPreAbelianCategory );
 
+InstallTrueMethod( IsCategoryWithKernels, IsPreAbelianCategory );
+
+InstallTrueMethod( IsCategoryWithCokernels, IsPreAbelianCategory );
+
 InstallTrueMethod( IsCategoryWithEqualizers, IsPreAbelianCategory );
 
 InstallTrueMethod( IsCategoryWithCoequalizers, IsPreAbelianCategory );

src/gap/CategoriesCategory.gi.autogen.jl

@@ -358,7 +358,7 @@ end );
             end;
 
             for i in (1):(Length( input_signature ))
-                CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY( arguments[ i ], input_signature[ i ][ 1 ], () -> @Concatenation( "the ", StringGAP(i), "-th argument passed to the functor named \033[1m", Name(functor), "\033[0m" ) );
+                CAP_INTERNAL_ASSERT_IS_OBJECT_OF_CATEGORY( arguments[ i ], input_signature[ i ][ 1 ], () -> @Concatenation( "the ", StringGAP(i), ". argument passed to the functor named \033[1m", Name(functor), "\033[0m" ) );
             end;
         end;
 
@@ -382,7 +382,7 @@ end );
             end;
 
             for i in (1):(Length( input_signature ))
-                CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY( arguments[ i ], input_signature[ i ][ 1 ], () -> @Concatenation( "the ", StringGAP(i), "-th argument passed to the functor named \033[1m", Name(functor), "\033[0m" ) );
+                CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY( arguments[ i ], input_signature[ i ][ 1 ], () -> @Concatenation( "the ", StringGAP(i), ". argument passed to the functor named \033[1m", Name(functor), "\033[0m" ) );
             end;
         end;
 
@@ -520,7 +520,7 @@ AddProjectionInFactorOfDirectProductWithGivenDirectProduct( category,
     local projection_functor;
 
     projection_functor = CapFunctor( 
-      @Concatenation( "Projection into ", StringGAP( projection_number ),"-th factor of ", Name( AsCapCategory( direct_product ) ) ), 
+      @Concatenation( "Projection into ", StringGAP( projection_number ),". factor of ", Name( AsCapCategory( direct_product ) ) ),
       direct_product, 
       object_product_list[ projection_number ]
     );

src/gap/ConstructiveCategoriesRecord.gi.autogen.jl

@@ -70,17 +70,17 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCategoryWithEqualizers = @Concaten
     ListOfDefiningOperations( "IsCapCategory" ),
     [
         "Equalizer",
-        "EmbeddingOfEqualizerWithGivenEqualizer",
-        "UniversalMorphismIntoEqualizerWithGivenEqualizer",
+        "EmbeddingOfEqualizer",
+        "UniversalMorphismIntoEqualizer",
     ]
 );
 
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCategoryWithCoequalizers = @Concatenation(
     ListOfDefiningOperations( "IsCapCategory" ),
     [
         "Coequalizer",
-        "ProjectionOntoCoequalizerWithGivenCoequalizer",
-        "UniversalMorphismFromCoequalizerWithGivenCoequalizer",
+        "ProjectionOntoCoequalizer",
+        "UniversalMorphismFromCoequalizer",
     ]
 );
 
@@ -116,6 +116,24 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsLinearCategoryOverCommutativeRingW
     ]
 );
 
+CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCategoryWithKernels = @Concatenation(
+    ListOfDefiningOperations( "IsCapCategory" ),
+    [
+        "KernelObject",
+        "KernelEmbedding",
+        "KernelLift",
+    ]
+);
+
+CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCategoryWithCokernels = @Concatenation(
+    ListOfDefiningOperations( "IsCapCategory" ),
+    [
+        "CokernelObject",
+        "CokernelProjection",
+        "CokernelColift",
+    ]
+);
+
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAdditiveCategory = @Concatenation(
     ListOfDefiningOperations( "IsAbCategory" ),
     ListOfDefiningOperations( "IsCategoryWithZeroObject" ),
@@ -130,21 +148,16 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAdditiveCategory = @Concatenation(
 
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsPreAbelianCategory = @Concatenation(
     ListOfDefiningOperations( "IsAdditiveCategory" ),
-    [
-        "KernelObject",
-        "KernelEmbedding",
-        "KernelLift",
-        "CokernelObject",
-        "CokernelProjection",
-        "CokernelColift",
-    ]
+    ListOfDefiningOperations( "IsCategoryWithKernels" ),
+    ListOfDefiningOperations( "IsCategoryWithCokernels" )
 );
 
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianCategory = @Concatenation(
     ListOfDefiningOperations( "IsPreAbelianCategory" ),
     [
         "LiftAlongMonomorphism",
         "ColiftAlongEpimorphism",
+        "InverseOfMorphismFromCoimageToImage",
     ]
 );
 

src/gap/InstallAdds.gi.autogen.jl

@@ -153,7 +153,7 @@ end );
     end;
 
     # prepare input sanity check
-    input_human_readable_identifier_getter = ( i, function_name, category_name ) -> @Concatenation( "the ", StringGAP( i ), "-th argument of the function \033[1m", function_name, "\033[0m of the category named \033[1m", category_name, "\033[0m" );
+    input_human_readable_identifier_getter = ( i, function_name, category_name ) -> @Concatenation( "the ", StringGAP( i ), ". argument of the function \033[1m", function_name, "\033[0m of the category named \033[1m", category_name, "\033[0m" );
 
     input_sanity_check_functions = [ ];
 

src/gap/MethodRecord.gi.autogen.jl

@@ -3355,21 +3355,21 @@ MorphismBetweenDirectSums = @rec(
 
           if (Length( listlist[i] ) != Length( range_diagram ))
 
-              return [ false, @Concatenation( "the ", StringGAP(i), "-th row has not the same length as the range diagram" ) ];
+              return [ false, @Concatenation( "the ", StringGAP(i), ". row has not the same length as the range diagram" ) ];
 
           end;
 
           for j in (1):(Length( range_diagram ))
 
               if (@not IsEqualForObjects( cat, source_diagram[i], Source( listlist[i][j] ) ))
 
-                  return [ false, @Concatenation( "the sources of the morphisms in the ", StringGAP(i), "-th row must be equal to the ", StringGAP(i), "-th entry of the source diagram" ) ];
+                  return [ false, @Concatenation( "the sources of the morphisms in the ", StringGAP(i), ". row must be equal to the ", StringGAP(i), ". entry of the source diagram" ) ];
 
               end;
 
               if (@not IsEqualForObjects( cat, range_diagram[j], Range( listlist[i][j] ) ))
 
-                  return [ false, @Concatenation( "the ranges of the morphisms in the ", StringGAP(j), "-th column must be equal to the ", StringGAP(j), "-th entry of the range diagram" ) ];
+                  return [ false, @Concatenation( "the ranges of the morphisms in the ", StringGAP(j), ". column must be equal to the ", StringGAP(j), ". entry of the range diagram" ) ];
 
               end;
 

src/gap/MethodRecordTools.gi.autogen.jl

@@ -2112,7 +2112,7 @@ end );
 
             if (@not IsSubset( ListInstalledOperationsOfCategory( category ), previous_operations ))
 
-                Error( "the operations of the ", i - 1, "-th category are not a subset of the operations of the ", i, "-th category" );
+                Error( "the operations of the ", i - 1, ". category are not a subset of the operations of the ", i, ". category" );
 
             end;
 

src/gap/ToolsForCategories.gi.autogen.jl

@@ -420,7 +420,7 @@ end );
 
     elseif (IsSpecializationOfFilter( IsList, filter ))
 
-        assert_value_is_of_element_type = CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER( data_type.element_type, ( i, outer_args ) -> @Concatenation( "the ", StringGAP( i ), "-th entry of ", CallFuncList( human_readable_identifier_getter, outer_args ) ) );
+        assert_value_is_of_element_type = CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER( data_type.element_type, ( i, outer_args ) -> @Concatenation( "the ", StringGAP( i ), ". entry of ", CallFuncList( human_readable_identifier_getter, outer_args ) ) );
 
         return function( value, args... )
           local i;
@@ -437,7 +437,7 @@ end );
                 # Julia does not have non-dense lists
                 if (@not @IsBound( value[i] ))
                     
-                    Error( "the ", i, "-th entry of ", CallFuncList( human_readable_identifier_getter, args ), " is not bound.", generic_help_string );
+                    Error( "the ", i, ". entry of ", CallFuncList( human_readable_identifier_getter, args ), " is not bound.", generic_help_string );
                     
                 end;
                 # =#
@@ -450,7 +450,7 @@ end );
 
     elseif (IsSpecializationOfFilter( IsNTuple, filter ))
 
-        asserts_value_is_of_element_type = List( (1):(Length( data_type.element_types )), i -> CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER( data_type.element_types[i], ( outer_args ) -> @Concatenation( "the ", StringGAP( i ), "-th entry of ", CallFuncList( human_readable_identifier_getter, outer_args ) ) ) );
+        asserts_value_is_of_element_type = List( (1):(Length( data_type.element_types )), i -> CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER( data_type.element_types[i], ( outer_args ) -> @Concatenation( "the ", StringGAP( i ), ". entry of ", CallFuncList( human_readable_identifier_getter, outer_args ) ) ) );
 
         return function( value, args... )
           local i;