Merge pull request #62 from mohamed-barakat/Skeletal

SetIsSkeletalCategory( SkeletalFinSets, true )

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2020.11-01",
+Version := "2020.11-02",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

gap/SkeletalFinSetsForCAP.gi

@@ -21,6 +21,8 @@ InstallMethod( CategoryOfSkeletalFinSets,
 
     SetFilterObj( cat, IsCategoryOfSkeletalFinSets );
 
+    SetIsSkeletalCategory( cat, true );
+    
     SetIsElementaryTopos( cat, true );
 
     AddObjectRepresentation( cat, IsSkeletalFiniteSet and HasLength and HasAsList );