SetIsEquippedWithHomomorphismStructure in derived categories

and bump version to v2025.06-01

Author: kamalsaleh

DerivedCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "DerivedCategories",
 Subtitle := "Derived categories of Abelian categories",
-Version := "2023.12-04",
+Version := "2025.06-01",
 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",
 

DerivedCategories/gap/DerivedCategories.gi

@@ -230,6 +230,8 @@ InstallGlobalFunction( ADD_EXTRA_FUNCTIONS_TO_DERIVED_CATEGORY_VIA_LOCALIZATION_
 
       if HasIsAbelianCategory( range_cat ) and IsAbelianCategory( range_cat ) then
 
+        SetIsEquippedWithHomomorphismStructure( derived_cat, true );
+        
         SetRangeCategoryOfHomomorphismStructure( derived_cat, range_cat );
 
         AddDistinguishedObjectOfHomomorphismStructure( derived_cat,
@@ -290,7 +292,14 @@ InstallGlobalFunction( ADD_EXTRA_FUNCTIONS_TO_DERIVED_CATEGORY_VIA_LOCALIZATION_
 
     fi;
 
-    if CanCompute( homotopy_cat, "BasisOfExternalHom" ) and CanCompute( homotopy_cat, "CoefficientsOfMorphism" ) then
+    if CanCompute( homotopy_cat, "BasisOfExternalHom" ) and CanCompute( homotopy_cat, "CoefficientsOfMorphism" )
+          and HasRangeCategoryOfHomomorphismStructure( homotopy_cat ) then
+        
+        SetIsEquippedWithHomomorphismStructure( derived_cat, true );
+        
+        SetRangeCategoryOfHomomorphismStructure( derived_cat, RangeCategoryOfHomomorphismStructure( homotopy_cat ) );
+        
+        SetIsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms( derived_cat, true );
 
         AddBasisOfExternalHom( derived_cat,
           function( derived_cat, B, C )