added IsEquippedWithHomomorphismStructure

Author: mohamed-barakat

CAP/gap/CAP.gd

@@ -130,7 +130,8 @@ end );
 
 Perform(
 ## This is the CAP_INTERNAL_CATEGORICAL_PROPERTIES_LIST
-    [ [ "IsEnrichedOverCommutativeRegularSemigroup" ],
+    [ [ "IsEquippedWithHomomorphismStructure" ],
+      [ "IsEnrichedOverCommutativeRegularSemigroup" ],
       [ "IsSkeletalCategory" ],
       [ "IsAbCategory" ],
       [ "IsLinearCategoryOverCommutativeRing" ],

CAP/gap/ConstructiveCategoriesRecord.gi

@@ -8,6 +8,13 @@ InstallValue( CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD, rec(
 EveryCategory := [
   "PreCompose", "IdentityMorphism", "IsEqualForObjects", "IsEqualForMorphisms", "IsCongruentForMorphisms" ],
 
+IsEquippedWithHomomorphismStructure := Concatenation( [
+   "DistinguishedObjectOfHomomorphismStructure",
+   "HomomorphismStructureOnObjects",
+   "HomomorphismStructureOnMorphisms",
+   "InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure",
+   "InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism" ], ~.EveryCategory ),
+
 IsEnrichedOverCommutativeRegularSemigroup := Concatenation(
   [ "AdditionForMorphisms" ], ~.EveryCategory ),