Merge pull request #1824 from mohamed-barakat/devel

renamed IsGroupAsCategoryObject/Morphism -> IsObject/MorphismInGroupAsCategory

Author: mohamed-barakat

GroupsAsCategoriesForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "GroupsAsCategoriesForCAP",
 Subtitle := "Groups as categories on one object",
-Version := "2025.12-02",
+Version := "2026.04-02",
 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",
 

GroupsAsCategoriesForCAP/gap/GroupsAsCats.gd

@@ -12,11 +12,11 @@
 ####################################
 
 ##
-DeclareCategory( "IsGroupAsCategoryObject",
+DeclareCategory( "IsObjectInGroupAsCategory",
                  IsCapCategoryObject );
 
-DeclareCategory( "IsGroupAsCategoryMorphism",
-                 IsCapCategoryMorphism );
+DeclareCategory( "IsMorphismInGroupAsCategory",
+                 FilterIntersection( IsCapCategoryMorphism, IsAutomorphism ) );
 
 DeclareCategory( "IsGroupAsCategory",
                  IsCapCategory );
@@ -51,10 +51,10 @@ DeclareAttribute( "ElementsOfUnderlyingGroup",
                   IsGroupAsCategory );
 
 DeclareAttribute( "UnderlyingGroupElement",
-                  IsGroupAsCategoryMorphism );
+                  IsMorphismInGroupAsCategory );
 
 DeclareAttribute( "PositionWithinElements",
-                  IsGroupAsCategoryMorphism );
+                  IsMorphismInGroupAsCategory );
 
 ####################################
 ##
@@ -64,7 +64,7 @@ DeclareAttribute( "PositionWithinElements",
 
 ##
 DeclareOperation( "*",
-                  [ IsGroupAsCategoryMorphism, IsGroupAsCategoryMorphism ] );
+                  [ IsMorphismInGroupAsCategory, IsMorphismInGroupAsCategory ] );
 
 ##
 DeclareOperation( "/",

GroupsAsCategoriesForCAP/gap/GroupsAsCats.gi

@@ -29,8 +29,8 @@ InstallMethod( GroupAsCategory,
       CreateCapCategoryWithDataTypes(
               Concatenation( "GroupAsCategory( ", group_name," )" ),
               IsGroupAsCategory,
-              IsGroupAsCategoryObject,
-              IsGroupAsCategoryMorphism,
+              IsObjectInGroupAsCategory,
+              IsMorphismInGroupAsCategory,
               IsCapCategoryTwoCell,
               IsBool,
               CapJitDataTypeOfElementOfGroup( group ),
@@ -103,7 +103,7 @@ end );
 
 ##
 InstallMethod( ViewString,
-        [ IsGroupAsCategoryMorphism ],
+        [ IsMorphismInGroupAsCategory ],
 
   function( alpha )
 
@@ -113,7 +113,7 @@ end );
 
 ##
 InstallMethod( ViewString,
-        [ IsGroupAsCategoryObject ],
+        [ IsObjectInGroupAsCategory ],
 
   function( obj )
 
@@ -139,7 +139,7 @@ end );
 
 ##
 InstallMethod( PositionWithinElements,
-        [ IsGroupAsCategoryMorphism ],
+        [ IsMorphismInGroupAsCategory ],
 
   function( alpha )
 
@@ -368,13 +368,13 @@ end );
 ##
 ####################################
 
-InstallMethod( \*,
-        [ IsGroupAsCategoryMorphism, IsGroupAsCategoryMorphism ],
+InstallOtherMethod( \*,
+        [ IsMorphismInGroupAsCategory, IsMorphismInGroupAsCategory ],
 
         PreCompose );
 
 InstallMethod( \=,
-        [ IsGroupAsCategoryMorphism, IsGroupAsCategoryMorphism ],
+        [ IsMorphismInGroupAsCategory, IsMorphismInGroupAsCategory ],
 
         IsCongruentForMorphisms );
 
@@ -415,7 +415,7 @@ end );
 
 ##
 InstallMethod( Down,
-        [ IsGroupAsCategoryObject ],
+        [ IsObjectInGroupAsCategory ],
 
   function( obj )
 
@@ -425,7 +425,7 @@ end );
 
 ##
 InstallMethod( DownOnlyMorphismData,
-        [ IsGroupAsCategoryMorphism ],
+        [ IsMorphismInGroupAsCategory ],
 
   function( mor )