Merge pull request #1486 from zickgraf/master

Add IsAbelianCategory as a requirement to a derivation of IsDominating

Author: zickgraf

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.10-04",
+Version := "2023.10-05",
 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",
 

CAP/gap/DerivedMethods.autogen.gi

@@ -562,7 +562,7 @@ AddDerivationToCAP( IsCodominating,
 
   function ( cat_1, arg2_1, arg3_1 )
     return IsDominating( cat_1, KernelEmbedding( cat_1, arg3_1 ), KernelEmbedding( cat_1, arg2_1 ) );
-end : CategoryFilter := IsCapCategory,
+end : CategoryFilter := IsAbelianCategory,
       Weight := 1,
       is_autogenerated_by_CompilerForCAP := true );
 

CAP/gap/DerivedMethods.gi

@@ -897,7 +897,7 @@ AddDerivationToCAP( IsDominating,
 
     return IsCodominating( cat, cokernel_projection_2, cokernel_projection_1 );
 
-end );
+end : CategoryFilter := IsAbelianCategory );
 
 ##
 AddDerivationToCAP( IsDominating,