Merge pull request #1872 from mohamed-barakat/Braiding

use Braiding(Inverse)WithGivenTensorProducts in derivations

Author: mohamed-barakat

CartesianCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CartesianCategories",
 Subtitle := "Cartesian and cocartesian categories and various subdoctrines",
-Version := "2026.07-03",
+Version := "2026.08-01",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
@@ -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/gap/AUTOGENERATED_FROM.md

@@ -1,3 +1,3 @@
 The files of this package which include the line `THIS FILE WAS AUTOMATICALLY GENERATED` in their header have been autogenerated
 
-* from MonoidalCategories v2026.07-02
+* from MonoidalCategories v2026.08-01

CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi

@@ -11,22 +11,30 @@
 AddDerivationToCAP( CartesianBraidingInverseWithGivenDirectProducts,
                     "CartesianBraidingInverseWithGivenDirectProducts as the inverse of the braiding",
                     [ [ InverseForMorphisms, 1 ],
-                      [ CartesianBraiding, 1 ] ],
+                      [ CartesianBraidingWithGivenDirectProducts, 1 ] ],
 
   function( cat, object_2_x_object_1, object_1, object_2, object_1_x_object_2 )
-    ##TODO: Use CartesianBraidingWithGiven
-    return InverseForMorphisms( cat, CartesianBraiding( cat, object_1, object_2 ) );
+    
+    return InverseForMorphisms( cat,
+                   CartesianBraidingWithGivenDirectProducts( cat,
+                           object_1_x_object_2,
+                           object_1, object_2,
+                           object_2_x_object_1 ) );
 
 end : CategoryFilter := IsCartesianCategory );
 
 ##
 AddDerivationToCAP( CartesianBraidingWithGivenDirectProducts,
                     "CartesianBraidingWithGivenDirectProducts as the inverse of CartesianBraidingInverse",
                     [ [ InverseForMorphisms, 1 ],
-                      [ CartesianBraidingInverse, 1 ] ],
+                      [ CartesianBraidingInverseWithGivenDirectProducts, 1 ] ],
 
   function( cat, object_1_x_object_2, object_1, object_2, object_2_x_object_1 )
-    ##TODO: Use CartesianBraidingInverseWithGiven
-    return InverseForMorphisms( cat, CartesianBraidingInverse( cat, object_1, object_2 ) );
+    
+    return InverseForMorphisms( cat,
+                   CartesianBraidingInverseWithGivenDirectProducts( cat,
+                           object_2_x_object_1,
+                           object_1, object_2,
+                           object_1_x_object_2 ) );
 
 end : CategoryFilter := IsCartesianCategory );

CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi

@@ -11,22 +11,30 @@
 AddDerivationToCAP( CocartesianBraidingInverseWithGivenCoproducts,
                     "CocartesianBraidingInverseWithGivenCoproducts as the inverse of the braiding",
                     [ [ InverseForMorphisms, 1 ],
-                      [ CocartesianBraiding, 1 ] ],
+                      [ CocartesianBraidingWithGivenCoproducts, 1 ] ],
 
   function( cat, object_2_u_object_1, object_1, object_2, object_1_u_object_2 )
-    ##TODO: Use CocartesianBraidingWithGiven
-    return InverseForMorphisms( cat, CocartesianBraiding( cat, object_1, object_2 ) );
+    
+    return InverseForMorphisms( cat,
+                   CocartesianBraidingWithGivenCoproducts( cat,
+                           object_1_u_object_2,
+                           object_1, object_2,
+                           object_2_u_object_1 ) );
 
 end : CategoryFilter := IsCocartesianCategory );
 
 ##
 AddDerivationToCAP( CocartesianBraidingWithGivenCoproducts,
                     "CocartesianBraidingWithGivenCoproducts as the inverse of CocartesianBraidingInverse",
                     [ [ InverseForMorphisms, 1 ],
-                      [ CocartesianBraidingInverse, 1 ] ],
+                      [ CocartesianBraidingInverseWithGivenCoproducts, 1 ] ],
 
   function( cat, object_1_u_object_2, object_1, object_2, object_2_u_object_1 )
-    ##TODO: Use CocartesianBraidingInverseWithGiven
-    return InverseForMorphisms( cat, CocartesianBraidingInverse( cat, object_1, object_2 ) );
+    
+    return InverseForMorphisms( cat,
+                   CocartesianBraidingInverseWithGivenCoproducts( cat,
+                           object_2_u_object_1,
+                           object_1, object_2,
+                           object_1_u_object_2 ) );
 
 end : CategoryFilter := IsCocartesianCategory );

MonoidalCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "MonoidalCategories",
 Subtitle := "Monoidal and monoidal (co)closed categories",
-Version := "2026.07-03",
+Version := "2026.08-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

MonoidalCategories/gap/BraidedMonoidalCategoriesDerivedMethods.gi

@@ -8,22 +8,30 @@
 AddDerivationToCAP( BraidingInverseWithGivenTensorProducts,
                     "BraidingInverseWithGivenTensorProducts as the inverse of the braiding",
                     [ [ InverseForMorphisms, 1 ],
-                      [ Braiding, 1 ] ],
+                      [ BraidingWithGivenTensorProducts, 1 ] ],
 
   function( cat, object_2_tensored_object_1, object_1, object_2, object_1_tensored_object_2 )
-    ##TODO: Use BraidingWithGiven
-    return InverseForMorphisms( cat, Braiding( cat, object_1, object_2 ) );
+    
+    return InverseForMorphisms( cat,
+                   BraidingWithGivenTensorProducts( cat,
+                           object_1_tensored_object_2,
+                           object_1, object_2,
+                           object_2_tensored_object_1 ) );
 
 end : CategoryFilter := IsBraidedMonoidalCategory );
 
 ##
 AddDerivationToCAP( BraidingWithGivenTensorProducts,
                     "BraidingWithGivenTensorProducts as the inverse of BraidingInverse",
                     [ [ InverseForMorphisms, 1 ],
-                      [ BraidingInverse, 1 ] ],
+                      [ BraidingInverseWithGivenTensorProducts, 1 ] ],
 
   function( cat, object_1_tensored_object_2, object_1, object_2, object_2_tensored_object_1 )
-    ##TODO: Use BraidingInverseWithGiven
-    return InverseForMorphisms( cat, BraidingInverse( cat, object_1, object_2 ) );
+    
+    return InverseForMorphisms( cat,
+                   BraidingInverseWithGivenTensorProducts( cat,
+                           object_2_tensored_object_1,
+                           object_1, object_2,
+                           object_1_tensored_object_2 ) );
 
 end : CategoryFilter := IsBraidedMonoidalCategory );