Update to CartesianCategories v2025.05-02

Author: mohamed-barakat

Project.toml

@@ -5,7 +5,7 @@ authors = [
 	"Tom Kuhmichel <tom.kuhmichel@student.uni-siegen.de>",
 	"Fabian Zickgraf <f.zickgraf@dashdos.com>",
 ]
-version = "0.3.1"
+version = "0.3.2"
 
 [deps]
 CAP = "d64df2ee-d2bb-46f4-8cbc-f03bb858f8cb"

src/gap/CartesianCategories_extra.gi.autogen.jl

@@ -22,86 +22,86 @@
 
         return TerminalObject( cat );
 
-    end );
+    end, OperationWeight( cat, "TerminalObject" ) );
 
     ##
     AddTensorProductOnObjects( cat,
       function( cat, a, b )
 
         return DirectProduct( cat, [ a, b ] );
 
-    end );
+    end, OperationWeight( cat, "DirectProduct" ) );
 
     ##
     AddTensorProductOnMorphismsWithGivenTensorProducts( cat,
       function( cat, source, mor1, mor2, target )
 
         return DirectProductOnMorphismsWithGivenDirectProducts( cat, source, mor1, mor2, target );
 
-    end );
+    end, OperationWeight( cat, "DirectProductOnMorphismsWithGivenDirectProducts" ) );
 
     ##
     AddLeftUnitorWithGivenTensorProduct( cat,
       function( cat, a, source )
 
         return CartesianLeftUnitorWithGivenDirectProduct( cat, a, source );
 
-    end );
+    end, OperationWeight( cat, "CartesianLeftUnitorWithGivenDirectProduct" ) );
 
     ##
     AddLeftUnitorInverseWithGivenTensorProduct( cat,
       function( cat, a, target )
 
         return CartesianLeftUnitorInverseWithGivenDirectProduct( cat, a, target );
 
-    end );
+    end, OperationWeight( cat, "CartesianLeftUnitorInverseWithGivenDirectProduct" ) );
 
     ##
     AddRightUnitorWithGivenTensorProduct( cat,
       function( cat, a, source )
 
         return CartesianRightUnitorWithGivenDirectProduct( cat, a, source );
 
-    end );
+    end, OperationWeight( cat, "CartesianRightUnitorWithGivenDirectProduct" ) );
 
     ##
     AddRightUnitorInverseWithGivenTensorProduct( cat,
       function( cat, a, target )
 
         return CartesianRightUnitorInverseWithGivenDirectProduct( cat, a, target );
 
-    end );
+    end, OperationWeight( cat, "CartesianRightUnitorInverseWithGivenDirectProduct" ) );
 
     ##
     AddAssociatorLeftToRightWithGivenTensorProducts( cat,
       function( cat, source, a, b, c, target )
 
         return CartesianAssociatorLeftToRightWithGivenDirectProducts( cat, source, a, b, c, target );
 
-    end );
+    end, OperationWeight( cat, "CartesianAssociatorLeftToRightWithGivenDirectProducts" ) );
 
     ##
     AddAssociatorRightToLeftWithGivenTensorProducts( cat,
       function( cat, source, a, b, c, target )
 
         return CartesianAssociatorRightToLeftWithGivenDirectProducts( cat, source, a, b, c, target );
 
-    end );
+    end, OperationWeight( cat, "CartesianAssociatorRightToLeftWithGivenDirectProducts" ) );
 
     ##
     AddBraidingWithGivenTensorProducts( cat,
       function( cat, source, a, b, target )
 
         return CartesianBraidingWithGivenDirectProducts( cat, source, a, b, target );
 
-    end );
+    end, OperationWeight( cat, "CartesianBraidingWithGivenDirectProducts" ) );
 
     ##
     AddBraidingInverseWithGivenTensorProducts( cat,
       function( cat, source, a, b, target )
 
         return CartesianBraidingInverseWithGivenDirectProducts( cat, source, a, b, target );
 
-    end );
+    end, OperationWeight( cat, "CartesianBraidingInverseWithGivenDirectProducts" ) );
 
 end );

src/gap/CocartesianCategories_extra.gi.autogen.jl

@@ -22,86 +22,86 @@
 
         return InitialObject( cat );
 
-    end );
+    end, OperationWeight( cat, "InitialObject" ) );
 
     ##
     AddTensorProductOnObjects( cat,
       function( cat, a, b )
 
         return Coproduct( cat, [ a, b ] );
 
-    end );
+    end, OperationWeight( cat, "Coproduct" ) );
 
     ##
     AddTensorProductOnMorphismsWithGivenTensorProducts( cat,
       function( cat, source, mor1, mor2, target )
 
         return CoproductOnMorphismsWithGivenCoproducts( cat, source, mor1, mor2, target );
 
-    end );
+    end, OperationWeight( cat, "CoproductOnMorphismsWithGivenCoproducts" ) );
 
     ##
     AddLeftUnitorWithGivenTensorProduct( cat,
       function( cat, a, source )
 
         return CocartesianLeftUnitorWithGivenCoproduct( cat, a, source );
 
-    end );
+    end, OperationWeight( cat, "CocartesianLeftUnitorWithGivenCoproduct" ) );
 
     ##
     AddLeftUnitorInverseWithGivenTensorProduct( cat,
       function( cat, a, target )
 
         return CocartesianLeftUnitorInverseWithGivenCoproduct( cat, a, target );
 
-    end );
+    end, OperationWeight( cat, "CocartesianLeftUnitorInverseWithGivenCoproduct" ) );
 
     ##
     AddRightUnitorWithGivenTensorProduct( cat,
       function( cat, a, source )
 
         return CocartesianRightUnitorWithGivenCoproduct( cat, a, source );
 
-    end );
+    end, OperationWeight( cat, "CocartesianRightUnitorWithGivenCoproduct" ) );
 
     ##
     AddRightUnitorInverseWithGivenTensorProduct( cat,
       function( cat, a, target )
 
         return CocartesianRightUnitorInverseWithGivenCoproduct( cat, a, target );
 
-    end );
+    end, OperationWeight( cat, "CocartesianRightUnitorInverseWithGivenCoproduct" ) );
 
     ##
     AddAssociatorLeftToRightWithGivenTensorProducts( cat,
       function( cat, source, a, b, c, target )
 
         return CocartesianAssociatorLeftToRightWithGivenCoproducts( cat, source, a, b, c, target );
 
-    end );
+    end, OperationWeight( cat, "CocartesianAssociatorLeftToRightWithGivenCoproducts" ) );
 
     ##
     AddAssociatorRightToLeftWithGivenTensorProducts( cat,
       function( cat, source, a, b, c, target )
 
         return CocartesianAssociatorRightToLeftWithGivenCoproducts( cat, source, a, b, c, target );
 
-    end );
+    end, OperationWeight( cat, "CocartesianAssociatorRightToLeftWithGivenCoproducts" ) );
 
     ##
     AddBraidingWithGivenTensorProducts( cat,
       function( cat, source, a, b, target )
 
         return CocartesianBraidingWithGivenCoproducts( cat, source, a, b, target );
 
-    end );
+    end, OperationWeight( cat, "CocartesianBraidingWithGivenCoproducts" ) );
 
     ##
     AddBraidingInverseWithGivenTensorProducts( cat,
       function( cat, source, a, b, target )
 
         return CocartesianBraidingInverseWithGivenCoproducts( cat, source, a, b, target );
 
-    end );
+    end, OperationWeight( cat, "CocartesianBraidingInverseWithGivenCoproducts" ) );
 
 end );