fix and complete commit 3956135

Author: mohamed-barakat

AttributeCategoryForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "AttributeCategoryForCAP",
 Subtitle := "Automatic enhancement with attributes of a CAP category",
-Version := "2023.02-01",
+Version := "2023.02-02",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 
@@ -81,7 +81,7 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ],
-                           [ "CAP", ">= 2021.07-02" ],
+                           [ "CAP", ">= 2023.02-04" ],
                            [ "MonoidalCategories", ">= 2019.01.16" ],
                    ],
   SuggestedOtherPackages := [ ],

AttributeCategoryForCAP/gap/AttributeCategory.gi

@@ -488,7 +488,7 @@ InstallGlobalFunction( CAP_INTERNAL_DERIVE_STRUCTURE_FUNCTIONS_OF_UNIVERSAL_OBJE
         end );
 
         derivation_record.FiberProduct := rec(
-          uses := [ "FiberProductEmbeddingInDirectSum", "DirectSum" ],
+          uses := Concatenation( List( CAP_INTERNAL_METHOD_RECORD_REPLACEMENTS.FiberProductEmbeddingInDirectSum, a -> a[1] ), [ "DirectSum" ] ),
           derivation := function( diagram, fiber_product )
               local underlying_diagram, direct_sum_diagram;
 
@@ -532,7 +532,7 @@ InstallGlobalFunction( CAP_INTERNAL_DERIVE_STRUCTURE_FUNCTIONS_OF_UNIVERSAL_OBJE
         end );
 
         derivation_record.Pushout := rec(
-          uses := [ "PushoutProjectionFromDirectSum", "DirectSum" ],
+          uses := Concatenation( List( CAP_INTERNAL_METHOD_RECORD_REPLACEMENTS.PushoutProjectionFromDirectSum, a -> a[1] ), [ "DirectSum" ] ),
           derivation := function( diagram, pushout )
               local underlying_diagram, direct_sum_diagram;
 

CAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.02-03",
+Version := "2023.02-04",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

CAP/gap/UniversalObjects.gi

@@ -553,6 +553,15 @@ InstallOtherMethod( FiberProductEmbeddingInDirectSum,
 
 end );
 
+CAP_INTERNAL_ADD_REPLACEMENTS_FOR_METHOD_RECORD(
+  rec(
+    FiberProductEmbeddingInDirectSum :=
+      [ [ "ProjectionInFactorOfFiberProduct", 2 ],
+        [ "UniversalMorphismIntoDirectSum", 1 ],
+        [ "FiberProduct", 1 ] ],
+  )
+);
+
 ####################################
 ##
 ## Coequalizer
@@ -882,6 +891,15 @@ InstallOtherMethod( PushoutProjectionFromDirectSum,
 
 end );
 
+CAP_INTERNAL_ADD_REPLACEMENTS_FOR_METHOD_RECORD(
+  rec(
+    PushoutProjectionFromDirectSum :=
+      [ [ "InjectionOfCofactorOfPushout", 2 ],
+        [ "UniversalMorphismFromDirectSum", 1 ],
+        [ "Pushout", 1 ] ],
+  )
+);
+
 ####################################
 ##
 ## Coimage