Merge pull request #1074 from TKuh/adjunction_maps_docu

Add missing arguments of WithGiven* versions of adjunction maps in documentation

CartesianCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CartesianCategories",
 Subtitle := "Cartesian and cocartesian categories and various subdoctrines",
-Version := "2022.09-08",
+Version := "2022.09-09",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
@@ -102,7 +102,7 @@ Dependencies := rec(
                 [ "CAP", ">= 2022.09-17" ],
                 ],
   SuggestedOtherPackages := [
-                [ "MonoidalCategories", ">= 2022.09-03" ],
+                [ "MonoidalCategories", ">= 2022.09-11" ],
                 ],
   ExternalConditions := [ ],
 ),

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 v2022.09-06
+* from MonoidalCategories v2022.09-11

CartesianCategories/gap/CartesianClosedCategories.gd

@@ -104,7 +104,7 @@ DeclareOperation( "DirectProductToExponentialAdjunctionMap",
 #! The output is a morphism $g: a \rightarrow \mathrm{Exponential}(b,c)$
 #! corresponding to $f$ under the direct product-exponential adjunction.
 #! @Returns a morphism in $\mathrm{Hom}( a, \mathrm{Exponential}(b,c) )$.
-#! @Arguments a, b, f
+#! @Arguments a, b, f, i
 DeclareOperation( "DirectProductToExponentialAdjunctionMapWithGivenExponential",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );
 
@@ -122,7 +122,7 @@ DeclareOperation( "ExponentialToDirectProductAdjunctionMap",
 #! The output is a morphism $f: a \times b \rightarrow c$ corresponding to $g$ under the
 #! direct product-exponential adjunction.
 #! @Returns a morphism in $\mathrm{Hom}(a \times b, c)$.
-#! @Arguments b, c, g
+#! @Arguments b, c, g, t
 DeclareOperation( "ExponentialToDirectProductAdjunctionMapWithGivenDirectProduct",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );
 

CartesianCategories/gap/CocartesianCoclosedCategories.gd

@@ -102,7 +102,7 @@ DeclareOperation( "CoproductToCoexponentialAdjunctionMap",
 #! The output is a morphism $f: \mathrm{Coexponential}(a,b) \rightarrow c$
 #! corresponding to $g$ under the coexponential-coproduct adjunction.
 #! @Returns a morphism in $\mathrm{Hom}( \mathrm{Coexponential}(a,b), c )$.
-#! @Arguments c, b, g
+#! @Arguments c, b, g, i
 DeclareOperation( "CoproductToCoexponentialAdjunctionMapWithGivenCoexponential",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );
 
@@ -120,7 +120,7 @@ DeclareOperation( "CoexponentialToCoproductAdjunctionMap",
 #! The output is a morphism $g: a \rightarrow c \sqcup b$ corresponding to $f$ under the
 #! coexponential-coproduct adjunction.
 #! @Returns a morphism in $\mathrm{Hom}(a, c \sqcup b)$.
-#! @Arguments a, b, f
+#! @Arguments a, b, f, t
 DeclareOperation( "CoexponentialToCoproductAdjunctionMapWithGivenCoproduct",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );
 

MonoidalCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "MonoidalCategories",
 Subtitle := "Monoidal and monoidal (co)closed categories",
-Version := "2022.09-10",
+Version := "2022.09-11",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

MonoidalCategories/gap/ClosedMonoidalCategories.gd

@@ -101,7 +101,7 @@ DeclareOperation( "TensorProductToInternalHomAdjunctionMap",
 #! The output is a morphism $g: a \rightarrow \mathrm{\underline{Hom}}(b,c)$
 #! corresponding to $f$ under the tensor hom adjunction.
 #! @Returns a morphism in $\mathrm{Hom}( a, \mathrm{\underline{Hom}}(b,c) )$.
-#! @Arguments a, b, f
+#! @Arguments a, b, f, i
 DeclareOperation( "TensorProductToInternalHomAdjunctionMapWithGivenInternalHom",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );
 
@@ -119,7 +119,7 @@ DeclareOperation( "InternalHomToTensorProductAdjunctionMap",
 #! The output is a morphism $f: a \otimes b \rightarrow c$ corresponding to $g$ under the
 #! tensor hom adjunction.
 #! @Returns a morphism in $\mathrm{Hom}(a \otimes b, c)$.
-#! @Arguments b, c, g
+#! @Arguments b, c, g, t
 DeclareOperation( "InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );
 

MonoidalCategories/gap/CoclosedMonoidalCategories.gd

@@ -99,7 +99,7 @@ DeclareOperation( "TensorProductToInternalCoHomAdjunctionMap",
 #! The output is a morphism $f: \mathrm{\underline{coHom}}(a,b) \rightarrow c$
 #! corresponding to $g$ under the cohom tensor adjunction.
 #! @Returns a morphism in $\mathrm{Hom}( \mathrm{\underline{coHom}}(a,b), c )$.
-#! @Arguments c, b, g
+#! @Arguments c, b, g, i
 DeclareOperation( "TensorProductToInternalCoHomAdjunctionMapWithGivenInternalCoHom",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );
 
@@ -117,7 +117,7 @@ DeclareOperation( "InternalCoHomToTensorProductAdjunctionMap",
 #! The output is a morphism $g: a \rightarrow c \otimes b$ corresponding to $f$ under the
 #! cohom tensor adjunction.
 #! @Returns a morphism in $\mathrm{Hom}(a, c \otimes b)$.
-#! @Arguments a, b, f
+#! @Arguments a, b, f, t
 DeclareOperation( "InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct",
                   [ IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject ] );