diff --git a/FreydCategoriesForCAP/PackageInfo.g b/FreydCategoriesForCAP/PackageInfo.g index 91acc8e9f3..c5c725e381 100644 --- a/FreydCategoriesForCAP/PackageInfo.g +++ b/FreydCategoriesForCAP/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "FreydCategoriesForCAP", Subtitle := "Freyd categories - Formal (co)kernels for additive categories", -Version := "2023.11-01", +Version := "2023.11-02", Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ), License := "GPL-2.0-or-later", diff --git a/FreydCategoriesForCAP/gap/LinearClosure.gi b/FreydCategoriesForCAP/gap/LinearClosure.gi index b4733efc79..cc77bcaaa6 100644 --- a/FreydCategoriesForCAP/gap/LinearClosure.gi +++ b/FreydCategoriesForCAP/gap/LinearClosure.gi @@ -685,8 +685,8 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_LINEAR_CLOSURE, finsets := RangeCategoryOfHomomorphismStructure( underlying_category ); - rows := CategoryOfRows( ring : overhead := false ); - + rows := CategoryOfRows( ring : overhead := false, FinalizeCategory := true ); + SetRangeCategoryOfHomomorphismStructure( category, rows ); SetIsEquippedWithHomomorphismStructure( category, true );