Comply with CAP V2026.02-01

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "GradientBasedLearningForCAP",
 Subtitle := "Gradient Based Learning via Category Theory",
-Version := "2026.01-02",
+Version := "2026.02-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", ">= 2024.09-12" ],
+                   [ "CAP", ">= 2026.02-01" ],
                    [ "MonoidalCategories", ">= 2024.04-01" ],
                    [ "CartesianCategories", ">= 2024.04-01" ],
                    [ "ToolsForCategoricalTowers", ">= 2024.06-02" ],

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 93 operations for this category wh\
 #! ich algorithmically
 #! * IsCartesianCategory
 #! * IsLinearCategoryOverCommutativeRing

gap/SkeletalCategoryOfSmoothMaps.autogen.gd

@@ -54,6 +54,7 @@
 #! * <Ref BookName="CAP" Func="IsEqualForObjects" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IsEqualToIdentityMorphism" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IsEqualToZeroMorphism" Label="for Is" />
+#! * <Ref BookName="CAP" Func="IsHomSetInhabited" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IsIdempotent" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IsOne" Label="for Is" />
 #! * <Ref BookName="CAP" Func="IsTerminal" Label="for Is" />