simplified UniversalMorphismFromCoproductWithGivenCoproduct

for SkeletalFinSets

Author: mohamed-barakat

gap/SkeletalFinSetsForCAP.gi

@@ -721,13 +721,11 @@ end );
 ##
 AddUniversalMorphismFromCoproductWithGivenCoproduct( SkeletalFinSets,
   function ( cat, L, test_object, tau, S )
-    local T, cmp;
+    local cmp;
 
-    T := Range( tau[1] );
-
-    cmp := Concatenation( List( [ 1 .. Length( tau ) ], x -> AsList( tau[x] ) ) );
-
-    return MapOfFinSets( S, cmp, T );
+    cmp := Concatenation( List( tau, t -> AsList( t ) ) );
+    
+    return MapOfFinSets( S, cmp, test_object );
 
 end );
 

gap/precompiled_categories/CategoryOfSkeletalFinSetsPrecompiled.gi

@@ -708,9 +708,9 @@ end
 
 ########
 function ( cat_1, objects_1, T_1, tau_1, P_1 )
-    return MapOfFinSets( P_1, Concatenation( List( [ 1 .. Length( tau_1 ) ], function ( x_2 )
-                return AsList( tau_1[x_2] );
-            end ) ), Range( tau_1[1] ) );
+    return MapOfFinSets( P_1, Concatenation( List( tau_1, function ( t_2 )
+                return AsList( t_2 );
+            end ) ), T_1 );
 end
 ########