diff --git a/PackageInfo.g b/PackageInfo.g
index a9f9665..f6664e9 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2023.01-03",
+Version := "2023.01-04",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -100,7 +100,7 @@ Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2023.01-05" ],
+                   [ "CAP", ">= 2023.01-09" ],
                    [ "MonoidalCategories", ">= 2021.08-01" ],
                    [ "LinearAlgebraForCAP", ">= 2021.07-01" ],
                    [ "FinSetsForCAP", ">= 2022.05-07" ],
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index a85d46d..f1dd0f7 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -38,7 +38,7 @@ Display( CatReps );
 #! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
 #! Category of matrices over GF(3) ):
 #! 
-#! 104 primitive operations were used to derive 351 operations for this category
+#! 104 primitive operations were used to derive 353 operations for this category
 #! which algorithmically
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb
index 9f27aa8..81658c6 100644
--- a/examples/notebooks/CategoryOfRepresentations.ipynb
+++ b/examples/notebooks/CategoryOfRepresentations.ipynb
@@ -36,7 +36,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "CapAndHomalg v\u001b[32m1.4.7\u001b[39m\n",
+      "CapAndHomalg v\u001b[32m1.4.10\u001b[39m\n",
       "Imported OSCAR's components GAP and Singular_jll\n",
       "Type: ?CapAndHomalg for more information\n"
      ]
@@ -517,7 +517,7 @@
      "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",
-      "104 primitive operations were used to derive 351 operations for this category which algorithmically\n",
+      "104 primitive operations were used to derive 353 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",