Merge pull request #26 from homalg-project/adjustments

Adjust to homalg-project/CAP_project#737

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" ],

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

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):

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

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",