Update website for FreydCategoriesForCAP 2023.10-06

homalg-project · Oct 19, 2023 · 3215993 · 3215993
1 parent dc8c0a9
commit 3215993
Show file tree

Hide file tree

Showing 8 changed files with 48 additions and 24 deletions.
diff --git a/FreydCategoriesForCAP/PackageInfo.g b/FreydCategoriesForCAP/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2023.10-05",
-Date := "2023-10-09",
+Version := "2023.10-06",
+Date := "2023-10-20",
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -87,10 +87,10 @@ PackageDoc := rec(
 
 Dependencies := rec(
   GAP := ">= 4.12.1",
-  NeededOtherPackages := [ [ "CAP", ">= 2023.10-04" ],
+  NeededOtherPackages := [ [ "CAP", ">= 2023.10-07" ],
                            [ "MatricesForHomalg", ">= 2023.01-01" ],
                            [ "GradedRingForHomalg", ">=2019.08.07" ],
-                           [ "MonoidalCategories", ">= 2023.08-11" ],
+                           [ "MonoidalCategories", ">= 2023.10-01" ],
                            [ "GeneralizedMorphismsForCAP", ">= 2018.06.15" ]
                          ],
   SuggestedOtherPackages := [

diff --git a/FreydCategoriesForCAP/doc/chap0.html b/FreydCategoriesForCAP/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>FreydCategoriesForCAP</h1>
 <h2>Freyd categories - Formal (co)kernels for additive categories</h2>
 
 <p>
-    2023.10-05</p>
+    2023.10-06</p>
 
 <p>
-    9 October 2023
+    20 October 2023
   </p>
 
 </div>

diff --git a/FreydCategoriesForCAP/doc/chap0.txt b/FreydCategoriesForCAP/doc/chap0.txt
@@ -6,10 +6,10 @@
         [1X Freyd categories - Formal (co)kernels for additive categories [101X
 
 
-                                   2023.10-05
+                                   2023.10-06
 
 
-                                 9 October 2023
+                                20 October 2023
 
 
                                 Sebastian Posur

diff --git a/FreydCategoriesForCAP/doc/chap0_mj.html b/FreydCategoriesForCAP/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>FreydCategoriesForCAP</h1>
 <h2>Freyd categories - Formal (co)kernels for additive categories</h2>
 
 <p>
-    2023.10-05</p>
+    2023.10-06</p>
 
 <p>
-    9 October 2023
+    20 October 2023
   </p>
 
 </div>

diff --git a/FreydCategoriesForCAP/doc/chap5.html b/FreydCategoriesForCAP/doc/chap5.html
@@ -779,6 +779,9 @@ <h5>5.1-3 <span class="Heading">CategoryOfRows of a commutative ring</span></h5>
 </li>
 <li><p><code class="func">InternalCoHomToTensorProductAdjunctionMap</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X872E6B0B859B1BC9"><span class="RefLink">MonoidalCategories: InternalCoHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism</span></a>)</p>
 
+</li>
+<li><p><code class="func">InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X7E9875708002FCAC"><span class="RefLink">MonoidalCategories: InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject</span></a>)</p>
+
 </li>
 <li><p><code class="func">InternalHomOnMorphisms</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X7C0191A483A72F98"><span class="RefLink">MonoidalCategories: InternalHomOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism</span></a>)</p>
 
@@ -791,6 +794,9 @@ <h5>5.1-3 <span class="Heading">CategoryOfRows of a commutative ring</span></h5>
 </li>
 <li><p><code class="func">InternalHomToTensorProductAdjunctionMap</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X7A48DA157CCFB0B9"><span class="RefLink">MonoidalCategories: InternalHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism</span></a>)</p>
 
+</li>
+<li><p><code class="func">InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X818F1B4F78554FA6"><span class="RefLink">MonoidalCategories: InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject</span></a>)</p>
+
 </li>
 <li><p><code class="func">IsIsomorphicForObjects</code> (<a href="https://homalg-project.github.io/CAP_project/CAP/doc/chap2.html#X7C34D06C7ABE563F"><span class="RefLink">CAP: IsIsomorphicForObjects for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
 

diff --git a/FreydCategoriesForCAP/doc/chap5.txt b/FreydCategoriesForCAP/doc/chap5.txt
@@ -800,6 +800,12 @@
         InternalCoHomToTensorProductAdjunctionMap   for   IsCapCategoryObject,
         IsCapCategoryObject, IsCapCategoryMorphism[114X)[133X
 
+  [30X    [33X[0;6Y[2XInternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct[102X
+        ([14XMonoidalCategories:
+        InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct    for
+        IsCapCategoryObject,    IsCapCategoryObject,    IsCapCategoryMorphism,
+        IsCapCategoryObject[114X)[133X
+
   [30X    [33X[0;6Y[2XInternalHomOnMorphisms[102X ([14XMonoidalCategories: InternalHomOnMorphisms for
         IsCapCategoryMorphism, IsCapCategoryMorphism[114X)[133X
 
@@ -814,6 +820,12 @@
         InternalHomToTensorProductAdjunctionMap    for    IsCapCategoryObject,
         IsCapCategoryObject, IsCapCategoryMorphism[114X)[133X
 
+  [30X    [33X[0;6Y[2XInternalHomToTensorProductAdjunctionMapWithGivenTensorProduct[102X
+        ([14XMonoidalCategories:
+        InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct      for
+        IsCapCategoryObject,    IsCapCategoryObject,    IsCapCategoryMorphism,
+        IsCapCategoryObject[114X)[133X
+
   [30X    [33X[0;6Y[2XIsIsomorphicForObjects[102X      ([14XCAP:      IsIsomorphicForObjects      for
         IsCapCategoryObject, IsCapCategoryObject[114X)[133X
 

diff --git a/FreydCategoriesForCAP/doc/chap5_mj.html b/FreydCategoriesForCAP/doc/chap5_mj.html
@@ -782,6 +782,9 @@ <h5>5.1-3 <span class="Heading">CategoryOfRows of a commutative ring</span></h5>
 </li>
 <li><p><code class="func">InternalCoHomToTensorProductAdjunctionMap</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X872E6B0B859B1BC9"><span class="RefLink">MonoidalCategories: InternalCoHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism</span></a>)</p>
 
+</li>
+<li><p><code class="func">InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X7E9875708002FCAC"><span class="RefLink">MonoidalCategories: InternalCoHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject</span></a>)</p>
+
 </li>
 <li><p><code class="func">InternalHomOnMorphisms</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X7C0191A483A72F98"><span class="RefLink">MonoidalCategories: InternalHomOnMorphisms for IsCapCategoryMorphism, IsCapCategoryMorphism</span></a>)</p>
 
@@ -794,6 +797,9 @@ <h5>5.1-3 <span class="Heading">CategoryOfRows of a commutative ring</span></h5>
 </li>
 <li><p><code class="func">InternalHomToTensorProductAdjunctionMap</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X7A48DA157CCFB0B9"><span class="RefLink">MonoidalCategories: InternalHomToTensorProductAdjunctionMap for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism</span></a>)</p>
 
+</li>
+<li><p><code class="func">InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X818F1B4F78554FA6"><span class="RefLink">MonoidalCategories: InternalHomToTensorProductAdjunctionMapWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject, IsCapCategoryMorphism, IsCapCategoryObject</span></a>)</p>
+
 </li>
 <li><p><code class="func">IsIsomorphicForObjects</code> (<a href="https://homalg-project.github.io/CAP_project/CAP/doc/chap2_mj.html#X7C34D06C7ABE563F"><span class="RefLink">CAP: IsIsomorphicForObjects for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
 

diff --git a/_data/FreydCategoriesForCAP.yml b/_data/FreydCategoriesForCAP.yml
@@ -1,7 +1,7 @@
 name: FreydCategoriesForCAP
-version: "2023.10-05"
+version: "2023.10-06"
 license: "GPL-2.0-or-later"
-date: 2023-10-09
+date: 2023-10-20
 description: |
     Freyd categories - Formal (co)kernels for additive categories
 
@@ -21,7 +21,7 @@ GAP: ">= 4.12.1"
 
 needed-pkgs:
     - name: "CAP"
-      version: ">= 2023.10-04"
+      version: ">= 2023.10-07"
       url: "https://homalg-project.github.io/pkg/CAP"
     - name: "MatricesForHomalg"
       version: ">= 2023.01-01"
@@ -30,7 +30,7 @@ needed-pkgs:
       version: ">=2019.08.07"
       url: "https://homalg-project.github.io/pkg/GradedRingForHomalg"
     - name: "MonoidalCategories"
-      version: ">= 2023.08-11"
+      version: ">= 2023.10-01"
       url: "https://homalg-project.github.io/pkg/MonoidalCategories"
     - name: "GeneralizedMorphismsForCAP"
       version: ">= 2018.06.15"
@@ -46,11 +46,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/FreydCategoriesForCAP/
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-05/FreydCategoriesForCAP-2023.10-05.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-06/FreydCategoriesForCAP-2023.10-06.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-05/FreydCategoriesForCAP-2023.10-05.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-06/FreydCategoriesForCAP-2023.10-06.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-05/FreydCategoriesForCAP-2023.10-05-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.10-06/FreydCategoriesForCAP-2023.10-06-manual.pdf
 
 abstract: |
 
@@ -59,29 +59,29 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>PB09</span>]   <b class='BibAuthor'>Posur, S. and Bies, M.</b>,
+    [<span class='BibKey'>PB20</span>]   <b class='BibAuthor'>Posur, S. and Bies, M.</b>,
      <i class='BibTitle'>FreydCategoriesForCAP, Freyd categories - Formal (co)kernels for additive categories,
-             Version 2023.10-05</i>
-     (<span class='BibYear'>0-09</span>)<br />
+             Version 2023.10-06</i>
+     (<span class='BibYear'>0-20</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/FreydCategoriesForCAP">https://homalg-project.github.io/pkg/FreydCategoriesForCAP</a></span>.
     </p>
     
 
 bibtex: |
-    @misc{ FreydCategoriesForCAP2023.10-05,
+    @misc{ FreydCategoriesForCAP2023.10-06,
       author =           {Posur, S. and Bies, M.},
       title =            {{FreydCategoriesForCAP},  Freyd  categories  -  Formal
                           (co)kernels   for   additive   categories,   {V}ersion
-                          2023.10-05},
+                          2023.10-06},
       month =            {3-},
-      year =             {0-09},
+      year =             {0-20},
       note =             {GAP package},
       howpublished =     {\href
                           {https://homalg-project.github.io/pkg/FreydCategoriesForCAP}
                           {\texttt{https://homalg-project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary
                           {}{}{}\texttt{FreydCategoriesForCAP}}},
-      printedkey =       {PB09}
+      printedkey =       {PB20}
     }