Merge pull request #247 from mohamed-barakat/SetIsStrictCartesianCate…

…gory added missing mathematical properties: SetIsStrictC(oc)artesianCategory
homalg-project · Feb 26, 2024 · 31c9b33 · 31c9b33
2 parents c9ed4a9 + 0f7bf00
commit 31c9b33
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/PackageInfo.g b/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",

diff --git a/gap/SkeletalFinSets.gi b/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 );