From 73dc6f3b5db776a4f25fb0f7c8449e61b99f2701 Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Wed, 10 Nov 2021 14:16:48 +0100 Subject: [PATCH] Adjust to https://github.com/homalg-project/CAP_project/pull/737 --- PackageInfo.g | 4 ++-- README.md | 2 +- examples/CategoryOfRepresentations.g | 20 +++++++++---------- examples/DecomposeOnceByRandomEndomorphism.g | 4 ++-- .../notebooks/CategoryOfRepresentations.ipynb | 20 +++++++++---------- 5 files changed, 25 insertions(+), 25 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 5ed1318..39c53a8 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2021.10-03", +Version := "2021.11-01", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -100,7 +100,7 @@ Dependencies := rec( GAP := ">= 4.9.1", NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], - [ "CAP", ">= 2021.10-06" ], + [ "CAP", ">= 2021.11-03" ], [ "MonoidalCategories", ">= 2021.08-01" ], [ "LinearAlgebraForCAP", ">= 2021.07-01" ], [ "FinSetsForCAP", ">= 2020.04.01" ], diff --git a/README.md b/README.md index c634f7e..6d36bbc 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 255 operations for this category which +93 primitive operations were used to derive 265 operations for this category which * IsEquippedWithHomomorphismStructure * IsLinearCategoryOverCommutativeRing * IsSymmetricMonoidalCategory diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index 3141099..7590644 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -31,7 +31,7 @@ CatReps := Hom( A, GF3 ); #! The category of functors: 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 255 operations for this category which +#! 93 primitive operations were used to derive 265 operations for this category which #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing #! * IsSymmetricMonoidalCategory @@ -55,19 +55,19 @@ Display( zero ); #! Image of (1)-[{ Z(3)^0*(a) }]->(1): #! (an empty 0 x 0 matrix) #! -#! A zero, identity morphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) #! #! #! Image of (1)-[{ Z(3)^0*(b) }]->(2): #! (an empty 0 x 0 matrix) #! -#! A zero, identity morphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) #! #! #! Image of (2)-[{ Z(3)^0*(c) }]->(2): #! (an empty 0 x 0 matrix) #! -#! A zero, identity morphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) unit := TensorUnit( CatReps ); #! <(1)->1, (2)->1; (a)->1x1, (b)->1x1, (c)->1x1> Display( unit ); @@ -471,13 +471,13 @@ Display( emb ); #! Image of <(1)>: #! . 1 . #! -#! A split monomorphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) #! #! #! Image of <(2)>: #! (an empty 0 x 3 matrix) #! -#! A zero, split monomorphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) s1 := Source( emb ); #! <(1)->1, (2)->0; (a)->1x1, (b)->1x0, (c)->0x0> Display( s1 ); @@ -501,13 +501,13 @@ Display( s1 ); #! Image of (1)-[{ Z(3)^0*(b) }]->(2): #! (an empty 1 x 0 matrix) #! -#! A zero, split epimorphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) #! #! #! Image of (2)-[{ Z(3)^0*(c) }]->(2): #! (an empty 0 x 0 matrix) #! -#! A zero, isomorphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) Aop := OppositeAlgebroid( A ); #! Algebroid generated by the right quiver q_op(2)[a:1->1,b:2->1,c:2->2] Yop := YonedaEmbedding( Aop ); @@ -640,13 +640,13 @@ Display( proj2 ); #! Image of (1)-[{ Z(3)^0*(a) }]->(1): #! (an empty 0 x 0 matrix) #! -#! A zero, isomorphism in Category of matrices over GF(3) +#! A zero morphism in Category of matrices over GF(3) #! #! #! Image of (1)-[{ Z(3)^0*(b) }]->(2): #! (an empty 0 x 3 matrix) #! -#! A zero, split monomorphism in Category of matrices over GF(3) +#! A zero morphism in Category of matrices over GF(3) #! #! #! Image of (2)-[{ Z(3)^0*(c) }]->(2): diff --git a/examples/DecomposeOnceByRandomEndomorphism.g b/examples/DecomposeOnceByRandomEndomorphism.g index b8e7392..d19d8b8 100644 --- a/examples/DecomposeOnceByRandomEndomorphism.g +++ b/examples/DecomposeOnceByRandomEndomorphism.g @@ -246,13 +246,13 @@ Display( iota ); #! 1 2 1 2 1 1 2 1 2 1 . . . . . 2 . . 1 . 2 . . 1 . #! . . 2 . . . 1 2 . 2 2 . . 1 . . . 1 . . . 2 . . 1 #! -#! A split monomorphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) #! #! #! Image of <(2)>: #! . . . . . . . . . . . . . . . 1 #! -#! A split monomorphism in Category of matrices over GF(3) +#! A morphism in Category of matrices over GF(3) Display( Source( iota) ); #! An object in The category of functors: Algebroid generated by the #! right quiver q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index 1fd1b3b..6638dd8 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 255 operations for this category which\n", + "93 primitive operations were used to derive 265 operations for this category which\n", "* IsEquippedWithHomomorphismStructure\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n", @@ -622,19 +622,19 @@ "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", "(an empty 0 x 0 matrix)\n", "\n", - "A zero, identity morphism in Category of matrices over GF(3)\n", + "A morphism in Category of matrices over GF(3)\n", "\n", "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", "(an empty 0 x 0 matrix)\n", "\n", - "A zero, identity morphism in Category of matrices over GF(3)\n", + "A morphism in Category of matrices over GF(3)\n", "\n", "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", "(an empty 0 x 0 matrix)\n", "\n", - "A zero, identity morphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n" ] } ], @@ -1834,13 +1834,13 @@ "Image of <(1)>:\n", " . 1 .\n", "\n", - "A split monomorphism in Category of matrices over GF(3)\n", + "A morphism in Category of matrices over GF(3)\n", "\n", "\n", "Image of <(2)>:\n", "(an empty 0 x 3 matrix)\n", "\n", - "A zero, split monomorphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n" ] } ], @@ -1901,13 +1901,13 @@ "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", "(an empty 1 x 0 matrix)\n", "\n", - "A zero, split epimorphism in Category of matrices over GF(3)\n", + "A morphism in Category of matrices over GF(3)\n", "\n", "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n", "(an empty 0 x 0 matrix)\n", "\n", - "A zero, isomorphism in Category of matrices over GF(3)\n" + "A morphism in Category of matrices over GF(3)\n" ] } ], @@ -2476,13 +2476,13 @@ "Image of (1)-[{ Z(3)^0*(a) }]->(1):\n", "(an empty 0 x 0 matrix)\n", "\n", - "A zero, isomorphism in Category of matrices over GF(3)\n", + "A morphism in Category of matrices over GF(3)\n", "\n", "\n", "Image of (1)-[{ Z(3)^0*(b) }]->(2):\n", "(an empty 0 x 3 matrix)\n", "\n", - "A zero, split monomorphism in Category of matrices over GF(3)\n", + "A morphism in Category of matrices over GF(3)\n", "\n", "\n", "Image of (2)-[{ Z(3)^0*(c) }]->(2):\n",