Update to MonoidalCategories v2025.08-01

Author: mohamed-barakat

Project.toml

@@ -8,8 +8,8 @@ authors = [
 	"Fabian Zickgraf <fabian.zickgraf@uni-siegen.de>"
 ]
 
-# Transpiled from GAP's MonoidalCategories v2025.07-07
-version = "0.2.10"
+# Transpiled from GAP's MonoidalCategories v2025.08-01
+version = "0.2.11"
 
 [deps]
 CAP = "d64df2ee-d2bb-46f4-8cbc-f03bb858f8cb"

src/gap/AdditiveMonoidalCategoriesProperties.gi.autogen.jl

@@ -0,0 +1,26 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# MonoidalCategories: Monoidal and monoidal (co)closed categories
+#
+# Implementations
+#
+
+#! @Description
+#!  The property of the category <A>C</A> being additive monoidal,
+#!  i.e., where the tensor product preserves finite direct sums.
+#! @Arguments C
+@DeclareProperty( "IsAdditiveMonoidalCategory", IsCapCategory );
+
+AddCategoricalProperty( [ "IsAdditiveMonoidalCategory", "IsAdditiveMonoidalCategory" ] );
+
+CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAdditiveMonoidalCategory =
+  @Concatenation(
+          ListOfDefiningOperations( "IsMonoidalCategory" ),
+          ListOfDefiningOperations( "IsAdditiveCategory" ),
+          [ "LeftDistributivityExpanding",
+            "LeftDistributivityFactoring",
+            "RightDistributivityExpanding",
+            "RightDistributivityFactoring",
+            ] );
+
+InstallTrueMethod( IsMonoidalCategory, IsAdditiveMonoidalCategory );
+InstallTrueMethod( IsAdditiveCategory, IsAdditiveMonoidalCategory );

src/read.g.autogen.jl

@@ -16,6 +16,7 @@ include( "gap/MonoidalCategoriesMethodRecordInstallations.autogen.gi.autogen.jl"
 
 ## Additive Monoidal
 
+include( "gap/AdditiveMonoidalCategoriesProperties.gi.autogen.jl" );
 include( "gap/AdditiveMonoidalCategoriesMethodRecord.gi.autogen.jl" );
 include( "gap/AdditiveMonoidalCategories.gi.autogen.jl" );
 include( "gap/AdditiveMonoidalCategoriesMethodRecordInstallations.autogen.gi.autogen.jl" );