From 4613870097472e9fd5e97e8b7fdb1bd7c75f9288 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Wed, 16 Jun 2021 11:09:37 +0200 Subject: [PATCH] comply with SubcategoriesForCAP & CategoryConstructor v2020.06-01 --- PackageInfo.g | 6 +++--- gap/CatRepsWithCAP.gi | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index b29320c..c842049 100644 --- 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 index ff79adb..87d314c 100644 --- 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 );