From a9ed7c900cf2f2663808aaccc0bb786ac8573acc Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Wed, 1 Jan 2025 16:29:03 +0100 Subject: [PATCH] fixed (Left)C(oc)losedMonoidalCategoriesTestWithGiven --- MonoidalCategories/PackageInfo.g | 2 +- .../gap/ClosedMonoidalCategoriesTestWithGiven.gi | 4 ++-- .../gap/CoclosedMonoidalCategoriesTestWithGiven.gi | 4 ++-- .../gap/LeftClosedMonoidalCategoriesTestWithGiven.gi | 4 ++-- .../gap/LeftCoclosedMonoidalCategoriesTestWithGiven.gi | 4 ++-- 5 files changed, 9 insertions(+), 9 deletions(-) diff --git a/MonoidalCategories/PackageInfo.g b/MonoidalCategories/PackageInfo.g index b25f32e67e..e0bd1a1cb8 100644 --- a/MonoidalCategories/PackageInfo.g +++ b/MonoidalCategories/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "MonoidalCategories", Subtitle := "Monoidal and monoidal (co)closed categories", -Version := "2024.09-05", +Version := "2025.01-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", diff --git a/MonoidalCategories/gap/ClosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/ClosedMonoidalCategoriesTestWithGiven.gi index 0a7ae0741b..19521f15c5 100644 --- a/MonoidalCategories/gap/ClosedMonoidalCategoriesTestWithGiven.gi +++ b/MonoidalCategories/gap/ClosedMonoidalCategoriesTestWithGiven.gi @@ -62,8 +62,8 @@ InstallGlobalFunction( "ClosedMonoidalCategoriesTestWithGiven", hom_bc_x_a := TensorProductOnObjects( hom_bc, a ); hom_da_x_c := TensorProductOnObjects( hom_da, c ); - cohom_ad := InternalHomOnObjects( a_op, d_op ); - cohom_cb := InternalHomOnObjects( c_op, b_op ); + cohom_ad := InternalCoHomOnObjects( a_op, d_op ); + cohom_cb := InternalCoHomOnObjects( c_op, b_op ); cohom_ad_x_c := TensorProductOnObjects( cohom_ad, c_op ); cohom_cb_x_a := TensorProductOnObjects( cohom_cb, a_op ); diff --git a/MonoidalCategories/gap/CoclosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/CoclosedMonoidalCategoriesTestWithGiven.gi index c5aad47cda..f37279b51f 100644 --- a/MonoidalCategories/gap/CoclosedMonoidalCategoriesTestWithGiven.gi +++ b/MonoidalCategories/gap/CoclosedMonoidalCategoriesTestWithGiven.gi @@ -56,8 +56,8 @@ InstallGlobalFunction( "CoclosedMonoidalCategoriesTestWithGiven", # ################################################## - cohom_bc := InternalHomOnObjects( b, c ); - cohom_da := InternalHomOnObjects( d, a ); + cohom_bc := InternalCoHomOnObjects( b, c ); + cohom_da := InternalCoHomOnObjects( d, a ); cohom_bc_x_d := TensorProductOnObjects( cohom_bc, d ); cohom_da_x_b := TensorProductOnObjects( cohom_da, b ); diff --git a/MonoidalCategories/gap/LeftClosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/LeftClosedMonoidalCategoriesTestWithGiven.gi index c58de797b7..a8ac63f060 100644 --- a/MonoidalCategories/gap/LeftClosedMonoidalCategoriesTestWithGiven.gi +++ b/MonoidalCategories/gap/LeftClosedMonoidalCategoriesTestWithGiven.gi @@ -62,8 +62,8 @@ InstallGlobalFunction( "LeftClosedMonoidalCategoriesTestWithGiven", hom_bc_x_a := TensorProductOnObjects( hom_bc, a ); hom_da_x_c := TensorProductOnObjects( hom_da, c ); - cohom_ad := LeftInternalHomOnObjects( a_op, d_op ); - cohom_cb := LeftInternalHomOnObjects( c_op, b_op ); + cohom_ad := LeftInternalCoHomOnObjects( a_op, d_op ); + cohom_cb := LeftInternalCoHomOnObjects( c_op, b_op ); cohom_ad_x_c := TensorProductOnObjects( cohom_ad, c_op ); cohom_cb_x_a := TensorProductOnObjects( cohom_cb, a_op ); diff --git a/MonoidalCategories/gap/LeftCoclosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/LeftCoclosedMonoidalCategoriesTestWithGiven.gi index fb859f3998..4b3df7393f 100644 --- a/MonoidalCategories/gap/LeftCoclosedMonoidalCategoriesTestWithGiven.gi +++ b/MonoidalCategories/gap/LeftCoclosedMonoidalCategoriesTestWithGiven.gi @@ -56,8 +56,8 @@ InstallGlobalFunction( "LeftCoclosedMonoidalCategoriesTestWithGiven", # ################################################## - cohom_bc := LeftInternalHomOnObjects( b, c ); - cohom_da := LeftInternalHomOnObjects( d, a ); + cohom_bc := LeftInternalCoHomOnObjects( b, c ); + cohom_da := LeftInternalCoHomOnObjects( d, a ); cohom_bc_x_d := TensorProductOnObjects( cohom_bc, d ); cohom_da_x_b := TensorProductOnObjects( cohom_da, b );