renamed Category( q ) -> FreeCategory( q )

Author: mohamed-barakat

PackageInfo.g

@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "Algebroids",
 Subtitle := "Algebroids and bialgebroids as preadditive categories generated by enhanced quivers",
 Version := Maximum( [
-                   "2020.12-01", ## Mohamed's version
+                   "2021.02-01", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.09-08", ## Kamal's version
                    ## this line prevents merge conflicts

examples/doc/Category.g

@@ -19,10 +19,10 @@ qr := RightQuiver( "qr(u,v,w)[a:u->v,b:v->u,c:v->u,d:v->w]" );
 #! Create f.p. categories from these quivers.
 
 #! @Example
-Cl := Category( ql );
+Cl := FreeCategory( ql );
 #! Category freely generated by the left quiver
 #! ql(u,v,w)[a:u->v,b:v->u,c:v->u,d:v->w]
-Cr := Category( qr );
+Cr := FreeCategory( qr );
 #! Category freely generated by the right quiver
 #! qr(u,v,w)[a:u->v,b:v->u,c:v->u,d:v->w]
 Cl.u;

examples/doc/NaturalNumbersAsMonoid.g

@@ -16,7 +16,7 @@ m := q.m;
 #! Create a monoid from $q$.
 
 #! @Example
-N := Category( q );
+N := FreeCategory( q );
 #! Monoid freely generated by the right quiver q(o)[m:o->o]
 IsCommutative( N );
 #! true

gap/FpCategories.gd

@@ -288,7 +288,7 @@ DeclareOperation( "Category",
 #! @Arguments q
 #! @Returns a ∩ category
 #! @Group FpCategory
-DeclareOperation( "Category",
+DeclareOperation( "FreeCategory",
         [ IsQuiver ] );
 
 #! @Arguments q, L

gap/FpCategories.gi

@@ -417,7 +417,7 @@ InstallMethod( Category,
 end );
 
 ##
-InstallMethodWithCache( Category,
+InstallMethodWithCache( FreeCategory,
         "for a QPA quiver",
         [ IsQuiver ],
 
@@ -760,7 +760,7 @@ InstallMethod( TrivialCategory,
         Error( "parity must be either \"left\" or \"right\"" );
     fi;
 
-    return Category( trivial_quiver );
+    return FreeCategory( trivial_quiver );
 end );
 
 ##