diff --git a/PackageInfo.g b/PackageInfo.g
index 39c53a8..97263d6 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -107,7 +107,7 @@ Dependencies := rec(
                    [ "CategoryConstructor", ">= 2021.10-07" ],
                    [ "SubcategoriesForCAP", ">= 2020.06-01" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
-                   [ "Toposes", ">= 2020.04.27" ],
+                   [ "Toposes", ">= 2021.11-13" ],
                    [ "Algebroids", ">= 2021.08-02" ],
                    [ "FunctorCategories", ">= 2021.08-01" ],
                    ],
diff --git a/README.md b/README.md
index 6d36bbc..9ba1218 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 265 operations for this category which
+93 primitive operations were used to derive 267 operations for this category which
 * IsEquippedWithHomomorphismStructure
 * IsLinearCategoryOverCommutativeRing
 * IsSymmetricMonoidalCategory
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index 7590644..a8d568e 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 265 operations for this category which
+#! 93 primitive operations were used to derive 267 operations for this category which
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
index 6638dd8..1a0c4aa 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 265 operations for this category which\n",
+      "93 primitive operations were used to derive 267 operations for this category which\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",