Update website for FunctorCategories 2024.09-07

FunctorCategories/PackageInfo.g

@@ -10,10 +10,10 @@ SetPackageInfo( rec(
 
 PackageName := "FunctorCategories",
 Subtitle := "Categories of functors",
-Version := "2024.09-06",
+Version := "2024.09-07",
 
-Date := "2024-09-12",
-Date := "2024-09-12",
+Date := "2024-09-17",
+Date := "2024-09-17",
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -93,7 +93,7 @@ Dependencies := rec(
                    [ "MonoidalCategories", ">= 2024.06-02" ],
                    [ "CartesianCategories", ">= 2024.06-03" ],
                    [ "ToolsForCategoricalTowers", ">= 2024.03-02" ],
-                   [ "FpCategories", ">= 2024.03-03" ],
+                   [ "FpCategories", ">= 2024.09-04" ],
                    [ "Algebroids", ">= 2024.03-01" ],
                    [ "FiniteCocompletions", ">= 2024.03-12" ],
                    [ "PreSheaves", ">= 2024.02-02" ],

FunctorCategories/doc/chap0.html

@@ -29,10 +29,10 @@ <h1>FunctorCategories</h1>
 <h2>Categories of functors</h2>
 
 <p>
-    2024.09-06</p>
+    2024.09-07</p>
 
 <p>
-    12 September 2024
+    17 September 2024
   </p>
 
 </div>

FunctorCategories/doc/chap0.txt

@@ -6,10 +6,10 @@
                              Categories of functors 
 
 
-                                   2024.09-06
+                                   2024.09-07
 
 
-                               12 September 2024
+                               17 September 2024
 
 
                                 Mohamed Barakat

FunctorCategories/doc/chap0_mj.html

@@ -32,10 +32,10 @@ <h1>FunctorCategories</h1>
 <h2>Categories of functors</h2>
 
 <p>
-    2024.09-06</p>
+    2024.09-07</p>
 
 <p>
-    12 September 2024
+    17 September 2024
   </p>
 
 </div>

FunctorCategories/doc/chap14.html

@@ -100,7 +100,7 @@ <h5>14.1-2 AssociatedMorphismIntoAlgebroidAsObjectInPreSheavesCategory</h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">D := AlgebroidFromDataTables( qA );</span>
 Q-algebroid( {3}[e:3-≻3] ) defined by 1 object and 1 generating morphism
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">BasisOfExternalHom( D.3, D.3 );</span>
-[ &lt;1*e^2:(3) -≻ (3)&gt;, &lt;1*e:(3) -≻ (3)&gt;, &lt;1*id(3):(3) -≻ (3)&gt; ]
+[ &lt;1*id(3):(3) -≻ (3)&gt;, &lt;1*e:(3) -≻ (3)&gt;, &lt;1*e^2:(3) -≻ (3)&gt; ]
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">data_tables := DataTablesOfCategory( quo_kC );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">data_tables_Z := ShallowCopy( data_tables );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">data_tables_Z[1] := HomalgRingOfIntegers();;</span>
@@ -163,14 +163,14 @@ <h5>14.1-2 AssociatedMorphismIntoAlgebroidAsObjectInPreSheavesCategory</h5>
 Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">A := kC / [ kC.xy - kC.yx, kC.x^3, kC.y^3 ];</span>
 Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
-/ [ 1*x⋅y - 1*y⋅x, 1*x^3, 1*y^3 ]
+/ [ -1*y⋅x + 1*x⋅y, 1*x^3, 1*y^3 ]
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">B := AlgebroidFromDataTables( A );</span>
 Q-algebroid( {o}[x:o-≻o,y:o-≻o] ) defined by 1 object and 2 generating morphisms
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsAdmissibleAlgebroid( B );</span>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">A := kC / [ kC.xy - kC.yx, kC.x^3 - kC.x, kC.y^3 ];</span>
 Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
-/ [ 1*x⋅y - 1*y⋅x, 1*x^3 - 1*x, 1*y^3 ]
+/ [ -1*y⋅x + 1*x⋅y, 1*x^3 - 1*x, 1*y^3 ]
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">B := AlgebroidFromDataTables( A );</span>
 Q-algebroid( {o}[x:o-≻o,y:o-≻o] ) defined by 1 object and 2 generating morphisms
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsAdmissibleAlgebroid( B );</span>

FunctorCategories/doc/chap14.txt

@@ -80,7 +80,7 @@
     gap> D := AlgebroidFromDataTables( qA );
     Q-algebroid( {3}[e:3-≻3] ) defined by 1 object and 1 generating morphism
     gap> BasisOfExternalHom( D.3, D.3 );
-    [ <1*e^2:(3) -≻ (3)>, <1*e:(3) -≻ (3)>, <1*id(3):(3) -≻ (3)> ]
+    [ <1*id(3):(3) -≻ (3)>, <1*e:(3) -≻ (3)>, <1*e^2:(3) -≻ (3)> ]
     gap> data_tables := DataTablesOfCategory( quo_kC );;
     gap> data_tables_Z := ShallowCopy( data_tables );;
     gap> data_tables_Z[1] := HomalgRingOfIntegers();;
@@ -142,14 +142,14 @@
     Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
     gap> A := kC / [ kC.xy - kC.yx, kC.x^3, kC.y^3 ];
     Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
-    / [ 1*x⋅y - 1*y⋅x, 1*x^3, 1*y^3 ]
+    / [ -1*y⋅x + 1*x⋅y, 1*x^3, 1*y^3 ]
     gap> B := AlgebroidFromDataTables( A );
     Q-algebroid( {o}[x:o-≻o,y:o-≻o] ) defined by 1 object and 2 generating morphisms
     gap> IsAdmissibleAlgebroid( B );
     true
     gap> A := kC / [ kC.xy - kC.yx, kC.x^3 - kC.x, kC.y^3 ];
     Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
-    / [ 1*x⋅y - 1*y⋅x, 1*x^3 - 1*x, 1*y^3 ]
+    / [ -1*y⋅x + 1*x⋅y, 1*x^3 - 1*x, 1*y^3 ]
     gap> B := AlgebroidFromDataTables( A );
     Q-algebroid( {o}[x:o-≻o,y:o-≻o] ) defined by 1 object and 2 generating morphisms
     gap> IsAdmissibleAlgebroid( B );

FunctorCategories/doc/chap14_mj.html

@@ -103,7 +103,7 @@ <h5>14.1-2 AssociatedMorphismIntoAlgebroidAsObjectInPreSheavesCategory</h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">D := AlgebroidFromDataTables( qA );</span>
 Q-algebroid( {3}[e:3-≻3] ) defined by 1 object and 1 generating morphism
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">BasisOfExternalHom( D.3, D.3 );</span>
-[ &lt;1*e^2:(3) -≻ (3)&gt;, &lt;1*e:(3) -≻ (3)&gt;, &lt;1*id(3):(3) -≻ (3)&gt; ]
+[ &lt;1*id(3):(3) -≻ (3)&gt;, &lt;1*e:(3) -≻ (3)&gt;, &lt;1*e^2:(3) -≻ (3)&gt; ]
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">data_tables := DataTablesOfCategory( quo_kC );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">data_tables_Z := ShallowCopy( data_tables );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">data_tables_Z[1] := HomalgRingOfIntegers();;</span>
@@ -166,14 +166,14 @@ <h5>14.1-2 AssociatedMorphismIntoAlgebroidAsObjectInPreSheavesCategory</h5>
 Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">A := kC / [ kC.xy - kC.yx, kC.x^3, kC.y^3 ];</span>
 Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
-/ [ 1*x⋅y - 1*y⋅x, 1*x^3, 1*y^3 ]
+/ [ -1*y⋅x + 1*x⋅y, 1*x^3, 1*y^3 ]
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">B := AlgebroidFromDataTables( A );</span>
 Q-algebroid( {o}[x:o-≻o,y:o-≻o] ) defined by 1 object and 2 generating morphisms
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsAdmissibleAlgebroid( B );</span>
 true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">A := kC / [ kC.xy - kC.yx, kC.x^3 - kC.x, kC.y^3 ];</span>
 Q-LinearClosure( PathCategory( FinQuiver( "q(o)[x:o-≻o,y:o-≻o]" ) ) )
-/ [ 1*x⋅y - 1*y⋅x, 1*x^3 - 1*x, 1*y^3 ]
+/ [ -1*y⋅x + 1*x⋅y, 1*x^3 - 1*x, 1*y^3 ]
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">B := AlgebroidFromDataTables( A );</span>
 Q-algebroid( {o}[x:o-≻o,y:o-≻o] ) defined by 1 object and 2 generating morphisms
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsAdmissibleAlgebroid( B );</span>

_data/FunctorCategories.yml

@@ -1,7 +1,7 @@
 name: FunctorCategories
-version: "2024.09-06"
+version: "2024.09-07"
 license: "GPL-2.0-or-later"
-date: 2024-09-12
+date: 2024-09-17
 description: |
     Categories of functors
 
@@ -39,7 +39,7 @@ needed-pkgs:
       version: ">= 2024.03-02"
       url: "https://homalg-project.github.io/pkg/ToolsForCategoricalTowers"
     - name: "FpCategories"
-      version: ">= 2024.03-03"
+      version: ">= 2024.09-04"
       url: "https://homalg-project.github.io/pkg/FpCategories"
     - name: "Algebroids"
       version: ">= 2024.03-01"
@@ -81,11 +81,11 @@ packageinfo: https://homalg-project.github.io/CategoricalTowers/FunctorCategorie
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/FunctorCategories-2024.09-06/FunctorCategories-2024.09-06.tar.gz
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/FunctorCategories-2024.09-07/FunctorCategories-2024.09-07.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/FunctorCategories-2024.09-06/FunctorCategories-2024.09-06.zip
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/FunctorCategories-2024.09-07/FunctorCategories-2024.09-07.zip
 
-pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/FunctorCategories-2024.09-06/FunctorCategories-2024.09-06-manual.pdf
+pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/FunctorCategories-2024.09-07/FunctorCategories-2024.09-07-manual.pdf
 
 abstract: |
 
@@ -96,10 +96,10 @@ keywords: |
     functors, natural transformations, finitely presented categories, functors into categories, functors into pre-additive categories, functors into additive categories, functors into pre-abelian categories, functors into abelian categories.
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>BS12</span>]   <b class='BibAuthor'>Barakat, M. and Saleh, K.</b>,
+    [<span class='BibKey'>BS17</span>]   <b class='BibAuthor'>Barakat, M. and Saleh, K.</b>,
      <i class='BibTitle'>FunctorCategories, Categories of functors,
-             Version 2024.09-06</i>
-     (<span class='BibYear'>9-12</span>)<br />
+             Version 2024.09-07</i>
+     (<span class='BibYear'>9-17</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/FunctorCategories">https://homalg-project.github.io/pkg/FunctorCategories</a></span>.
     </p>
@@ -109,9 +109,9 @@ bibtex: |
     @misc{ FunctorCategories,
       author =           {Barakat, M. and Saleh, K.},
       title =            {{FunctorCategories}, Categories of functors, {V}ersion
-                          2024.09\texttt{\symbol{45}}06},
+                          2024.09\texttt{\symbol{45}}07},
       month =            {4\texttt{\symbol{45}}},
-      year =             {9\texttt{\symbol{45}}12},
+      year =             {9\texttt{\symbol{45}}17},
       note =             {GAP package},
       howpublished =     {\href
                           {https://homalg-project.github.io/pkg/FunctorCategories}
@@ -124,6 +124,6 @@ bibtex: |
                           into     additive     categories;     functors    into
                           pre\texttt{\symbol{45}}abelian   categories;  functors
                           into abelian categories},
-      printedkey =       {BS12}
+      printedkey =       {BS17}
     }