Merge pull request #1784 from mohamed-barakat/no_with_given

mohamed-barakat · web-flow · commit e8d24456bcb2 · 2025-07-31T22:39:22.000+02:00
comply with CAP: remove WithGiven-methods from CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD
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.07-06",
+Version := "2025.07-07",
 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.07-06
+* from MonoidalCategories v2025.07-07
diff --git a/CartesianCategories/gap/CartesianCategoriesProperties.gd b/CartesianCategories/gap/CartesianCategoriesProperties.gd
@@ -23,8 +23,8 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCartesianCategory :=
           Concatenation(
                   ListOfDefiningOperations( "IsCategoryWithTerminalObject" ),
                   [ "DirectProduct",
-                    "ProjectionInFactorOfDirectProductWithGivenDirectProduct",
-                    "UniversalMorphismIntoDirectProductWithGivenDirectProduct",
+                    "ProjectionInFactorOfDirectProduct",
+                    "UniversalMorphismIntoDirectProduct",
                     ] ) );
 
 ## For internal use only:
diff --git a/CartesianCategories/gap/CartesianClosedCategories.gd b/CartesianCategories/gap/CartesianClosedCategories.gd
@@ -21,11 +21,11 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCartesianClosedCategory :=
   Concatenation(
           ListOfDefiningOperations( "IsCartesianCategory" ),
           [ "ExponentialOnObjects",
-            "ExponentialOnMorphismsWithGivenExponentials",
-            "CartesianRightEvaluationMorphismWithGivenSource",
-            "CartesianRightCoevaluationMorphismWithGivenRange",
-            "CartesianLeftEvaluationMorphismWithGivenSource",
-            "CartesianLeftCoevaluationMorphismWithGivenRange"
+            "ExponentialOnMorphisms",
+            "CartesianRightEvaluationMorphism",
+            "CartesianRightCoevaluationMorphism",
+            "CartesianLeftEvaluationMorphism",
+            "CartesianLeftCoevaluationMorphism"
             ] );
 
 #! @Description
diff --git a/CartesianCategories/gap/CocartesianCategoriesProperties.gd b/CartesianCategories/gap/CocartesianCategoriesProperties.gd
@@ -23,8 +23,8 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCocartesianCategory :=
           Concatenation(
                   ListOfDefiningOperations( "IsCategoryWithInitialObject" ),
                   [ "Coproduct",
-                    "InjectionOfCofactorOfCoproductWithGivenCoproduct",
-                    "UniversalMorphismFromCoproductWithGivenCoproduct",
+                    "InjectionOfCofactorOfCoproduct",
+                    "UniversalMorphismFromCoproduct",
                     ] ) );
 
 ## For internal use only:
diff --git a/CartesianCategories/gap/CocartesianCoclosedCategories.gd b/CartesianCategories/gap/CocartesianCoclosedCategories.gd
@@ -21,11 +21,11 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCocartesianCoclosedCategory :=
   Concatenation(
           ListOfDefiningOperations( "IsCocartesianCategory" ),
           [ "CoexponentialOnObjects",
-            "CoexponentialOnMorphismsWithGivenCoexponentials",
-            "CocartesianRightEvaluationMorphismWithGivenRange",
-            "CocartesianRightCoevaluationMorphismWithGivenSource",
-            "CocartesianLeftEvaluationMorphismWithGivenRange",
-            "CocartesianLeftCoevaluationMorphismWithGivenSource"
+            "CoexponentialOnMorphisms",
+            "CocartesianRightEvaluationMorphism",
+            "CocartesianRightCoevaluationMorphism",
+            "CocartesianLeftEvaluationMorphism",
+            "CocartesianLeftCoevaluationMorphism"
             ] );
 
 #! @Description
diff --git a/CartesianCategories/gap/CodistributiveCocartesianCategoriesProperties.gd b/CartesianCategories/gap/CodistributiveCocartesianCategoriesProperties.gd
@@ -17,6 +17,6 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCodistributiveCategory :=
   DuplicateFreeList(
           Concatenation(
                   ListOfDefiningOperations( "IsBicartesianCategory" ),
-                  [ "LeftCocartesianCodistributivityFactoringWithGivenObjects",
-                    "RightCocartesianCodistributivityFactoringWithGivenObjects",
+                  [ "LeftCocartesianCodistributivityFactoring",
+                    "RightCocartesianCodistributivityFactoring",
                     ] ) );
diff --git a/CartesianCategories/gap/DistributiveCartesianCategoriesProperties.gd b/CartesianCategories/gap/DistributiveCartesianCategoriesProperties.gd
@@ -17,6 +17,6 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsDistributiveCategory :=
   DuplicateFreeList(
           Concatenation(
                   ListOfDefiningOperations( "IsBicartesianCategory" ),
-                  [ "LeftCartesianDistributivityExpandingWithGivenObjects",
-                    "RightCartesianDistributivityExpandingWithGivenObjects",
+                  [ "LeftCartesianDistributivityExpanding",
+                    "RightCartesianDistributivityExpanding",
                     ] ) );
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.07-06",
+Version := "2025.07-07",
 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/BraidedMonoidalCategoriesProperties.gi b/MonoidalCategories/gap/BraidedMonoidalCategoriesProperties.gi
@@ -7,8 +7,8 @@
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsBraidedMonoidalCategory :=
   Concatenation(
           ListOfDefiningOperations( "IsMonoidalCategory" ),
-          [ "BraidingWithGivenTensorProducts",
-            "BraidingInverseWithGivenTensorProducts"
+          [ "Braiding",
+            "BraidingInverse"
             ] );
 
 InstallTrueMethod( IsMonoidalCategory, IsBraidedMonoidalCategory );
diff --git a/MonoidalCategories/gap/ClosedMonoidalCategories.gd b/MonoidalCategories/gap/ClosedMonoidalCategories.gd
@@ -18,11 +18,11 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsClosedMonoidalCategory :=
   Concatenation(
           ListOfDefiningOperations( "IsMonoidalCategory" ),
           [ "InternalHomOnObjects",
-            "InternalHomOnMorphismsWithGivenInternalHoms",
-            "ClosedMonoidalRightEvaluationMorphismWithGivenSource",
-            "ClosedMonoidalRightCoevaluationMorphismWithGivenRange",
-            "ClosedMonoidalLeftEvaluationMorphismWithGivenSource",
-            "ClosedMonoidalLeftCoevaluationMorphismWithGivenRange"
+            "InternalHomOnMorphisms",
+            "ClosedMonoidalRightEvaluationMorphism",
+            "ClosedMonoidalRightCoevaluationMorphism",
+            "ClosedMonoidalLeftEvaluationMorphism",
+            "ClosedMonoidalLeftCoevaluationMorphism"
             ] );
 
 #! @Description
diff --git a/MonoidalCategories/gap/CoclosedMonoidalCategories.gd b/MonoidalCategories/gap/CoclosedMonoidalCategories.gd
@@ -18,11 +18,11 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCoclosedMonoidalCategory :=
   Concatenation(
           ListOfDefiningOperations( "IsMonoidalCategory" ),
           [ "InternalCoHomOnObjects",
-            "InternalCoHomOnMorphismsWithGivenInternalCoHoms",
-            "CoclosedMonoidalRightEvaluationMorphismWithGivenRange",
-            "CoclosedMonoidalRightCoevaluationMorphismWithGivenSource",
-            "CoclosedMonoidalLeftEvaluationMorphismWithGivenRange",
-            "CoclosedMonoidalLeftCoevaluationMorphismWithGivenSource"
+            "InternalCoHomOnMorphisms",
+            "CoclosedMonoidalRightEvaluationMorphism",
+            "CoclosedMonoidalRightCoevaluationMorphism",
+            "CoclosedMonoidalLeftEvaluationMorphism",
+            "CoclosedMonoidalLeftCoevaluationMorphism"
             ] );
 
 #! @Description
diff --git a/MonoidalCategories/gap/LeftClosedMonoidalCategories.gd b/MonoidalCategories/gap/LeftClosedMonoidalCategories.gd
@@ -18,9 +18,9 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsLeftClosedMonoidalCategory :=
   Concatenation(
           ListOfDefiningOperations( "IsMonoidalCategory" ),
           [ "LeftInternalHomOnObjects",
-            "LeftInternalHomOnMorphismsWithGivenLeftInternalHoms",
-            "LeftClosedMonoidalEvaluationMorphismWithGivenSource",
-            "LeftClosedMonoidalCoevaluationMorphismWithGivenRange"
+            "LeftInternalHomOnMorphisms",
+            "LeftClosedMonoidalEvaluationMorphism",
+            "LeftClosedMonoidalCoevaluationMorphism"
             ] );
 
 #! @Description
diff --git a/MonoidalCategories/gap/LeftCoclosedMonoidalCategories.gd b/MonoidalCategories/gap/LeftCoclosedMonoidalCategories.gd
@@ -18,9 +18,9 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsLeftCoclosedMonoidalCategory :=
   Concatenation(
           ListOfDefiningOperations( "IsMonoidalCategory" ),
           [ "LeftInternalCoHomOnObjects",
-            "LeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms",
-            "LeftCoclosedMonoidalEvaluationMorphismWithGivenRange",
-            "LeftCoclosedMonoidalCoevaluationMorphismWithGivenSource"
+            "LeftInternalCoHomOnMorphisms",
+            "LeftCoclosedMonoidalEvaluationMorphism",
+            "LeftCoclosedMonoidalCoevaluationMorphism"
             ] );
 
 #! @Description
diff --git a/MonoidalCategories/gap/MonoidalCategoriesProperties.gd b/MonoidalCategories/gap/MonoidalCategoriesProperties.gd
@@ -8,14 +8,14 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsMonoidalCategory  :=
   Concatenation(
           ListOfDefiningOperations( "IsCapCategory" ),
           [ "TensorProductOnObjects",
-            "TensorProductOnMorphismsWithGivenTensorProducts",
+            "TensorProductOnMorphisms",
             "TensorUnit",
-            "AssociatorLeftToRightWithGivenTensorProducts",
-            "AssociatorRightToLeftWithGivenTensorProducts",
-            "LeftUnitorWithGivenTensorProduct",
-            "LeftUnitorInverseWithGivenTensorProduct",
-            "RightUnitorWithGivenTensorProduct",
-            "RightUnitorInverseWithGivenTensorProduct"
+            "AssociatorLeftToRight",
+            "AssociatorRightToLeft",
+            "LeftUnitor",
+            "LeftUnitorInverse",
+            "RightUnitor",
+            "RightUnitorInverse"
             ] );
 
 #! @Description
diff --git a/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategoriesProperties.gi b/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategoriesProperties.gi
@@ -8,11 +8,11 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsRigidSymmetricClosedMonoidalCatego
   Concatenation(
           ListOfDefiningOperations( "IsSymmetricClosedMonoidalCategory" ),
           [ "DualOnObjects",
-            "DualOnMorphismsWithGivenDuals",
-            "EvaluationForDualWithGivenTensorProduct",
-            "CoevaluationForDualWithGivenTensorProduct",
-            "TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects",
-            "MorphismFromBidualWithGivenBidual",
+            "DualOnMorphisms",
+            "EvaluationForDual",
+            "CoevaluationForDual",
+            "TensorProductInternalHomCompatibilityMorphismInverse",
+            "MorphismFromBidual",
             ] );
 
 InstallTrueMethod( IsSymmetricClosedMonoidalCategory, IsRigidSymmetricClosedMonoidalCategory );
diff --git a/MonoidalCategories/gap/RigidSymmetricCoclosedMonoidalCategoriesProperties.gi b/MonoidalCategories/gap/RigidSymmetricCoclosedMonoidalCategoriesProperties.gi
@@ -8,11 +8,11 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsRigidSymmetricCoclosedMonoidalCate
   Concatenation(
           ListOfDefiningOperations( "IsSymmetricCoclosedMonoidalCategory" ),
           [ "CoDualOnObjects",
-            "CoDualOnMorphismsWithGivenCoDuals",
-            "CoclosedEvaluationForCoDualWithGivenTensorProduct",
-            "CoclosedCoevaluationForCoDualWithGivenTensorProduct",
-            "InternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects",
-            "MorphismToCoBidualWithGivenCoBidual",
+            "CoDualOnMorphisms",
+            "CoclosedEvaluationForCoDual",
+            "CoclosedCoevaluationForCoDual",
+            "InternalCoHomTensorProductCompatibilityMorphismInverse",
+            "MorphismToCoBidual",
             ] );
 
 InstallTrueMethod( IsSymmetricCoclosedMonoidalCategory, IsRigidSymmetricCoclosedMonoidalCategory );

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	The files of this package which include the line `THIS FILE WAS AUTOMATICALLY GENERATED` in their header have been autogenerated
`2`	`2`
`3`		`-* from MonoidalCategories v2025.07-06`
	`3`	`+* from MonoidalCategories v2025.07-07`