diff --git a/PackageInfo.g b/PackageInfo.g
index 6e6ade3..c345d33 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinGSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite G-sets",
-Version := "2023.07-01",
+Version := "2024.08-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",
diff --git a/gap/SkeletalFinGSetsForCAP.gd b/gap/SkeletalFinGSetsForCAP.gd
index 9754a98..8a6e398 100644
--- a/gap/SkeletalFinGSetsForCAP.gd
+++ b/gap/SkeletalFinGSetsForCAP.gd
@@ -20,14 +20,14 @@ DeclareCategory( "IsSkeletalFinGSetCategory",
 #! of skeletal finite $G$-sets.
 #! @Arguments object
 DeclareCategory( "IsSkeletalFinGSet",
-                 IsCapCategoryObject and IsCellOfSkeletalCategory );
+                 IsCapCategoryObject );
 
 #! @Description
 #! The GAP category of morphisms in the category
 #! of skeletal finite $G$-sets.
 #! @Arguments object
 DeclareCategory( "IsSkeletalFinGSetMap",
-                 IsCapCategoryMorphism and IsCellOfSkeletalCategory );
+                 IsCapCategoryMorphism );
 
 #! @Section Skeletal Attributes