From 16cd42a3294ff8361f2232c10108afef22626d77 Mon Sep 17 00:00:00 2001 From: Tom Kuhmichel Date: Wed, 28 Sep 2022 20:16:13 +0200 Subject: [PATCH] Add missing arguments of WithGiven versions of adjunction maps in documentation This went unnoticed in PR #1050 --- CartesianCategories/PackageInfo.g | 4 ++-- CartesianCategories/gap/AUTOGENERATED_FROM.md | 2 +- CartesianCategories/gap/CartesianClosedCategories.gd | 4 ++-- CartesianCategories/gap/CocartesianCoclosedCategories.gd | 4 ++-- MonoidalCategories/PackageInfo.g | 2 +- MonoidalCategories/gap/ClosedMonoidalCategories.gd | 4 ++-- MonoidalCategories/gap/CoclosedMonoidalCategories.gd | 4 ++-- 7 files changed, 12 insertions(+), 12 deletions(-) diff --git a/CartesianCategories/PackageInfo.g b/CartesianCategories/PackageInfo.g index d50df9a414..fabcc8b2cb 100644 --- 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 := "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 := [ ], ), diff --git a/CartesianCategories/gap/AUTOGENERATED_FROM.md b/CartesianCategories/gap/AUTOGENERATED_FROM.md index f3fdb84d50..b7515c36e7 100644 --- 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 v2022.09-06 +* from MonoidalCategories v2022.09-11 diff --git a/CartesianCategories/gap/CartesianClosedCategories.gd b/CartesianCategories/gap/CartesianClosedCategories.gd index fbb49a9d82..caa46b30a0 100644 --- a/CartesianCategories/gap/CartesianClosedCategories.gd +++ b/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 ] ); diff --git a/CartesianCategories/gap/CocartesianCoclosedCategories.gd b/CartesianCategories/gap/CocartesianCoclosedCategories.gd index f58687592b..ddcad9f189 100644 --- a/CartesianCategories/gap/CocartesianCoclosedCategories.gd +++ b/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 ] ); diff --git a/MonoidalCategories/PackageInfo.g b/MonoidalCategories/PackageInfo.g index a890c11369..21b8901efb 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 := "2022.09-10", +Version := "2022.09-11", Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), License := "GPL-2.0-or-later", diff --git a/MonoidalCategories/gap/ClosedMonoidalCategories.gd b/MonoidalCategories/gap/ClosedMonoidalCategories.gd index bbf4a21be7..545fd2c318 100644 --- a/MonoidalCategories/gap/ClosedMonoidalCategories.gd +++ b/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 ] ); diff --git a/MonoidalCategories/gap/CoclosedMonoidalCategories.gd b/MonoidalCategories/gap/CoclosedMonoidalCategories.gd index ce87b41d0b..1426264a82 100644 --- a/MonoidalCategories/gap/CoclosedMonoidalCategories.gd +++ b/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 ] );