Merge pull request #1781 from mohamed-barakat/IsLinearClosureOfACategory

declared categorical property IsLinearClosureOfACategory

Author: mohamed-barakat

LinearClosuresForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LinearClosuresForCAP",
 Subtitle := "Linear closures",
-Version := "2025.07-02",
+Version := "2025.07-03",
 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",
 

LinearClosuresForCAP/gap/LinearClosure.gd

@@ -21,6 +21,14 @@ DeclareCategory( "IsLinearClosureMorphism",
 DeclareCategory( "IsLinearClosure",
                  IsCapCategory );
 
+#! @Description
+#!  The property of <A>C</A> being a linear closure of a category.
+#! @Arguments C
+DeclareProperty( "IsLinearClosureOfACategory",
+        IsCapCategory );
+
+AddCategoricalProperty( [ "IsLinearClosureOfACategory", "IsLinearClosureOfACategory" ] );
+
 DeclareGlobalFunction( "LINEAR_CLOSURE_CONSTRUCTOR_USING_CategoryOfRows" );
 
 DeclareGlobalFunction( "LINEAR_CLOSURE_CONSTRUCTOR" );

LinearClosuresForCAP/gap/LinearClosure.gi

@@ -89,6 +89,10 @@ InstallGlobalFunction( LINEAR_CLOSURE_CONSTRUCTOR_USING_CategoryOfRows,
 
     SetUnderlyingCategory( category, underlying_category );
 
+    if cocycle = fail then
+        SetIsLinearClosureOfACategory( category, true );
+    fi;
+    
     SetIsLinearCategoryOverCommutativeRing( category, true );
 
     SetIsAbCategory( category, true );