standardized code of AddObjectDatum/AddMorphismDatum

Author: mohamed-barakat

gap/SkeletalFinSetsForCAP.gi

@@ -257,31 +257,31 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_SKELETAL_FIN_SETS,
 
 ##
 AddObjectConstructor( SkeletalFinSets,
-  function ( SkeletalFinSets, n )
+  function ( cat, n )
 
-    return FinSet( SkeletalFinSets, n );
+    return FinSet( cat, n );
 
 end );
 
 ##
 AddObjectDatum( SkeletalFinSets,
-  function ( SkeletalFinSets, n )
+  function ( cat, n )
 
     return Length( n );
 
 end );
 
 ##
 AddMorphismConstructor( SkeletalFinSets,
-  function ( SkeletalFinSets, source, map, range )
+  function ( cat, source, map, range )
 
-    return MapOfFinSets( SkeletalFinSets, source, map, range );
+    return MapOfFinSets( cat, source, map, range );
 
 end );
 
 ##
 AddMorphismDatum( SkeletalFinSets,
-  function ( SkeletalFinSets, map )
+  function ( cat, map )
 
     return AsList( map );