From e262e7bc90343b02bcc5c00bcb775047731f78cc Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Sun, 13 Feb 2022 01:34:27 +0100 Subject: [PATCH] comply with FunctorCategories 2022.02-01 --- PackageInfo.g | 4 ++-- README.md | 2 +- examples/CategoryOfRepresentations.g | 2 +- examples/julia/notebooks/CategoryOfRepresentations.ipynb | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 9b15416..017aff5 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2022.01-04", +Version := "2022.02-01", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -109,7 +109,7 @@ Dependencies := rec( [ "MatricesForHomalg", ">= 2020.02.02" ], [ "Toposes", ">= 2022.01-05" ], [ "Algebroids", ">= 2022.01-02" ], - [ "FunctorCategories", ">= 2022.01-02" ], + [ "FunctorCategories", ">= 2022.02-01" ], ], SuggestedOtherPackages := [ ], ExternalConditions := [ ], diff --git a/README.md b/README.md index 3cf0945..67817e9 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,7 @@ The supported categorical doctrine of the category of representations is ```gap gap> InfoOfInstalledOperationsOfCategory( CatReps ); -93 primitive operations were used to derive 293 operations for this category which +95 primitive operations were used to derive 293 operations for this category which * IsEquippedWithHomomorphismStructure * IsLinearCategoryOverCommutativeRing * IsSymmetricMonoidalCategory diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index df10daa..6085017 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -31,7 +31,7 @@ CatReps := FunctorCategory( A, GF3 ); #! FunctorCategory( Algebroid generated by the right quiver #! q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over GF(3) ) InfoOfInstalledOperationsOfCategory( CatReps ); -#! 93 primitive operations were used to derive 293 operations for this category which +#! 95 primitive operations were used to derive 293 operations for this category which #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing #! * IsSymmetricMonoidalCategory diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index aef64cb..7d08c34 100644 --- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb @@ -493,7 +493,7 @@ "name": "stdout", "output_type": "stream", "text": [ - "93 primitive operations were used to derive 293 operations for this category which\n", + "95 primitive operations were used to derive 293 operations for this category which\n", "* IsEquippedWithHomomorphismStructure\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n",