Merge pull request #647 from mohamed-barakat/IsEquippedWithHomomorphismStructure

added IsEquippedWithHomomorphismStructure

Author: mohamed-barakat

AttributeCategoryForCAP/PackageInfo.g

@@ -10,17 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "AttributeCategoryForCAP",
 Subtitle := "Automatic enhancement with attributes of a CAP category",
-
-Version := Maximum( [
-  "2019.01-16", ## Mohamed's version
-  ## this line prevents merge conflicts
-  "2016.09-14", ## Sebas' version
-  ## this line prevents merge conflicts
-  "2016.09-14", ## Sepp's version
-  ## this line prevents merge conflicts
-  "2021.05-01", ## Fabian's version
-] ),
-
+Version := "2021.08-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 
@@ -92,7 +82,7 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.8",
   NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ],
-                           [ "CAP", ">= 2021.05-01" ],
+                           [ "CAP", ">= 2021.07-02" ],
                            [ "MonoidalCategories", ">= 2019.01.16" ],
                    ],
   SuggestedOtherPackages := [ ],

AttributeCategoryForCAP/gap/AttributeCategory.gi

@@ -326,7 +326,12 @@ InstallGlobalFunction( CAP_INTERNAL_INSTALL_ADDS_FOR_CATEGORY_WITH_ATTRIBUTES,
 
     recnames := ShallowCopy( ListPrimitivelyInstalledOperationsOfCategory( underlying_category ) );
 
-    no_install_list := [
+    no_install_list :=
+           [
+            "ObjectConstructor",
+            "ObjectDatum",
+            "MorphismConstructor",
+            "MorphismDatum",
             "IsEqualForObjects",
             "IsEqualForMorphisms",
             "IsCongruentForMorphisms",

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 ),