Merge pull request #61 from mohamed-barakat/devel

comply with CAP v2023.01-05
homalg-project · Jan 17, 2023 · cbb7171 · cbb7171
2 parents 6a08f31 + a926cc8
commit cbb7171
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 9 deletions.
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -38,15 +38,12 @@ Display( CatReps );
 #! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
 #! Category of matrices over GF(3) ):
 #! 
-#! 96 primitive operations were used to derive 323 operations for this category
+#! 104 primitive operations were used to derive 347 operations for this category
 #! which algorithmically
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
 #! * IsAbelianCategory
-#! and furthermore mathematically
-#! * IsFiniteCocompleteCategory (but not yet algorithmically)
-#! * IsFiniteCompleteCategory (but not yet algorithmically)
 CommutativeRingOfLinearCategory( CatReps );
 #! GF(3)
 zero := ZeroObject( CatReps );

diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb
@@ -517,14 +517,11 @@
      "text": [
       "A CAP category with name FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ):\n",
       "\n",
-      "96 primitive operations were used to derive 323 operations for this category which algorithmically\n",
+      "104 primitive operations were used to derive 347 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",
-      "* IsAbelianCategory\n",
-      "and furthermore mathematically\n",
-      "* IsFiniteCocompleteCategory (but not yet algorithmically)\n",
-      "* IsFiniteCompleteCategory (but not yet algorithmically)\n"
+      "* IsAbelianCategory\n"
      ]
     }
    ],