Update website for MonoidalCategories 2026.07-02

Author: Bot

MonoidalCategories/PackageInfo.g

@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "MonoidalCategories",
 Subtitle := "Monoidal and monoidal (co)closed categories",
-Version := "2026.06-02",
-Date := "2026-06-30",
+Version := "2026.07-02",
+Date := "2026-07-28",
 License := "GPL-2.0-or-later",
 
 Persons := [

MonoidalCategories/doc/chap0.html

@@ -29,10 +29,10 @@ <h1>MonoidalCategories</h1>
 <h2>Monoidal and monoidal (co)closed categories</h2>
 
 <p>
-    2026.06-02</p>
+    2026.07-02</p>
 
 <p>
-    30 June 2026
+    28 July 2026
   </p>
 
 </div>
@@ -628,26 +628,30 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X794ADC5E7B9ED6E9">2.1-3 TestBraidingCompatibility</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X85D661D482543648">2.1-4 TestBraidingCompatibilityForAllTriplesInList</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7D87D6737E0B485F">2.1-5 BraidedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7CDDEF3E87731A54">2.1-6 ClosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7EAC790E85CC1D26">2.1-7 ClosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X83E919E984B367B1">2.1-8 CoclosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7F29A16A810D390D">2.1-9 CoclosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7B0D72D07AAA7B9B">2.1-10 LeftClosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7BCAE7FE7E32B70A">2.1-11 LeftClosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X865E82AA7FB9B0BE">2.1-12 LeftCoclosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7BF584B6805BB8DA">2.1-13 LeftCoclosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7B05AB7F7BAF2B62">2.1-14 MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7FE8E3E581929705">2.1-15 TestMonoidalUnitorsForInvertibility</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X78A123237F5F81BE">2.1-16 TestAssociatorForInvertibility</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7EB6CE877FDBFAE5">2.1-17 TestMonoidalTriangleIdentity</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7B0890C57F20717C">2.1-18 TestMonoidalTriangleIdentityForAllPairsInList</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X8786C1FF7F09F124">2.1-19 TestMonoidalPentagonIdentity</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7D45BF317D6237DC">2.1-20 TestMonoidalPentagonIdentityUsingWithGivenOperations</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7E96BEF17CD1B38B">2.1-21 TestMonoidalPentagonIdentityForAllQuadruplesInList</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7BCAF88A806E562D">2.1-22 MonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X85AB97E9788D543D">2.1-23 TestZigZagIdentitiesForDual</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X78CAAAE77DC5CF4F">2.1-24 RigidSymmetricClosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X8154BEE7850EFEEA">2.1-25 RigidSymmetricCoclosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X86C760A580D917B8">2.1-6 TestZigzagOfClosedMonoidalRightTensorProduct</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7FEA67FE83781622">2.1-7 TestZigzagOfClosedMonoidalRightInternalHom</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X8400FD8B848434DC">2.1-8 TestZigzagOfClosedMonoidalLeftTensorProduct</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7B826B907ED0B23A">2.1-9 TestZigzagOfClosedMonoidalLeftInternalHom</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7CDDEF3E87731A54">2.1-10 ClosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7EAC790E85CC1D26">2.1-11 ClosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X83E919E984B367B1">2.1-12 CoclosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7F29A16A810D390D">2.1-13 CoclosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7B0D72D07AAA7B9B">2.1-14 LeftClosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7BCAE7FE7E32B70A">2.1-15 LeftClosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X865E82AA7FB9B0BE">2.1-16 LeftCoclosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7BF584B6805BB8DA">2.1-17 LeftCoclosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7B05AB7F7BAF2B62">2.1-18 MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7FE8E3E581929705">2.1-19 TestMonoidalUnitorsForInvertibility</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X78A123237F5F81BE">2.1-20 TestAssociatorForInvertibility</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7EB6CE877FDBFAE5">2.1-21 TestMonoidalTriangleIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7B0890C57F20717C">2.1-22 TestMonoidalTriangleIdentityForAllPairsInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X8786C1FF7F09F124">2.1-23 TestMonoidalPentagonIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7D45BF317D6237DC">2.1-24 TestMonoidalPentagonIdentityUsingWithGivenOperations</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7E96BEF17CD1B38B">2.1-25 TestMonoidalPentagonIdentityForAllQuadruplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X7BCAF88A806E562D">2.1-26 MonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X85AB97E9788D543D">2.1-27 TestZigzagIdentitiesForDual</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X78CAAAE77DC5CF4F">2.1-28 RigidSymmetricClosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2.html#X8154BEE7850EFEEA">2.1-29 RigidSymmetricCoclosedMonoidalCategoriesTest</a></span>
 </div></div>
 </div>
 <div class="ContChap"><a href="chap3.html#X7C2E370A85B0A5CB">3 <span class="Heading">Code Generation for Monodial Categories</span></a>

MonoidalCategories/doc/chap0.txt

@@ -6,10 +6,10 @@
                   Monoidal and monoidal (co)closed categories 
 
 
-                                   2026.06-02
+                                   2026.07-02
 
 
-                                  30 June 2026
+                                  28 July 2026
 
 
                                 Mohamed Barakat
@@ -574,26 +574,30 @@
       2.1-3 TestBraidingCompatibility
       2.1-4 TestBraidingCompatibilityForAllTriplesInList
       2.1-5 BraidedMonoidalCategoriesTest
-      2.1-6 ClosedMonoidalCategoriesTest
-      2.1-7 ClosedMonoidalCategoriesTestWithGiven
-      2.1-8 CoclosedMonoidalCategoriesTest
-      2.1-9 CoclosedMonoidalCategoriesTestWithGiven
-      2.1-10 LeftClosedMonoidalCategoriesTest
-      2.1-11 LeftClosedMonoidalCategoriesTestWithGiven
-      2.1-12 LeftCoclosedMonoidalCategoriesTest
-      2.1-13 LeftCoclosedMonoidalCategoriesTestWithGiven
-      2.1-14 MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest
-      2.1-15 TestMonoidalUnitorsForInvertibility
-      2.1-16 TestAssociatorForInvertibility
-      2.1-17 TestMonoidalTriangleIdentity
-      2.1-18 TestMonoidalTriangleIdentityForAllPairsInList
-      2.1-19 TestMonoidalPentagonIdentity
-      2.1-20 TestMonoidalPentagonIdentityUsingWithGivenOperations
-      2.1-21 TestMonoidalPentagonIdentityForAllQuadruplesInList
-      2.1-22 MonoidalCategoriesTest
-      2.1-23 TestZigZagIdentitiesForDual
-      2.1-24 RigidSymmetricClosedMonoidalCategoriesTest
-      2.1-25 RigidSymmetricCoclosedMonoidalCategoriesTest
+      2.1-6 TestZigzagOfClosedMonoidalRightTensorProduct
+      2.1-7 TestZigzagOfClosedMonoidalRightInternalHom
+      2.1-8 TestZigzagOfClosedMonoidalLeftTensorProduct
+      2.1-9 TestZigzagOfClosedMonoidalLeftInternalHom
+      2.1-10 ClosedMonoidalCategoriesTest
+      2.1-11 ClosedMonoidalCategoriesTestWithGiven
+      2.1-12 CoclosedMonoidalCategoriesTest
+      2.1-13 CoclosedMonoidalCategoriesTestWithGiven
+      2.1-14 LeftClosedMonoidalCategoriesTest
+      2.1-15 LeftClosedMonoidalCategoriesTestWithGiven
+      2.1-16 LeftCoclosedMonoidalCategoriesTest
+      2.1-17 LeftCoclosedMonoidalCategoriesTestWithGiven
+      2.1-18 MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest
+      2.1-19 TestMonoidalUnitorsForInvertibility
+      2.1-20 TestAssociatorForInvertibility
+      2.1-21 TestMonoidalTriangleIdentity
+      2.1-22 TestMonoidalTriangleIdentityForAllPairsInList
+      2.1-23 TestMonoidalPentagonIdentity
+      2.1-24 TestMonoidalPentagonIdentityUsingWithGivenOperations
+      2.1-25 TestMonoidalPentagonIdentityForAllQuadruplesInList
+      2.1-26 MonoidalCategoriesTest
+      2.1-27 TestZigzagIdentitiesForDual
+      2.1-28 RigidSymmetricClosedMonoidalCategoriesTest
+      2.1-29 RigidSymmetricCoclosedMonoidalCategoriesTest
   3 Code Generation for Monodial Categories
     3.1 Monoidal Categories
       3.1-1 WriteFileForMonoidalStructure

MonoidalCategories/doc/chap0_mj.html

@@ -32,10 +32,10 @@ <h1>MonoidalCategories</h1>
 <h2>Monoidal and monoidal (co)closed categories</h2>
 
 <p>
-    2026.06-02</p>
+    2026.07-02</p>
 
 <p>
-    30 June 2026
+    28 July 2026
   </p>
 
 </div>
@@ -631,26 +631,30 @@ <h3>Contents<a id="contents" name="contents"></a></h3>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X794ADC5E7B9ED6E9">2.1-3 TestBraidingCompatibility</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X85D661D482543648">2.1-4 TestBraidingCompatibilityForAllTriplesInList</a></span>
 <span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7D87D6737E0B485F">2.1-5 BraidedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7CDDEF3E87731A54">2.1-6 ClosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7EAC790E85CC1D26">2.1-7 ClosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X83E919E984B367B1">2.1-8 CoclosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7F29A16A810D390D">2.1-9 CoclosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7B0D72D07AAA7B9B">2.1-10 LeftClosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7BCAE7FE7E32B70A">2.1-11 LeftClosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X865E82AA7FB9B0BE">2.1-12 LeftCoclosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7BF584B6805BB8DA">2.1-13 LeftCoclosedMonoidalCategoriesTestWithGiven</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7B05AB7F7BAF2B62">2.1-14 MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7FE8E3E581929705">2.1-15 TestMonoidalUnitorsForInvertibility</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X78A123237F5F81BE">2.1-16 TestAssociatorForInvertibility</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7EB6CE877FDBFAE5">2.1-17 TestMonoidalTriangleIdentity</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7B0890C57F20717C">2.1-18 TestMonoidalTriangleIdentityForAllPairsInList</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X8786C1FF7F09F124">2.1-19 TestMonoidalPentagonIdentity</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7D45BF317D6237DC">2.1-20 TestMonoidalPentagonIdentityUsingWithGivenOperations</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7E96BEF17CD1B38B">2.1-21 TestMonoidalPentagonIdentityForAllQuadruplesInList</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7BCAF88A806E562D">2.1-22 MonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X85AB97E9788D543D">2.1-23 TestZigZagIdentitiesForDual</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X78CAAAE77DC5CF4F">2.1-24 RigidSymmetricClosedMonoidalCategoriesTest</a></span>
-<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X8154BEE7850EFEEA">2.1-25 RigidSymmetricCoclosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X86C760A580D917B8">2.1-6 TestZigzagOfClosedMonoidalRightTensorProduct</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7FEA67FE83781622">2.1-7 TestZigzagOfClosedMonoidalRightInternalHom</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X8400FD8B848434DC">2.1-8 TestZigzagOfClosedMonoidalLeftTensorProduct</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7B826B907ED0B23A">2.1-9 TestZigzagOfClosedMonoidalLeftInternalHom</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7CDDEF3E87731A54">2.1-10 ClosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7EAC790E85CC1D26">2.1-11 ClosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X83E919E984B367B1">2.1-12 CoclosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7F29A16A810D390D">2.1-13 CoclosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7B0D72D07AAA7B9B">2.1-14 LeftClosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7BCAE7FE7E32B70A">2.1-15 LeftClosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X865E82AA7FB9B0BE">2.1-16 LeftCoclosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7BF584B6805BB8DA">2.1-17 LeftCoclosedMonoidalCategoriesTestWithGiven</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7B05AB7F7BAF2B62">2.1-18 MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7FE8E3E581929705">2.1-19 TestMonoidalUnitorsForInvertibility</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X78A123237F5F81BE">2.1-20 TestAssociatorForInvertibility</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7EB6CE877FDBFAE5">2.1-21 TestMonoidalTriangleIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7B0890C57F20717C">2.1-22 TestMonoidalTriangleIdentityForAllPairsInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X8786C1FF7F09F124">2.1-23 TestMonoidalPentagonIdentity</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7D45BF317D6237DC">2.1-24 TestMonoidalPentagonIdentityUsingWithGivenOperations</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7E96BEF17CD1B38B">2.1-25 TestMonoidalPentagonIdentityForAllQuadruplesInList</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X7BCAF88A806E562D">2.1-26 MonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X85AB97E9788D543D">2.1-27 TestZigzagIdentitiesForDual</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X78CAAAE77DC5CF4F">2.1-28 RigidSymmetricClosedMonoidalCategoriesTest</a></span>
+<span class="ContSS"><br /><span class="nocss">&nbsp;&nbsp;</span><a href="chap2_mj.html#X8154BEE7850EFEEA">2.1-29 RigidSymmetricCoclosedMonoidalCategoriesTest</a></span>
 </div></div>
 </div>
 <div class="ContChap"><a href="chap3_mj.html#X7C2E370A85B0A5CB">3 <span class="Heading">Code Generation for Monodial Categories</span></a>