From e982e45f526cf6ba94a68adc9c21ac633ebe3f2c Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Thu, 5 Oct 2023 11:45:44 +0200
Subject: [PATCH] improved/fixed
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianCategory

resolves https://github.com/homalg-project/CAP_project/issues/1473
---
 CAP/PackageInfo.g                       | 2 +-
 CAP/gap/ConstructiveCategoriesRecord.gi | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
index a2b75b911f..e743d0418e 100644
--- a/CAP/PackageInfo.g
+++ b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2025.01-01",
+Version := "2025.01-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/CAP/gap/ConstructiveCategoriesRecord.gi b/CAP/gap/ConstructiveCategoriesRecord.gi
index cf9feef420..2d2160d7db 100644
--- a/CAP/gap/ConstructiveCategoriesRecord.gi
+++ b/CAP/gap/ConstructiveCategoriesRecord.gi
@@ -127,6 +127,7 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianCategory := Concatenation(
     [
         "LiftAlongMonomorphism",
         "ColiftAlongEpimorphism",
+        "InverseOfMorphismFromCoimageToImage",
     ]
 );