Skip to content

Commit

Permalink
comply with FunctorCategories 2022.02-01
Browse files Browse the repository at this point in the history
  • Loading branch information
mohamed-barakat committed Feb 13, 2022
1 parent 41d762d commit e262e7b
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -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 ]} ),
Expand Down Expand Up @@ -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 := [ ],
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion examples/CategoryOfRepresentations.g
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion examples/julia/notebooks/CategoryOfRepresentations.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down

0 comments on commit e262e7b

Please sign in to comment.