Merge pull request #60 from mohamed-barakat/devel

comply with GroupsAsCategoriesForCAP v2026.04-02

Author: mohamed-barakat

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinGSetsForCAP",
 Subtitle := "The (skeletal) elementary topos of finite G-sets",
-Version := "2026.04-02",
+Version := "2026.04-04",
 
 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",
@@ -100,7 +100,7 @@ Dependencies := rec(
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2025.03-02" ],
-                   [ "GroupsAsCategoriesForCAP", ">= 2025.11-03" ],
+                   [ "GroupsAsCategoriesForCAP", ">= 2026.04-02" ],
                    [ "FinSetsForCAP", ">= 2022.05-01" ],
                    ],
   ExternalConditions := [ ],

gap/SkeletalCategoryOfTransitiveLeftGSets.gd

@@ -28,7 +28,7 @@ DeclareCategory( "IsObjectInSkeletalCategoryOfTransitiveLeftGSets",
 #! The GAP category of morphisms in the skeletal category of transitive left $G$-sets.
 #! @Arguments object
 DeclareCategory( "IsMorphismInSkeletalCategoryOfTransitiveLeftGSets",
-                 IsCapCategoryMorphism );
+                 FilterIntersection( IsCapCategoryMorphism, IsEpimorphism ) );
 
 ####################################
 #

gap/SkeletalCategoryOfTransitiveLeftGSets.gi

@@ -467,7 +467,7 @@ end );
 ##
 InstallMethod( \/,
         "for a morphism in the underlying group as category and the skeletal category of transitive G-sets",
-        [ IsGroupAsCategoryMorphism, IsSkeletalCategoryOfTransitiveLeftGSets ],
+        [ IsMorphismInGroupAsCategory, IsSkeletalCategoryOfTransitiveLeftGSets ],
 
   function ( g, TG )
     local P, auto;