From fdc930121fa34b62a0bcbec122487f3ffebeb2c4 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Tue, 12 Apr 2022 11:43:34 +0200
Subject: [PATCH] comply with Toposes v2022.04-04

---
 PackageInfo.g                                            | 4 ++--
 examples/CategoryOfRepresentations.g                     | 4 +++-
 examples/julia/notebooks/CategoryOfRepresentations.ipynb | 4 +++-
 3 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 7cb5690..7f47e2c 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.03-04",
+Version := "2022.03-05",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -107,7 +107,7 @@ Dependencies := rec(
                    [ "CategoryConstructor", ">= 2022.03-01" ],
                    [ "SubcategoriesForCAP", ">= 2020.06-01" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
-                   [ "Toposes", ">= 2022.03-05" ],
+                   [ "Toposes", ">= 2022.04-04" ],
                    [ "Algebroids", ">= 2022.01-02" ],
                    [ "FunctorCategories", ">= 2022.02-01" ],
                    ],
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index 8159113..5840fc6 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -31,10 +31,12 @@ CatReps := FunctorCategory( A, GF3 );
 #! FunctorCategory( 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 );
-#! 99 primitive operations were used to derive 298 operations for this category which
+#! 99 primitive operations were used to derive 302 operations for this category which
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
+#! * IsCartesianCategory
+#! * IsCocartesianCategory
 #! * IsAbelianCategory
 CommutativeRingOfLinearCategory( CatReps );
 #! GF(3)
diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
index b3bc103..ed884f5 100644
--- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb
+++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
@@ -479,9 +479,11 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "99 primitive operations were used to derive 298 operations for this category which\n",
+      "99 primitive operations were used to derive 302 operations for this category which\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
+      "* IsCartesianCategory\n",
+      "* IsCocartesianCategory\n",
       "* IsSymmetricMonoidalCategory\n",
       "* IsAbelianCategory\n"
      ]