Merge pull request #1500 from mohamed-barakat/Adjunction

added output_range/source_getter_string for the various adjunctions
homalg-project · Nov 5, 2023 · 31d981c · 31d981c
2 parents 87c5cc8 + b440267
commit 31d981c
Show file tree

Hide file tree

Showing 9 changed files with 48 additions and 24 deletions.
diff --git a/CartesianCategories/PackageInfo.g b/CartesianCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CartesianCategories",
 Subtitle := "Cartesian and cocartesian categories and various subdoctrines",
-Version := "2023.11-01",
+Version := "2023.11-02",
 Date := ~.Version{[ 1 .. 10 ]},
 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",
@@ -101,7 +101,7 @@ Dependencies := rec(
                 [ "CAP", ">= 2023.08-16" ],
                 ],
   SuggestedOtherPackages := [
-                [ "MonoidalCategories", ">= 2023.11-01" ],
+                [ "MonoidalCategories", ">= 2023.11-02" ],
                 ],
   ExternalConditions := [ ],
 ),

diff --git a/CartesianCategories/gap/AUTOGENERATED_FROM.md b/CartesianCategories/gap/AUTOGENERATED_FROM.md
@@ -1,3 +1,3 @@
 The files of this package which include the line `THIS FILE WAS AUTOMATICALLY GENERATED` in their header have been autogenerated
 
-* from MonoidalCategories v2023.11-01
+* from MonoidalCategories v2023.11-02
diff --git a/CartesianCategories/gap/CartesianClosedCategoriesMethodRecord.gi b/CartesianCategories/gap/CartesianClosedCategoriesMethodRecord.gi
@@ -105,6 +105,9 @@ DirectProductToExponentialAdjunctionMap := rec(
   input_arguments_names := [ "cat", "a", "b", "f" ],
   output_source_getter_string := "a",
   output_source_getter_preconditions := [ ],
+  output_range_getter_string := "ExponentialOnObjects( cat, b, Range( f ) )",
+  output_range_getter_preconditions := [ [ "ExponentialOnObjects", 1 ] ],
+  with_given_object_position := "Range",
   dual_operation := "CoproductToCoexponentialAdjunctionMap",
   dual_arguments_reversed := false,
   # Test in CartesianClosedCategoriesTest
@@ -126,8 +129,11 @@ ExponentialToDirectProductAdjunctionMap := rec(
   filter_list := [ "category", "object", "object", "morphism" ],
   return_type := "morphism",
   input_arguments_names := [ "cat", "b", "c", "g" ],
+  output_source_getter_string := "BinaryDirectProduct( cat, Source( g ), b )",
+  output_source_getter_preconditions := [ [ "DirectProduct", 1 ] ],
   output_range_getter_string := "c",
   output_range_getter_preconditions := [ ],
+  with_given_object_position := "Source",
   dual_operation := "CoexponentialToCoproductAdjunctionMap",
   dual_preprocessor_func := { cat, a, b, g } -> NTuple( 4, Opposite( cat ), Opposite( b ), Opposite( a ), Opposite( g ) ),
   dual_arguments_reversed := false,

diff --git a/CartesianCategories/gap/CocartesianCoclosedCategoriesMethodRecord.gi b/CartesianCategories/gap/CocartesianCoclosedCategoriesMethodRecord.gi
@@ -103,8 +103,11 @@ CoproductToCoexponentialAdjunctionMap := rec(
   filter_list := [ "category", "object", "object", "morphism" ],
   return_type := "morphism",
   input_arguments_names := [ "cat", "c", "b", "g" ],
+  output_source_getter_string := "CoexponentialOnObjects( cat, Source( g ), b )",
+  output_source_getter_preconditions := [ [ "CoexponentialOnObjects", 1 ] ],
   output_range_getter_string := "c",
   output_range_getter_preconditions := [ ],
+  with_given_object_position := "Source",
   dual_operation := "DirectProductToExponentialAdjunctionMap",
   dual_arguments_reversed := false,
   # Test in CocartesianCoclosedCategoriesTest
@@ -128,6 +131,9 @@ CoexponentialToCoproductAdjunctionMap := rec(
   input_arguments_names := [ "cat", "a", "b", "f" ],
   output_source_getter_string := "a",
   output_source_getter_preconditions := [ ],
+  output_range_getter_string := "BinaryCoproduct( cat, Range( f ), b )",
+  output_range_getter_preconditions := [ [ "Coproduct", 1 ] ],
+  with_given_object_position := "Range",
   dual_operation := "ExponentialToDirectProductAdjunctionMap",
   dual_preprocessor_func := { cat, a, b, f } -> NTuple( 4, Opposite( cat ), Opposite( b ), Opposite( a ), Opposite( f ) ),
   dual_arguments_reversed := false,

diff --git a/LinearAlgebraForCAP/PackageInfo.g b/LinearAlgebraForCAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LinearAlgebraForCAP",
 Subtitle := "Category of Matrices over a Field for CAP",
-Version := "2023.10-04",
+Version := "2023.11-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",
 
@@ -90,7 +90,7 @@ Dependencies := rec(
                            [ "MatricesForHomalg", ">= 2023.01-01" ],
                            [ "GaussForHomalg", ">= 2021.04-02" ],
                            [ "CAP", ">= 2023.10-07" ],
-                           [ "MonoidalCategories", ">= 2023.10-01" ],
+                           [ "MonoidalCategories", ">= 2023.11-02" ],
                            ],
   SuggestedOtherPackages := [
     [ "FreydCategoriesForCAP", ">= 2022.12-02" ],

diff --git a/LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi b/LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi
@@ -356,7 +356,7 @@ function ( cat_1, a_1, b_1, alpha_1 )
 end
 ########
 
-    , 3716 : IsPrecompiledDerivation := true );
+    , 3616 : IsPrecompiledDerivation := true );
 
     ##
     AddCoLambdaIntroduction( cat,
@@ -383,7 +383,7 @@ function ( cat_1, alpha_1 )
 end
 ########
 
-    , 5927 : IsPrecompiledDerivation := true );
+    , 5625 : IsPrecompiledDerivation := true );
 
     ##
     AddCoRankMorphism( cat,
@@ -411,7 +411,7 @@ function ( cat_1, a_1 )
 end
 ########
 
-    , 7232 : IsPrecompiledDerivation := true );
+    , 6930 : IsPrecompiledDerivation := true );
 
     ##
     AddCoTraceMap( cat,
@@ -439,7 +439,7 @@ function ( cat_1, alpha_1 )
 end
 ########
 
-    , 7131 : IsPrecompiledDerivation := true );
+    , 6829 : IsPrecompiledDerivation := true );
 
     ##
     AddCoastrictionToImage( cat,
@@ -1995,7 +1995,7 @@ function ( cat_1, a_1, b_1, f_1 )
 end
 ########
 
-    , 3513 : IsPrecompiledDerivation := true );
+    , 3413 : IsPrecompiledDerivation := true );
 
     ##
     AddInternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct( cat,
@@ -2073,7 +2073,7 @@ function ( cat_1, b_1, c_1, g_1 )
 end
 ########
 
-    , 3513 : IsPrecompiledDerivation := true );
+    , 3413 : IsPrecompiledDerivation := true );
 
     ##
     AddInternalHomToTensorProductAdjunctionMapWithGivenTensorProduct( cat,
@@ -2881,7 +2881,7 @@ function ( cat_1, a_1 )
 end
 ########
 
-    , 5827 : IsPrecompiledDerivation := true );
+    , 5526 : IsPrecompiledDerivation := true );
 
     ##
     AddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom( cat,
@@ -2908,7 +2908,7 @@ function ( cat_1, a_1, s_1 )
 end
 ########
 
-    , 5826 : IsPrecompiledDerivation := true );
+    , 5525 : IsPrecompiledDerivation := true );
 
     ##
     AddIsomorphismFromInternalCoHomToTensorProductWithCoDualObject( cat,
@@ -3097,7 +3097,7 @@ function ( cat_1, a_1 )
 end
 ########
 
-    , 5827 : IsPrecompiledDerivation := true );
+    , 5526 : IsPrecompiledDerivation := true );
 
     ##
     AddIsomorphismFromObjectToInternalHomWithGivenInternalHom( cat,
@@ -3124,7 +3124,7 @@ function ( cat_1, a_1, r_1 )
 end
 ########
 
-    , 5826 : IsPrecompiledDerivation := true );
+    , 5525 : IsPrecompiledDerivation := true );
 
     ##
     AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram( cat,
@@ -3360,7 +3360,7 @@ function ( cat_1, a_1, b_1, alpha_1 )
 end
 ########
 
-    , 3716 : IsPrecompiledDerivation := true );
+    , 3616 : IsPrecompiledDerivation := true );
 
     ##
     AddLambdaIntroduction( cat,
@@ -3387,7 +3387,7 @@ function ( cat_1, alpha_1 )
 end
 ########
 
-    , 5927 : IsPrecompiledDerivation := true );
+    , 5625 : IsPrecompiledDerivation := true );
 
     ##
     AddLeftDistributivityExpanding( cat,
@@ -4898,7 +4898,7 @@ function ( cat_1, a_1 )
 end
 ########
 
-    , 7232 : IsPrecompiledDerivation := true );
+    , 6930 : IsPrecompiledDerivation := true );
 
     ##
     AddRightDistributivityExpanding( cat,
@@ -5690,7 +5690,7 @@ function ( cat_1, c_1, b_1, g_1 )
 end
 ########
 
-    , 5624 : IsPrecompiledDerivation := true );
+    , 5322 : IsPrecompiledDerivation := true );
 
     ##
     AddTensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom( cat,
@@ -5745,7 +5745,7 @@ function ( cat_1, a_1, b_1, f_1 )
 end
 ########
 
-    , 5624 : IsPrecompiledDerivation := true );
+    , 5322 : IsPrecompiledDerivation := true );
 
     ##
     AddTensorProductToInternalHomAdjunctionMapWithGivenInternalHom( cat,
@@ -5847,7 +5847,7 @@ function ( cat_1, alpha_1 )
 end
 ########
 
-    , 7131 : IsPrecompiledDerivation := true );
+    , 6829 : IsPrecompiledDerivation := true );
 
     ##
     AddUniversalMorphismFromCoequalizer( cat,
@@ -6288,7 +6288,7 @@ function ( cat_1, t_1, a_1, alpha_1 )
 end
 ########
 
-    , 5928 : IsPrecompiledDerivation := true );
+    , 5626 : IsPrecompiledDerivation := true );
 
     ##
     AddUniversalPropertyOfDual( cat,
@@ -6315,7 +6315,7 @@ function ( cat_1, t_1, a_1, alpha_1 )
 end
 ########
 
-    , 5928 : IsPrecompiledDerivation := true );
+    , 5626 : IsPrecompiledDerivation := true );
 
     ##
     AddZeroMorphism( cat,

diff --git a/MonoidalCategories/PackageInfo.g b/MonoidalCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "MonoidalCategories",
 Subtitle := "Monoidal and monoidal (co)closed categories",
-Version := "2023.11-01",
+Version := "2023.11-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/MonoidalCategories/gap/ClosedMonoidalCategoriesMethodRecord.gi b/MonoidalCategories/gap/ClosedMonoidalCategoriesMethodRecord.gi
@@ -102,6 +102,9 @@ TensorProductToInternalHomAdjunctionMap := rec(
   input_arguments_names := [ "cat", "a", "b", "f" ],
   output_source_getter_string := "a",
   output_source_getter_preconditions := [ ],
+  output_range_getter_string := "InternalHomOnObjects( cat, b, Range( f ) )",
+  output_range_getter_preconditions := [ [ "InternalHomOnObjects", 1 ] ],
+  with_given_object_position := "Range",
   dual_operation := "TensorProductToInternalCoHomAdjunctionMap",
   dual_arguments_reversed := false,
   # Test in ClosedMonoidalCategoriesTest
@@ -123,8 +126,11 @@ InternalHomToTensorProductAdjunctionMap := rec(
   filter_list := [ "category", "object", "object", "morphism" ],
   return_type := "morphism",
   input_arguments_names := [ "cat", "b", "c", "g" ],
+  output_source_getter_string := "TensorProductOnObjects( cat, Source( g ), b )",
+  output_source_getter_preconditions := [ [ "TensorProductOnObjects", 1 ] ],
   output_range_getter_string := "c",
   output_range_getter_preconditions := [ ],
+  with_given_object_position := "Source",
   dual_operation := "InternalCoHomToTensorProductAdjunctionMap",
   dual_preprocessor_func := { cat, a, b, g } -> NTuple( 4, Opposite( cat ), Opposite( b ), Opposite( a ), Opposite( g ) ),
   dual_arguments_reversed := false,

diff --git a/MonoidalCategories/gap/CoclosedMonoidalCategoriesMethodRecord.gi b/MonoidalCategories/gap/CoclosedMonoidalCategoriesMethodRecord.gi
@@ -100,8 +100,11 @@ TensorProductToInternalCoHomAdjunctionMap := rec(
   filter_list := [ "category", "object", "object", "morphism" ],
   return_type := "morphism",
   input_arguments_names := [ "cat", "c", "b", "g" ],
+  output_source_getter_string := "InternalCoHomOnObjects( cat, Source( g ), b )",
+  output_source_getter_preconditions := [ [ "InternalCoHomOnObjects", 1 ] ],
   output_range_getter_string := "c",
   output_range_getter_preconditions := [ ],
+  with_given_object_position := "Source",
   dual_operation := "TensorProductToInternalHomAdjunctionMap",
   dual_arguments_reversed := false,
   # Test in CoclosedMonoidalCategoriesTest
@@ -125,6 +128,9 @@ InternalCoHomToTensorProductAdjunctionMap := rec(
   input_arguments_names := [ "cat", "a", "b", "f" ],
   output_source_getter_string := "a",
   output_source_getter_preconditions := [ ],
+  output_range_getter_string := "TensorProductOnObjects( cat, Range( f ), b )",
+  output_range_getter_preconditions := [ [ "TensorProductOnObjects", 1 ] ],
+  with_given_object_position := "Range",
   dual_operation := "InternalHomToTensorProductAdjunctionMap",
   dual_preprocessor_func := { cat, a, b, f } -> NTuple( 4, Opposite( cat ), Opposite( b ), Opposite( a ), Opposite( f ) ),
   dual_arguments_reversed := false,