Update website for CartesianCategories 2025.07-01

Author: Bot

CartesianCategories/PackageInfo.g

@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "CartesianCategories",
 Subtitle := "Cartesian and cocartesian categories and various subdoctrines",
-Version := "2025.06-01",
-Date := "2025-06-23",
-Date := "2025-06-23",
+Version := "2025.07-01",
+Date := "2025-07-08",
+Date := "2025-07-08",
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -99,7 +99,7 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                 [ "CAP", ">= 2025.03-04" ],
-                [ "MonoidalCategories", ">= 2025.03-02" ],
+                [ "MonoidalCategories", ">= 2025.07-01" ],
                 ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

CartesianCategories/doc/chap0.html

@@ -29,10 +29,10 @@ <h1>CartesianCategories</h1>
 <h2>Cartesian and cocartesian categories and various subdoctrines</h2>
 
 <p>
-    2025.06-01</p>
+    2025.07-01</p>
 
 <p>
-    23 June 2025
+    8 July 2025
   </p>
 
 </div>
@@ -427,14 +427,22 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3.html#X7862428B781B1F3D">3.1 <span class="Heading">Test functions</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X83B0BC037D5E2C95">3.1-1 BraidedCartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X815F4404798F05F3">3.1-2 BraidedCocartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7BC67B107EB54EE2">3.1-3 CartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7C19A72D81FD3652">3.1-4 CartesianClosedCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X8581ECE37E4E8470">3.1-5 CocartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7C25BAD3807EE56E">3.1-6 CocartesianCoclosedCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7EA2684984BCCF6B">3.1-7 CodistributiveCocartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X78CA53ED85B4FEFF">3.1-8 DistributiveCartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X875898027D2DCBED">3.1-1 TestCartesianBraidingCompatability</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7F54CECC7C11450D">3.1-2 TestCartesianBraidingCompatabilityForAllTriplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X83B0BC037D5E2C95">3.1-3 BraidedCartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X835664E57AAADAF2">3.1-4 TestCocartesianBraidingCompatability</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7F9CD72D7F40442D">3.1-5 TestCocartesianBraidingCompatabilityForAllTriplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X815F4404798F05F3">3.1-6 BraidedCocartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X83C40A9378201657">3.1-7 TestCartesianPentagonIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X82497AFC877A7845">3.1-8 TestCartesianPentagonIdentityForAllQuadruplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7BC67B107EB54EE2">3.1-9 CartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7C19A72D81FD3652">3.1-10 CartesianClosedCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7B9401D0843F1EFC">3.1-11 TestCocartesianPentagonIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X879869428334E8EA">3.1-12 TestCocartesianPentagonIdentityForAllQuadruplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X8581ECE37E4E8470">3.1-13 CocartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7C25BAD3807EE56E">3.1-14 CocartesianCoclosedCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X7EA2684984BCCF6B">3.1-15 CodistributiveCocartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3.html#X78CA53ED85B4FEFF">3.1-16 DistributiveCartesianCategoriesTest</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3.html#X794F44AE78DD7CAF">3.2 <span class="Heading">InfoOfInstalledOperationsOfCategory</span></a>
 </span>

CartesianCategories/doc/chap0.txt

@@ -6,10 +6,10 @@
          Cartesian and cocartesian categories and various subdoctrines 
 
 
-                                   2025.06-01
+                                   2025.07-01
 
 
-                                  23 June 2025
+                                  8 July 2025
 
 
                                 Mohamed Barakat
@@ -376,14 +376,22 @@
       2.4-73 AddRightCocartesianCodistributivityFactoringWithGivenObjects
   3 Examples and Tests
     3.1 Test functions
-      3.1-1 BraidedCartesianCategoriesTest
-      3.1-2 BraidedCocartesianCategoriesTest
-      3.1-3 CartesianCategoriesTest
-      3.1-4 CartesianClosedCategoriesTest
-      3.1-5 CocartesianCategoriesTest
-      3.1-6 CocartesianCoclosedCategoriesTest
-      3.1-7 CodistributiveCocartesianCategoriesTest
-      3.1-8 DistributiveCartesianCategoriesTest
+      3.1-1 TestCartesianBraidingCompatability
+      3.1-2 TestCartesianBraidingCompatabilityForAllTriplesInList
+      3.1-3 BraidedCartesianCategoriesTest
+      3.1-4 TestCocartesianBraidingCompatability
+      3.1-5 TestCocartesianBraidingCompatabilityForAllTriplesInList
+      3.1-6 BraidedCocartesianCategoriesTest
+      3.1-7 TestCartesianPentagonIdentity
+      3.1-8 TestCartesianPentagonIdentityForAllQuadruplesInList
+      3.1-9 CartesianCategoriesTest
+      3.1-10 CartesianClosedCategoriesTest
+      3.1-11 TestCocartesianPentagonIdentity
+      3.1-12 TestCocartesianPentagonIdentityForAllQuadruplesInList
+      3.1-13 CocartesianCategoriesTest
+      3.1-14 CocartesianCoclosedCategoriesTest
+      3.1-15 CodistributiveCocartesianCategoriesTest
+      3.1-16 DistributiveCartesianCategoriesTest
     3.2 InfoOfInstalledOperationsOfCategory
   4 The initial category
     4.1 Constructor

CartesianCategories/doc/chap0_mj.html

@@ -32,10 +32,10 @@ <h1>CartesianCategories</h1>
 <h2>Cartesian and cocartesian categories and various subdoctrines</h2>
 
 <p>
-    2025.06-01</p>
+    2025.07-01</p>
 
 <p>
-    23 June 2025
+    8 July 2025
   </p>
 
 </div>
@@ -430,14 +430,22 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3_mj.html#X7862428B781B1F3D">3.1 <span class="Heading">Test functions</span></a>
 </span>
 <div class="ContSSBlock">
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X83B0BC037D5E2C95">3.1-1 BraidedCartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X815F4404798F05F3">3.1-2 BraidedCocartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7BC67B107EB54EE2">3.1-3 CartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7C19A72D81FD3652">3.1-4 CartesianClosedCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X8581ECE37E4E8470">3.1-5 CocartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7C25BAD3807EE56E">3.1-6 CocartesianCoclosedCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7EA2684984BCCF6B">3.1-7 CodistributiveCocartesianCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X78CA53ED85B4FEFF">3.1-8 DistributiveCartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X875898027D2DCBED">3.1-1 TestCartesianBraidingCompatability</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7F54CECC7C11450D">3.1-2 TestCartesianBraidingCompatabilityForAllTriplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X83B0BC037D5E2C95">3.1-3 BraidedCartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X835664E57AAADAF2">3.1-4 TestCocartesianBraidingCompatability</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7F9CD72D7F40442D">3.1-5 TestCocartesianBraidingCompatabilityForAllTriplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X815F4404798F05F3">3.1-6 BraidedCocartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X83C40A9378201657">3.1-7 TestCartesianPentagonIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X82497AFC877A7845">3.1-8 TestCartesianPentagonIdentityForAllQuadruplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7BC67B107EB54EE2">3.1-9 CartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7C19A72D81FD3652">3.1-10 CartesianClosedCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7B9401D0843F1EFC">3.1-11 TestCocartesianPentagonIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X879869428334E8EA">3.1-12 TestCocartesianPentagonIdentityForAllQuadruplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X8581ECE37E4E8470">3.1-13 CocartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7C25BAD3807EE56E">3.1-14 CocartesianCoclosedCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X7EA2684984BCCF6B">3.1-15 CodistributiveCocartesianCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap3_mj.html#X78CA53ED85B4FEFF">3.1-16 DistributiveCartesianCategoriesTest</a></span>
 </div></div>
 <div class="ContSect"><span class="tocline"><span class="nocss">&nbsp;</span><a href="chap3_mj.html#X794F44AE78DD7CAF">3.2 <span class="Heading">InfoOfInstalledOperationsOfCategory</span></a>
 </span>