Update website for CartesianCategories 2026.08-01

Author: Bot

CartesianCategories/PackageInfo.g

@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "CartesianCategories",
 Subtitle := "Cartesian and cocartesian categories and various subdoctrines",
-Version := "2026.07-03",
-Date := "2026-07-29",
-Date := "2026-07-29",
+Version := "2026.08-01",
+Date := "2026-08-05",
+Date := "2026-08-05",
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -99,7 +99,7 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                 [ "CAP", ">= 2026.06-01" ],
-                [ "MonoidalCategories", ">= 2026.07-02" ],
+                [ "MonoidalCategories", ">= 2026.08-01" ],
                 ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

CartesianCategories/doc/chap0.html

@@ -29,10 +29,10 @@ <h1>CartesianCategories</h1>
 <h2>Cartesian and cocartesian categories and various subdoctrines</h2>
 
 <p>
-    2026.07-03</p>
+    2026.08-01</p>
 
 <p>
-    29 July 2026
+    5 August 2026
   </p>
 
 </div>

CartesianCategories/doc/chap0.txt

@@ -6,10 +6,10 @@
          Cartesian and cocartesian categories and various subdoctrines 
 
 
-                                   2026.07-03
+                                   2026.08-01
 
 
-                                  29 July 2026
+                                 5 August 2026
 
 
                                 Mohamed Barakat

CartesianCategories/doc/chap0_mj.html

@@ -32,10 +32,10 @@ <h1>CartesianCategories</h1>
 <h2>Cartesian and cocartesian categories and various subdoctrines</h2>
 
 <p>
-    2026.07-03</p>
+    2026.08-01</p>
 
 <p>
-    29 July 2026
+    5 August 2026
   </p>
 
 </div>

_data/CartesianCategories.yml

@@ -1,7 +1,7 @@
 name: CartesianCategories
-version: "2026.07-03"
+version: "2026.08-01"
 license: "GPL-2.0-or-later"
-date: 2026-07-29
+date: 2026-08-05
 description: |
     Cartesian and cocartesian categories and various subdoctrines
 
@@ -28,7 +28,7 @@ needed-pkgs:
       version: ">= 2026.06-01"
       url: "https://homalg-project.github.io/pkg/CAP"
     - name: "MonoidalCategories"
-      version: ">= 2026.07-02"
+      version: ">= 2026.08-01"
       url: "https://homalg-project.github.io/pkg/MonoidalCategories"
 
 www: https://homalg-project.github.io/pkg/CartesianCategories
@@ -37,11 +37,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/CartesianCategories/Pa
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2026.07-03/CartesianCategories-2026.07-03.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2026.08-01/CartesianCategories-2026.08-01.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2026.07-03/CartesianCategories-2026.07-03.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2026.08-01/CartesianCategories-2026.08-01.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2026.07-03/CartesianCategories-2026.07-03-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2026.08-01/CartesianCategories-2026.08-01-manual.pdf
 
 abstract: |
 
@@ -52,10 +52,10 @@ keywords: |
     elementary toposes.
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>BZK29</span>]   <b class='BibAuthor'>Barakat, M., Zickgraf, F. and Kuhmichel, T.</b>,
+    [<span class='BibKey'>BZK05</span>]   <b class='BibAuthor'>Barakat, M., Zickgraf, F. and Kuhmichel, T.</b>,
      <i class='BibTitle'>CartesianCategories, Cartesian and cocartesian categories and various subdoctrines,
-             Version 2026.07-03</i>
-     (<span class='BibYear'>7-29</span>)<br />
+             Version 2026.08-01</i>
+     (<span class='BibYear'>8-05</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/CartesianCategories">https://homalg-project.github.io/pkg/CartesianCategories</a></span>.
     </p>
@@ -66,16 +66,16 @@ bibtex: |
       author =           {Barakat, M. and Zickgraf, F. and Kuhmichel, T.},
       title =            {{CartesianCategories},   {Cartesian   and  cocartesian
                           categories   and   various   subdoctrines},  {V}ersion
-                          2026.07\texttt{\symbol{45}}03},
+                          2026.08\texttt{\symbol{45}}01},
       month =            {6\texttt{\symbol{45}}},
-      year =             {7\texttt{\symbol{45}}29},
+      year =             {8\texttt{\symbol{45}}05},
       note =             {GAP package},
       howpublished =     {\href
                           {https://homalg-project.github.io/pkg/CartesianCategories}
                           {\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary
                           {}{}{}\texttt{CartesianCategories}}},
       keywords =         {elementary toposes},
-      printedkey =       {BZK29}
+      printedkey =       {BZK05}
     }