simplified MonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject

for SkeletalFinSets

Author: mohamed-barakat

gap/SkeletalFinSetsForCAP.gi

@@ -689,7 +689,7 @@ end );
 AddMonomorphismIntoSomeInjectiveObjectWithGivenSomeInjectiveObject( SkeletalFinSets,
   function ( cat, M, injective_object )
 
-    return MapOfFinSets( M, List( M, x -> x ), injective_object );
+    return MapOfFinSets( M, AsList( M ), injective_object );
 
 end );
 

gap/precompiled_categories/CategoryOfSkeletalFinSetsPrecompiled.gi

@@ -567,9 +567,7 @@ end
 
 ########
 function ( cat_1, A_1, I_1 )
-    return MapOfFinSets( A_1, List( A_1, function ( x_2 )
-              return x_2;
-          end ), I_1 );
+    return MapOfFinSets( A_1, AsList( A_1 ), I_1 );
 end
 ########