Merge pull request #1715 from mohamed-barakat/CartesianClosedCategori…

…esTest updated C(oc)losedMonoidalCategoriesTest
homalg-project · Jan 1, 2025 · 2937f8d · 2937f8d
2 parents 235b6b5 + 035b9d1
commit 2937f8d
Show file tree

Hide file tree

Showing 9 changed files with 13 additions and 13 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 := "2025.01-01",
+Version := "2025.01-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",

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 v2025.01-01
+* from MonoidalCategories v2025.01-02
diff --git a/CartesianCategories/gap/CartesianClosedCategoriesTest.gi b/CartesianCategories/gap/CartesianClosedCategoriesTest.gi
@@ -784,8 +784,8 @@ InstallGlobalFunction( "CartesianClosedCategoriesTest",
             coev_ab := CartesianLeftCoevaluationMorphism( a, b );
             coev_ba := CartesianLeftCoevaluationMorphism( b, a );
 
-            id_a_tensor_b := IdentityMorphism( DirectProduct( a, b ) );
-            id_b_tensor_a := IdentityMorphism( DirectProduct( b, a ) );
+            id_a_tensor_b := IdentityMorphism( BinaryDirectProduct( cat, a, b ) );
+            id_b_tensor_a := IdentityMorphism( BinaryDirectProduct( cat, b, a ) );
 
             # Adjoint( a × b → a × b )  ==  a → Exp( b, a × b )
             tensor_to_exp_adjunction_on_id_a_tensor_b := DirectProductToExponentialLeftAdjunctMorphism( a, b, id_a_tensor_b );

diff --git a/CartesianCategories/gap/CocartesianCoclosedCategoriesTest.gi b/CartesianCategories/gap/CocartesianCoclosedCategoriesTest.gi
@@ -716,8 +716,8 @@ InstallGlobalFunction( "CocartesianCoclosedCategoriesTest",
             coca_coev_ab := CocartesianLeftCoevaluationMorphism( a, b );
             coca_coev_ba := CocartesianLeftCoevaluationMorphism( b, a );
 
-            id_a_tensor_b := IdentityMorphism( Coproduct( a, b ) );
-            id_b_tensor_a := IdentityMorphism( Coproduct( b, a ) );
+            id_a_tensor_b := IdentityMorphism( BinaryCoproduct( cat, a, b ) );
+            id_b_tensor_a := IdentityMorphism( BinaryCoproduct( cat, b, a ) );
 
             # Adjoint( a ⊔ b → a ⊔ b )  ==  Coexp( a ⊔ b, b ) → a
             tensor_to_coexp_adjunction_on_id_a_tensor_b := CoproductToCoexponentialLeftAdjunctMorphism( a, b, id_a_tensor_b );

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 := "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/MonoidalCategories/gap/ClosedMonoidalCategoriesTest.gi b/MonoidalCategories/gap/ClosedMonoidalCategoriesTest.gi
@@ -781,8 +781,8 @@ InstallGlobalFunction( "ClosedMonoidalCategoriesTest",
             coev_ab := ClosedMonoidalLeftCoevaluationMorphism( a, b );
             coev_ba := ClosedMonoidalLeftCoevaluationMorphism( b, a );
 
-            id_a_tensor_b := IdentityMorphism( TensorProductOnObjects( a, b ) );
-            id_b_tensor_a := IdentityMorphism( TensorProductOnObjects( b, a ) );
+            id_a_tensor_b := IdentityMorphism( TensorProductOnObjects( cat, a, b ) );
+            id_b_tensor_a := IdentityMorphism( TensorProductOnObjects( cat, b, a ) );
 
             # Adjoint( a ⊗ b → a ⊗ b )  ==  a → Hom( b, a ⊗ b )
             tensor_to_hom_adjunction_on_id_a_tensor_b := TensorProductToInternalHomLeftAdjunctMorphism( a, b, id_a_tensor_b );

diff --git a/MonoidalCategories/gap/CoclosedMonoidalCategoriesTest.gi b/MonoidalCategories/gap/CoclosedMonoidalCategoriesTest.gi
@@ -713,8 +713,8 @@ InstallGlobalFunction( "CoclosedMonoidalCategoriesTest",
             cocl_coev_ab := CoclosedMonoidalLeftCoevaluationMorphism( a, b );
             cocl_coev_ba := CoclosedMonoidalLeftCoevaluationMorphism( b, a );
 
-            id_a_tensor_b := IdentityMorphism( TensorProductOnObjects( a, b ) );
-            id_b_tensor_a := IdentityMorphism( TensorProductOnObjects( b, a ) );
+            id_a_tensor_b := IdentityMorphism( TensorProductOnObjects( cat, a, b ) );
+            id_b_tensor_a := IdentityMorphism( TensorProductOnObjects( cat, b, a ) );
 
             # Adjoint( a ⊗ b → a ⊗ b )  ==  Cohom( a ⊗ b, b ) → a
             tensor_to_cohom_adjunction_on_id_a_tensor_b := TensorProductToInternalCoHomLeftAdjunctMorphism( a, b, id_a_tensor_b );

diff --git a/MonoidalCategories/tst/TerminalCategoryMonoidal.tst b/MonoidalCategories/tst/TerminalCategoryMonoidal.tst
@@ -200,7 +200,7 @@ gap> beta := MorphismConstructor( c, "f_cd", d );;
 gap> gamma := MorphismConstructor( u, "f_uab", a_product_b );;
 gap> delta := MorphismConstructor( u, "f_ucd", c_product_d );;
 gap> epsilon := MorphismConstructor( cohom_ab, "f_cohomabu", u );;
-gap> zeta := MorphismConstructor( cohom_cd, "f_cohomcdu", u);;
+gap> zeta := MorphismConstructor( cohom_cd, "f_cohomcdu", u );;
 
 #
 gap> CoclosedMonoidalCategoriesTest( T, opposite, a, b, c, d, alpha, beta, gamma, delta, epsilon, zeta );;

diff --git a/MonoidalCategories/tst/TerminalCategoryMonoidalLeft.tst b/MonoidalCategories/tst/TerminalCategoryMonoidalLeft.tst
@@ -200,7 +200,7 @@ gap> beta := MorphismConstructor( c, "f_cd", d );;
 gap> gamma := MorphismConstructor( u, "f_uab", a_product_b );;
 gap> delta := MorphismConstructor( u, "f_ucd", c_product_d );;
 gap> epsilon := MorphismConstructor( cohom_ab, "f_cohomabu", u );;
-gap> zeta := MorphismConstructor( cohom_cd, "f_cohomcdu", u);;
+gap> zeta := MorphismConstructor( cohom_cd, "f_cohomcdu", u );;
 
 #
 gap> LeftCoclosedMonoidalCategoriesTest( T, opposite, a, b, c, d, alpha, beta, gamma, delta, epsilon, zeta );;