diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g index 54d400d763..7bb1827b43 100644 --- a/CAP/PackageInfo.g +++ b/CAP/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CAP", Subtitle := "Categories, Algorithms, Programming", -Version := "2023.06-08", +Version := "2023.06-09", 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/CAP/gap/CAP.gi b/CAP/gap/CAP.gi index ca4d54dd22..3c2d29e0a5 100644 --- a/CAP/gap/CAP.gi +++ b/CAP/gap/CAP.gi @@ -27,6 +27,8 @@ BindGlobal( "TheFamilyOfCapCategoryTwoCells", InstallTrueMethod( IsEnrichedOverCommutativeRegularSemigroup, IsAbCategory ); +InstallTrueMethod( IsAbCategory, IsLinearCategoryOverCommutativeRing ); + InstallTrueMethod( IsAbCategory, IsAdditiveCategory ); InstallTrueMethod( IsAdditiveCategory, IsPreAbelianCategory );