Update website for FinSetsForCAP 2024.02-02

homalg-project · Feb 5, 2024 · 3e6118b · 3e6118b
1 parent 8b3dc82
commit 3e6118b
Show file tree

Hide file tree

Showing 8 changed files with 23 additions and 20 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.02-01",
+Version := "2024.02-02",
 
-Date := "2024-02-04",
+Date := "2024-02-05",
 License := "GPL-2.0-or-later",
 
 Persons := [

diff --git a/_data/package.yml b/_data/package.yml
@@ -1,7 +1,7 @@
 name: FinSetsForCAP
-version: "2024.02-01"
+version: "2024.02-02"
 license: "GPL-2.0-or-later"
-date: 2024-02-04
+date: 2024-02-05
 description: |
     The elementary topos of (skeletal) finite sets
 
@@ -40,11 +40,11 @@ packageinfo: https://homalg-project.github.io/FinSetsForCAP/PackageInfo.g
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-01/FinSetsForCAP-2024.02-01.tar.gz
+      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-02/FinSetsForCAP-2024.02-02.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-01/FinSetsForCAP-2024.02-01.zip
+      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-02/FinSetsForCAP-2024.02-02.zip
 
-pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-01/FinSetsForCAP-2024.02-01-manual.pdf
+pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.02-02/FinSetsForCAP-2024.02-02-manual.pdf
 
 abstract: |
 
@@ -53,28 +53,28 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>BMZ04</span>]   <b class='BibAuthor'>Barakat, M., Mickisch, J. and Zickgraf, F.</b>,
+    [<span class='BibKey'>BMZ05</span>]   <b class='BibAuthor'>Barakat, M., Mickisch, J. and Zickgraf, F.</b>,
      <i class='BibTitle'>FinSetsForCAP, The elementary topos of (skeletal) finite sets,
-             Version 2024.02-01</i>
-     (<span class='BibYear'>2-04</span>)<br />
+             Version 2024.02-02</i>
+     (<span class='BibYear'>2-05</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/FinSetsForCAP">https://homalg-project.github.io/pkg/FinSetsForCAP</a></span>.
     </p>
     
 
 bibtex: |
-    @misc{ FinSetsForCAP2024.02-01,
+    @misc{ FinSetsForCAP2024.02-02,
       author =           {Barakat, M. and Mickisch, J. and Zickgraf, F.},
       title =            {{FinSetsForCAP},  The  elementary  topos of (skeletal)
-                          finite sets, {V}ersion 2024.02-01},
+                          finite sets, {V}ersion 2024.02-02},
       month =            {4-},
-      year =             {2-04},
+      year =             {2-05},
       note =             {GAP package},
       howpublished =     {\href
                           {https://homalg-project.github.io/pkg/FinSetsForCAP}
                           {\texttt{https://homalg-project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary
                           {}{}{}\texttt{FinSetsForCAP}}},
-      printedkey =       {BMZ04}
+      printedkey =       {BMZ05}
     }
 
diff --git a/doc/chap0.html b/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.02-01</p>
+    2024.02-02</p>
 
 <p>
-    4 February 2024
+    5 February 2024
   </p>
 
 </div>

diff --git a/doc/chap0.txt b/doc/chap0.txt
@@ -6,10 +6,10 @@
                 [1X The elementary topos of (skeletal) finite sets [101X
 
 
-                                   2024.02-01
+                                   2024.02-02
 
 
-                                4 February 2024
+                                5 February 2024
 
 
                                 Mohamed Barakat

diff --git a/doc/chap0_mj.html b/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.02-01</p>
+    2024.02-02</p>
 
 <p>
-    4 February 2024
+    5 February 2024
   </p>
 
 </div>

diff --git a/doc/chap3.html b/doc/chap3.html
@@ -56,6 +56,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianBraidingInverseWithGivenDirectProducts",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianLambdaIntroduction",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightEvaluationMorphismWithGivenSource",</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightCoevaluationMorphismWithGivenRange",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoastrictionToImage",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoimageProjection",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "IsHomSetInhabited",</span>

diff --git a/doc/chap3.txt b/doc/chap3.txt
@@ -26,6 +26,7 @@
     [4X[25X>[125X [27X          "CartesianBraidingInverseWithGivenDirectProducts",[127X[104X
     [4X[25X>[125X [27X          "CartesianLambdaIntroduction",[127X[104X
     [4X[25X>[125X [27X          "CartesianRightEvaluationMorphismWithGivenSource",[127X[104X
+    [4X[25X>[125X [27X          "CartesianRightCoevaluationMorphismWithGivenRange",[127X[104X
     [4X[25X>[125X [27X          "CoastrictionToImage",[127X[104X
     [4X[25X>[125X [27X          "CoimageProjection",[127X[104X
     [4X[25X>[125X [27X          "IsHomSetInhabited",[127X[104X

diff --git a/doc/chap3_mj.html b/doc/chap3_mj.html
@@ -59,6 +59,7 @@ <h4>3.1 <span class="Heading">Precompiling the category of skeletal finite sets<
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianBraidingInverseWithGivenDirectProducts",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianLambdaIntroduction",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightEvaluationMorphismWithGivenSource",</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CartesianRightCoevaluationMorphismWithGivenRange",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoastrictionToImage",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "CoimageProjection",</span>
 <span class="GAPprompt">&gt;</span> <span class="GAPinput">          "IsHomSetInhabited",</span>