AddObject/Morphism/Constructor/Datum

Author: mohamed-barakat

PackageInfo.g

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

gap/FinSetsForCAP.gi

@@ -409,6 +409,38 @@ end );
 InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_FIN_SETS,
     function ( category_of_finite_sets )
 
+##
+AddObjectConstructor( category_of_finite_sets,
+  function ( category_of_finite_sets, set )
+    
+    return FinSetNC( category_of_finite_sets, set );
+    
+end );
+
+##
+AddObjectDatum( category_of_finite_sets,
+  function ( category_of_finite_sets, set )
+    
+    return AsList( set );
+    
+end );
+
+##
+AddMorphismConstructor( category_of_finite_sets,
+  function ( category_of_finite_sets, source, map, range )
+    
+    return MapOfFinSets( source, map, range );
+    
+end );
+
+##
+AddMorphismDatum( category_of_finite_sets,
+  function ( category_of_finite_sets, map )
+    
+    return AsList( map );
+    
+end );
+
 ##
 AddIsWellDefinedForObjects( category_of_finite_sets,
   function ( category_of_finite_sets, set )

gap/SkeletalFinSetsForCAP.gi

@@ -148,6 +148,39 @@ end );
 InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_SKELETAL_FIN_SETS,
     function ( SkeletalFinSets )
         local ExplicitCoequalizer;
+
+##
+AddObjectConstructor( SkeletalFinSets,
+  function ( SkeletalFinSets, n )
+    
+    return FinSet( SkeletalFinSets, n );
+    
+end );
+
+##
+AddObjectDatum( SkeletalFinSets,
+  function ( SkeletalFinSets, n )
+    
+    return Length( n );
+    
+end );
+
+##
+AddMorphismConstructor( SkeletalFinSets,
+  function ( SkeletalFinSets, source, map, range )
+    
+    return MapOfFinSets( source, map, range );
+    
+end );
+
+##
+AddMorphismDatum( SkeletalFinSets,
+  function ( SkeletalFinSets, map )
+    
+    return AsList( map );
+    
+end );
+
 ##
 AddIsWellDefinedForObjects( SkeletalFinSets,
    { cat, n } -> Length( n ) >= 0 );