Update to MonoidalCategories v2025.08-01

Author: mohamed-barakat

Project.toml

@@ -6,8 +6,8 @@ authors = [
 	"Fabian Zickgraf <[email protected]>"
 ]
 
-# Transpiled from GAP's LinearAlgebraForCAP v2025.07-03
-version = "0.1.11"
+# Transpiled from GAP's LinearAlgebraForCAP v2025.08-01
+version = "0.1.12"
 
 [deps]
 MatricesForHomalg = "29b9b1b6-efa6-450e-8188-a5a2c25df071"
@@ -22,7 +22,7 @@ MonoidalCategories = "bfd98c86-782f-4b94-909f-74167f1eb613"
 julia = "1.11"
 MatricesForHomalg = "0.1"
 CAP = "0.6"
-MonoidalCategories = "0.2"
+MonoidalCategories = "~0.2.11"
 
 [extras]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

docs/src/AutoDocTests.tst.autogen.md

@@ -834,7 +834,22 @@ julia> vec = MatrixCategory( QQ );
 julia> op = Opposite( vec );
 
 julia> Display( ListKnownCategoricalProperties( op ) )
-[ "IsAbCategory", "IsAbelianCategory", "IsAbelianCategoryWithEnoughInjectives", "IsAbelianCategoryWithEnoughProjectives", "IsAdditiveCategory", "IsBraidedMonoidalCategory", "IsCategoryWithCoequalizers", "IsCategoryWithCokernels", "IsCategoryWithEqualizers", "IsCategoryWithInitialObject", "IsCategoryWithKernels", "IsCategoryWithTerminalObject", "IsCategoryWithZeroObject", "IsClosedMonoidalCategory", "IsCoclosedMonoidalCategory", "IsEnrichedOverCommutativeRegularSemigroup", "IsEquippedWithHomomorphismStructure", "IsLinearCategoryOverCommutativeRing", "IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms", "IsMonoidalCategory", "IsPreAbelianCategory", "IsRigidSymmetricClosedMonoidalCategory", "IsRigidSymmetricCoclosedMonoidalCategory", "IsSkeletalCategory", "IsStrictMonoidalCategory", "IsSymmetricClosedMonoidalCategory", "IsSymmetricCoclosedMonoidalCategory", "IsSymmetricMonoidalCategory" ]
+[ "IsAbCategory", "IsAbelianCategory", "IsAbelianCategoryWithEnoughInjectives"
+    , "IsAbelianCategoryWithEnoughProjectives", "IsAdditiveCategory",
+  "IsAdditiveMonoidalCategory", "IsBraidedMonoidalCategory",
+  "IsCategoryWithCoequalizers", "IsCategoryWithCokernels",
+  "IsCategoryWithEqualizers", "IsCategoryWithInitialObject",
+  "IsCategoryWithKernels", "IsCategoryWithTerminalObject",
+  "IsCategoryWithZeroObject", "IsClosedMonoidalCategory",
+  "IsCoclosedMonoidalCategory", "IsEnrichedOverCommutativeRegularSemigroup",
+  "IsEquippedWithHomomorphismStructure", "IsLinearCategoryOverCommutativeRing"
+    ,
+  "IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms",
+  "IsMonoidalCategory", "IsPreAbelianCategory",
+  "IsRigidSymmetricClosedMonoidalCategory",
+  "IsRigidSymmetricCoclosedMonoidalCategory", "IsSkeletalCategory",
+  "IsStrictMonoidalCategory", "IsSymmetricClosedMonoidalCategory",
+  "IsSymmetricCoclosedMonoidalCategory", "IsSymmetricMonoidalCategory" ]
 
 julia> V1 = Opposite( TensorUnit( vec ) );
 

src/gap/LinearAlgebraForCAP.gi.autogen.jl

@@ -51,12 +51,14 @@
 
     SetIsAbelianCategoryWithEnoughInjectives( category, true );
 
+    SetIsStrictMonoidalCategory( category, true );
+    
+    SetIsAdditiveMonoidalCategory( category, true );
+    
     SetIsRigidSymmetricClosedMonoidalCategory( category, true );
 
     SetIsRigidSymmetricCoclosedMonoidalCategory( category, true );
 
-    SetIsStrictMonoidalCategory( category, true );
-    
     SetIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( category, true );
 
     SetCommutativeRingOfLinearCategory( category, homalg_field );