Merge pull request #14 from kamalsaleh/master

comply with CAP 2026.05-02

Author: kamalsaleh

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "GradientBasedLearningForCAP",
 Subtitle := "Gradient Based Learning via Category Theory",
-Version := "2026.04-01",
+Version := "2026.05-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",
 
@@ -70,7 +70,7 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2026.04-02" ],
+                   [ "CAP", ">= 2026.05-02" ],
                    [ "MonoidalCategories", ">= 2025.12-01" ],
                    [ "CartesianCategories", ">= 2025.12-01" ],
                    [ "ToolsForCategoricalTowers", ">= 2026.04-01" ],

examples/CategoryOfSkeletalSmoothMaps.g

@@ -14,7 +14,7 @@ Smooth := SkeletalCategoryOfSmoothMaps( );
 Display( Smooth );
 #! A CAP category with name SkeletalSmoothMaps:
 #! 
-#! 49 primitive operations were used to derive 92 operations for this category wh\
+#! 49 primitive operations were used to derive 100 operations for this category wh\
 #! ich algorithmically
 #! * IsLinearCategoryOverCommutativeSemiring
 #! * IsCartesianCategory

gap/CategoryOfLenses.autogen.gd

@@ -44,7 +44,11 @@
 #! * <Ref BookName="MonoidalCategories" Func="RightUnitorInverseWithGivenTensorProduct" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="RightUnitorWithGivenTensorProduct" Label="for Is" />
 #! * <Ref BookName="CAP" Func="SimplifyMorphism" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphismAndObject" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphismAndObjectWithGivenTensorProducts" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphisms" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphismsWithGivenTensorProducts" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnObjectAndMorphism" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnObjectAndMorphismWithGivenTensorProducts" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorProductOnObjects" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorUnit" Label="for Is" />

gap/SkeletalCategoryOfSmoothMaps.autogen.gd

@@ -44,8 +44,12 @@
 #! * <Ref BookName="CAP" Func="DirectProduct" Label="" />
 #! * <Ref BookName="CAP" Func="DirectProductFunctorial" Label="for Is" />
 #! * <Ref BookName="CAP" Func="DirectProductFunctorialWithGivenDirectProducts" Label="for Is" />
+#! * <Ref BookName="CartesianCategories" Func="DirectProductOnMorphismAndObject" Label="for Is" />
+#! * <Ref BookName="CartesianCategories" Func="DirectProductOnMorphismAndObjectWithGivenDirectProducts" Label="for Is" />
 #! * <Ref BookName="CartesianCategories" Func="DirectProductOnMorphisms" Label="for Is" />
 #! * <Ref BookName="CartesianCategories" Func="DirectProductOnMorphismsWithGivenDirectProducts" Label="for Is" />
+#! * <Ref BookName="CartesianCategories" Func="DirectProductOnObjectAndMorphism" Label="for Is" />
+#! * <Ref BookName="CartesianCategories" Func="DirectProductOnObjectAndMorphismWithGivenDirectProducts" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IdentityMorphism" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IsCongruentForMorphisms" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IsEndomorphism" Label="for Is" />
@@ -92,8 +96,12 @@
 #! * <Ref BookName="CAP" Func="SimplifyMorphism" Label="for Is" />
 #! * <Ref BookName="CAP" Func="SubtractionForMorphisms" Label="for Is" />
 #! * <Ref BookName="CAP" Func="SumOfMorphisms" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphismAndObject" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphismAndObjectWithGivenTensorProducts" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphisms" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorProductOnMorphismsWithGivenTensorProducts" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnObjectAndMorphism" Label="for Is" />
+#! * <Ref BookName="MonoidalCategories" Func="TensorProductOnObjectAndMorphismWithGivenTensorProducts" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorProductOnObjects" Label="for Is" />
 #! * <Ref BookName="MonoidalCategories" Func="TensorUnit" Label="for Is" />
 #! * <Ref BookName="CAP" Func="TerminalObject" Label="for Is" />