Merge pull request #1714 from mohamed-barakat/TerminalCategoryCocarte…

…sian

fixed TerminalCategoryCocartesian.tst

CartesianCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CartesianCategories",
 Subtitle := "Cartesian and cocartesian categories and various subdoctrines",
-Version := "2024.09-04",
+Version := "2025.01-01",
 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,14 +101,14 @@ Dependencies := rec(
                 [ "CAP", ">= 2024.06-04" ],
                 ],
   SuggestedOtherPackages := [
-                [ "MonoidalCategories", ">= 2024.09-02" ],
+                [ "MonoidalCategories", ">= 2025.01-01" ],
                 ],
   ExternalConditions := [ ],
 ),
 
 Extensions := [
   rec(
-    needed := [ [ "MonoidalCategories", ">= 2024.02-01" ] ],
+    needed := [ [ "MonoidalCategories", ">= 2025.01-01" ] ],
     filename := "gap/Tools.gi",
   ),
 ],

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 v2024.09-02
+* from MonoidalCategories v2025.01-01

CartesianCategories/tst/TerminalCategoryCocartesian.tst

@@ -100,20 +100,20 @@ gap> d := "d" / T;;
 gap> u := InitialObject( T );;
 
 #
-gap> a_product_b := Coproduct( a, b );;
-gap> c_product_d := Coproduct( c, d );;
+gap> a_coproduct_b := Coproduct( a, b );;
+gap> c_coproduct_d := Coproduct( c, d );;
 
 #
-gap> hom_ab := CoexponentialOnObjects( a, b );;
-gap> hom_cd := CoexponentialOnObjects( c, d );;
+gap> cohom_ab := CoexponentialOnObjects( a, b );;
+gap> cohom_cd := CoexponentialOnObjects( c, d );;
 
 #
 gap> alpha := MorphismConstructor( a, "f_ab", b );;
 gap> beta := MorphismConstructor( c, "f_cd", d );;
-gap> gamma := MorphismConstructor( a_product_b, "f_abu", u );;
-gap> delta := MorphismConstructor( c_product_d, "f_cdu", u );;
-gap> epsilon := MorphismConstructor( u, "f_uhomab", hom_ab );;
-gap> zeta := MorphismConstructor( u, "f_uhomcd", hom_cd );;
+gap> gamma := MorphismConstructor( u, "f_abu", a_coproduct_b );;
+gap> delta := MorphismConstructor( u, "f_cdu", c_coproduct_d );;
+gap> epsilon := MorphismConstructor( cohom_ab, "f_uhomab", u );;
+gap> zeta := MorphismConstructor( cohom_cd, "f_uhomcd", u );;
 
 #
 gap> CocartesianCoclosedCategoriesTest( T, opposite, a, b, c, d, alpha, beta, gamma, delta, epsilon, zeta );;
@@ -123,20 +123,20 @@ gap> CocartesianCoclosedCategoriesTest( T, opposite_primitive, a, b, c, d, alpha
 gap> z := ZeroObject( T );;
 
 #
-gap> z_product_a := Coproduct( z, a );;
-gap> a_product_z := Coproduct( a, z );;
+gap> z_coproduct_a := Coproduct( z, a );;
+gap> a_coproduct_z := Coproduct( a, z );;
 
 #
-gap> hom_za := CoexponentialOnObjects( z, a );;
-gap> hom_az := CoexponentialOnObjects( a, z );;
+gap> cohom_za := CoexponentialOnObjects( z, a );;
+gap> cohom_az := CoexponentialOnObjects( a, z );;
 
 #
 gap> alpha := MorphismConstructor( z, "f_za", a );;
 gap> beta := MorphismConstructor( a, "f_az", z );;
-gap> gamma := MorphismConstructor( z_product_a, "f_zau", u );;
-gap> delta := MorphismConstructor( a_product_z, "f_azu", u );;
-gap> epsilon := MorphismConstructor( u, "f_uhomza", hom_za );;
-gap> zeta := MorphismConstructor( u, "f_uhomaz", hom_az );;
+gap> gamma := MorphismConstructor( u, "f_zau", z_coproduct_a );;
+gap> delta := MorphismConstructor( u, "f_azu", a_coproduct_z );;
+gap> epsilon := MorphismConstructor( cohom_za, "f_uhomza", u );;
+gap> zeta := MorphismConstructor( cohom_az, "f_uhomaz", u );;
 
 #
 gap> CocartesianCoclosedCategoriesTest( T, opposite, z, a, a, z, alpha, beta, gamma, delta, epsilon, zeta );;