diff --git a/PackageInfo.g b/PackageInfo.g
index 9936a3c..78fd7f3 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.08-03",
+Version := "2022.09-01",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -100,7 +100,7 @@ Dependencies := rec(
   GAP := ">= 4.11.1",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2022.08-04" ],
+                   [ "CAP", ">= 2022.09-17" ],
                    [ "MonoidalCategories", ">= 2021.08-01" ],
                    [ "LinearAlgebraForCAP", ">= 2021.07-01" ],
                    [ "FinSetsForCAP", ">= 2022.05-07" ],
diff --git a/README.md b/README.md
index 94d850c..36919ad 100644
--- a/README.md
+++ b/README.md
@@ -64,6 +64,9 @@ which constructively
 * IsLinearCategoryOverCommutativeRing
 * IsSymmetricMonoidalCategory
 * IsAbelianCategory
+and furthermore mathematically
+* IsFiniteCocompleteCategory (but not yet algorithmically)
+* IsFiniteCompleteCategory (but not yet algorithmically)
 gap> CommutativeRingOfLinearCategory( CatReps );
 Q
 ```
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index 40104fd..8f9f56e 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -34,11 +34,14 @@ CatReps := FunctorCategory( A, GF3 );
 #! Category of matrices over GF(3) )
 InfoOfInstalledOperationsOfCategory( CatReps );
 #! 92 primitive operations were used to derive 313 operations for this category
-#! which constructively
+#! 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
index 5e0c20d..309a756 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.1\u001b[39m\n",
+      "CapAndHomalg v\u001b[32m1.4.7\u001b[39m\n",
       "Imported OSCAR's components GAP and Singular_jll\n",
       "Type: ?CapAndHomalg for more information\n"
      ]
@@ -515,11 +515,14 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "92 primitive operations were used to derive 313 operations for this category which constructively\n",
+      "92 primitive operations were used to derive 313 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",
-      "* IsAbelianCategory\n"
+      "* IsAbelianCategory\n",
+      "and furthermore mathematically\n",
+      "* IsFiniteCocompleteCategory (but not yet algorithmically)\n",
+      "* IsFiniteCompleteCategory (but not yet algorithmically)\n"
      ]
     }
    ],
@@ -2574,15 +2577,15 @@
   },
   "celltoolbar": "Slideshow",
   "kernelspec": {
-   "display_name": "Julia 1.7.3",
+   "display_name": "Julia 1.8.1",
    "language": "julia",
-   "name": "julia-1.7"
+   "name": "julia-1.8"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.7.3"
+   "version": "1.8.1"
   }
  },
  "nbformat": 4,