Merge pull request #318 from mohamed-barakat/devel

homalg-project · Jan 21, 2023 · cd5d11b · cd5d11b
2 parents f1e0cec + d62495d
commit cd5d11b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FunctorCategories",
 Subtitle := "Categories of functors",
-Version := "2023.01-06",
+Version := "2023.01-07",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),

diff --git a/gap/PreSheaves.gi b/gap/PreSheaves.gi
@@ -1366,7 +1366,9 @@ InstallMethodWithCache( PreSheavesOfFpEnrichedCategory,
                                       rho_vals[i] ) );
 
                 mor := DirectProductFunctorial( H,
-                               mors );
+                               List( mors, Source ),
+                               mors,
+                               List( mors, Range ) );
 
                 return LiftAlongMonomorphism( H,
                                emb_range,