comply with CAP v2026.05-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.05-01",
+Version := "2026.05-02",
 
 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",
@@ -99,7 +99,7 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2025.03-02" ],
+                   [ "CAP", ">= 2026.05-02" ],
                    [ "GroupsAsCategoriesForCAP", ">= 2026.04-02" ],
                    [ "FinSetsForCAP", ">= 2022.05-01" ],
                    ],

examples/SkeletalCategoryOfTransitiveLeftGSets.g

@@ -14,7 +14,7 @@ Display( TS3 );
 #! A CAP category with name SkeletalCategoryOfTransitiveLeftGSets( S3 ) \
 #! with 4 objects:
 #! 
-#! 24 primitive operations were used to derive 71 operations for this category \
+#! 24 primitive operations were used to derive 80 operations for this category \
 #! which algorithmically
 #! * IsCategoryWithDecidableColifts
 #! * IsCategoryWithDecidableLifts

examples/notebooks/TS4.ipynb

@@ -112,13 +112,13 @@
      "text": [
       "A CAP category with name SkeletalCategoryOfTransitiveLeftGSets( S4 ) with 11 objects:\n",
       "\n",
-      "24 primitive operations were used to derive 71 operations for this category which algorithmically\n",
+      "24 primitive operations were used to derive 80 operations for this category which algorithmically\n",
       "* IsCategoryWithDecidableColifts\n",
       "* IsCategoryWithDecidableLifts\n",
       "* IsCategoryWithTerminalObject\n",
       "* IsFiniteCategory\n",
-      "* IsCategoryWithCoequalizers\n",
       "* IsEquippedWithHomomorphismStructure\n",
+      "* IsCategoryWithCoequalizers\n",
       "and furthermore mathematically\n",
       "* IsSkeletalCategory\n"
      ]