comply with SubcategoriesForCAP & CategoryConstructor v2020.06-01

homalg-project · Jun 16, 2021 · 4613870 · 4613870
1 parent 088783e
commit 4613870
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
 Version := Maximum( [
-                   "2021.05-01", ## Mohamed's version
+                   "2021.06-01", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.10-02", ## Tibor's version
                    ## this line prevents merge conflicts
@@ -108,8 +108,8 @@ Dependencies := rec(
                    [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2020.04.27" ],
                    [ "FinSetsForCAP", ">= 2020.04.01" ],
-                   [ "CategoryConstructor", ">= 2020.12-01" ],
-                   [ "SubcategoriesForCAP", ">= 2020.04.07" ],
+                   [ "CategoryConstructor", ">= 2020.06-01" ],
+                   [ "SubcategoriesForCAP", ">= 2020.06-01" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2020.04.27" ],
                    [ "Algebroids", ">= 2020.11-01" ],

diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
@@ -54,12 +54,12 @@ InstallMethod( ConcreteCategoryForCAP,
     SetFilterObj( C, IsFiniteConcreteCategory );
 
     AddIsAutomorphism( C,
-      function( alpha )
+      function( C, alpha )
         return IsAutomorphism( UnderlyingCell( alpha ) );
     end );
 
     AddInverseForMorphisms( C,
-      function( alpha )
+      function( C, alpha )
         return Inverse( UnderlyingCell( alpha ) ) / CapCategory( alpha );
     end );