Merge pull request #247 from mohamed-barakat/SetIsStrictCartesianCategory

added missing mathematical properties: SetIsStrictC(oc)artesianCategory

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.02-08",
+Version := "2024.02-09",
 
 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",

gap/SkeletalFinSets.gi

@@ -33,6 +33,9 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
     SetIsCategoryWithDecidableLifts( cat, true );
     SetIsCategoryWithDecidableColifts( cat, true );
 
+    SetIsStrictCartesianCategory( cat, true );
+    SetIsStrictCocartesianCategory( cat, true );
+    
     SetIsElementaryTopos( cat, true );
 
     SetRangeCategoryOfHomomorphismStructure( cat, cat );