Update website for FreydCategoriesForCAP 2023.08-01

homalg-project · Aug 14, 2023 · 8defa9f · 8defa9f
1 parent dc5ee41
commit 8defa9f
Show file tree

Hide file tree

Showing 11 changed files with 56 additions and 20 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.07-02",
-Date := "2023-07-31",
+Version := "2023.08-01",
+Date := "2023-08-14",
 License := "GPL-2.0-or-later",
 
 Persons := [

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.07-02</p>
+    2023.08-01</p>
 
 <p>
-    31 July 2023
+    14 August 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.07-02
+                                   2023.08-01
 
 
-                                  31 July 2023
+                                 14 August 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.07-02</p>
+    2023.08-01</p>
 
 <p>
-    31 July 2023
+    14 August 2023
   </p>
 
 </div>

diff --git a/FreydCategoriesForCAP/doc/chap12.html b/FreydCategoriesForCAP/doc/chap12.html
@@ -218,6 +218,12 @@ <h4>12.3 <span class="Heading">Basics based on category of rows</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">cat := CategoryOfRows( R );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">obj1 := CategoryOfRowsObject( 1, cat );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">obj2 := CategoryOfRowsObject( 2, cat );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIsomorphicForObjects( obj1, obj2 );</span>
+false
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIsomorphicForObjects( obj2, obj2 );</span>
+true
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIsomorphism( SomeIsomorphismBetweenObjects( obj2, obj2 ) );</span>
+true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">id := IdentityMorphism( obj2 );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">alpha := CategoryOfRowsMorphism( obj1, HomalgMatrix( [ [ 1, 2 ] ], 1, 2, R ), obj2 );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">beta := CategoryOfRowsMorphism( obj2, HomalgMatrix( [ [ 1, 2 ], [ 3, 4 ] ], 2, 2, R ), obj2 );;</span>

diff --git a/FreydCategoriesForCAP/doc/chap12.txt b/FreydCategoriesForCAP/doc/chap12.txt
@@ -124,6 +124,12 @@
     [4X[25Xgap>[125X [27Xcat := CategoryOfRows( R );;[127X[104X
     [4X[25Xgap>[125X [27Xobj1 := CategoryOfRowsObject( 1, cat );;[127X[104X
     [4X[25Xgap>[125X [27Xobj2 := CategoryOfRowsObject( 2, cat );;[127X[104X
+    [4X[25Xgap>[125X [27XIsIsomorphicForObjects( obj1, obj2 );[127X[104X
+    [4X[28Xfalse[128X[104X
+    [4X[25Xgap>[125X [27XIsIsomorphicForObjects( obj2, obj2 );[127X[104X
+    [4X[28Xtrue[128X[104X
+    [4X[25Xgap>[125X [27XIsIsomorphism( SomeIsomorphismBetweenObjects( obj2, obj2 ) );[127X[104X
+    [4X[28Xtrue[128X[104X
     [4X[25Xgap>[125X [27Xid := IdentityMorphism( obj2 );;[127X[104X
     [4X[25Xgap>[125X [27Xalpha := CategoryOfRowsMorphism( obj1, HomalgMatrix( [ [ 1, 2 ] ], 1, 2, R ), obj2 );;[127X[104X
     [4X[25Xgap>[125X [27Xbeta := CategoryOfRowsMorphism( obj2, HomalgMatrix( [ [ 1, 2 ], [ 3, 4 ] ], 2, 2, R ), obj2 );;[127X[104X

diff --git a/FreydCategoriesForCAP/doc/chap12_mj.html b/FreydCategoriesForCAP/doc/chap12_mj.html
@@ -221,6 +221,12 @@ <h4>12.3 <span class="Heading">Basics based on category of rows</span></h4>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">cat := CategoryOfRows( R );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">obj1 := CategoryOfRowsObject( 1, cat );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">obj2 := CategoryOfRowsObject( 2, cat );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIsomorphicForObjects( obj1, obj2 );</span>
+false
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIsomorphicForObjects( obj2, obj2 );</span>
+true
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">IsIsomorphism( SomeIsomorphismBetweenObjects( obj2, obj2 ) );</span>
+true
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">id := IdentityMorphism( obj2 );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">alpha := CategoryOfRowsMorphism( obj1, HomalgMatrix( [ [ 1, 2 ] ], 1, 2, R ), obj2 );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">beta := CategoryOfRowsMorphism( obj2, HomalgMatrix( [ [ 1, 2 ], [ 3, 4 ] ], 2, 2, R ), obj2 );;</span>

diff --git a/FreydCategoriesForCAP/doc/chap5.html b/FreydCategoriesForCAP/doc/chap5.html
@@ -788,6 +788,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">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>
+
 </li>
 <li><p><code class="func">IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X86C7E40C85318EFA"><span class="RefLink">MonoidalCategories: IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit for IsCapCategoryObject</span></a>)</p>
 
@@ -965,6 +968,9 @@ <h5>5.1-3 <span class="Heading">CategoryOfRows of a commutative ring</span></h5>
 </li>
 <li><p><code class="func">RightUnitorWithGivenTensorProduct</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X84C8F97F7BF2282D"><span class="RefLink">MonoidalCategories: RightUnitorWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
 
+</li>
+<li><p><code class="func">SomeIsomorphismBetweenObjects</code> (<a href="https://homalg-project.github.io/CAP_project/CAP/doc/chap2.html#X7D3407D68401C878"><span class="RefLink">CAP: SomeIsomorphismBetweenObjects for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
+
 </li>
 <li><p><code class="func">TensorProductDualityCompatibilityMorphism</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1.html#X7D173DB08132E40A"><span class="RefLink">MonoidalCategories: TensorProductDualityCompatibilityMorphism for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
 

diff --git a/FreydCategoriesForCAP/doc/chap5.txt b/FreydCategoriesForCAP/doc/chap5.txt
@@ -809,6 +809,9 @@
         InternalHomToTensorProductAdjunctionMap    for    IsCapCategoryObject,
         IsCapCategoryObject, IsCapCategoryMorphism[114X)[133X
 
+  [30X    [33X[0;6Y[2XIsIsomorphicForObjects[102X      ([14XCAP:      IsIsomorphicForObjects      for
+        IsCapCategoryObject, IsCapCategoryObject[114X)[133X
+
   [30X    [33X[0;6Y[2XIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit[102X
         ([14XMonoidalCategories:
         IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit           for
@@ -1048,6 +1051,9 @@
         RightUnitorWithGivenTensorProduct       for       IsCapCategoryObject,
         IsCapCategoryObject[114X)[133X
 
+  [30X    [33X[0;6Y[2XSomeIsomorphismBetweenObjects[102X  ([14XCAP: SomeIsomorphismBetweenObjects for
+        IsCapCategoryObject, IsCapCategoryObject[114X)[133X
+
   [30X    [33X[0;6Y[2XTensorProductDualityCompatibilityMorphism[102X         ([14XMonoidalCategories:
         TensorProductDualityCompatibilityMorphism   for   IsCapCategoryObject,
         IsCapCategoryObject[114X)[133X

diff --git a/FreydCategoriesForCAP/doc/chap5_mj.html b/FreydCategoriesForCAP/doc/chap5_mj.html
@@ -791,6 +791,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">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>
+
 </li>
 <li><p><code class="func">IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X86C7E40C85318EFA"><span class="RefLink">MonoidalCategories: IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit for IsCapCategoryObject</span></a>)</p>
 
@@ -968,6 +971,9 @@ <h5>5.1-3 <span class="Heading">CategoryOfRows of a commutative ring</span></h5>
 </li>
 <li><p><code class="func">RightUnitorWithGivenTensorProduct</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X84C8F97F7BF2282D"><span class="RefLink">MonoidalCategories: RightUnitorWithGivenTensorProduct for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
 
+</li>
+<li><p><code class="func">SomeIsomorphismBetweenObjects</code> (<a href="https://homalg-project.github.io/CAP_project/CAP/doc/chap2_mj.html#X7D3407D68401C878"><span class="RefLink">CAP: SomeIsomorphismBetweenObjects for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
+
 </li>
 <li><p><code class="func">TensorProductDualityCompatibilityMorphism</code> (<a href="https://homalg-project.github.io/CAP_project/MonoidalCategories/doc/chap1_mj.html#X7D173DB08132E40A"><span class="RefLink">MonoidalCategories: TensorProductDualityCompatibilityMorphism for IsCapCategoryObject, IsCapCategoryObject</span></a>)</p>
 

diff --git a/_data/FreydCategoriesForCAP.yml b/_data/FreydCategoriesForCAP.yml
@@ -1,7 +1,7 @@
 name: FreydCategoriesForCAP
-version: "2023.07-02"
+version: "2023.08-01"
 license: "GPL-2.0-or-later"
-date: 2023-07-31
+date: 2023-08-14
 description: |
     Freyd categories - Formal (co)kernels for additive categories
 
@@ -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.07-02/FreydCategoriesForCAP-2023.07-02.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.08-01/FreydCategoriesForCAP-2023.08-01.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.07-02/FreydCategoriesForCAP-2023.07-02.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.08-01/FreydCategoriesForCAP-2023.08-01.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.07-02/FreydCategoriesForCAP-2023.07-02-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2023.08-01/FreydCategoriesForCAP-2023.08-01-manual.pdf
 
 abstract: |
 
@@ -59,29 +59,29 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>PB31</span>]   <b class='BibAuthor'>Posur, S. and Bies, M.</b>,
+    [<span class='BibKey'>PB14</span>]   <b class='BibAuthor'>Posur, S. and Bies, M.</b>,
      <i class='BibTitle'>FreydCategoriesForCAP, Freyd categories - Formal (co)kernels for additive categories,
-             Version 2023.07-02</i>
-     (<span class='BibYear'>7-31</span>)<br />
+             Version 2023.08-01</i>
+     (<span class='BibYear'>8-14</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.07-02,
+    @misc{ FreydCategoriesForCAP2023.08-01,
       author =           {Posur, S. and Bies, M.},
       title =            {{FreydCategoriesForCAP},  Freyd  categories  -  Formal
                           (co)kernels   for   additive   categories,   {V}ersion
-                          2023.07-02},
+                          2023.08-01},
       month =            {3-},
-      year =             {7-31},
+      year =             {8-14},
       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 =       {PB31}
+      printedkey =       {PB14}
     }