Update website for FinSetsForCAP 2024.01-08

homalg-project · Feb 3, 2024 · d9e8670 · d9e8670
1 parent acae988
commit d9e8670
Show file tree

Hide file tree

Showing 11 changed files with 47 additions and 11 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.01-07",
+Version := "2024.01-08",
 
 Date := "2024-02-03",
 License := "GPL-2.0-or-later",

diff --git a/_data/package.yml b/_data/package.yml
@@ -1,5 +1,5 @@
 name: FinSetsForCAP
-version: "2024.01-07"
+version: "2024.01-08"
 license: "GPL-2.0-or-later"
 date: 2024-02-03
 description: |
@@ -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.01-07/FinSetsForCAP-2024.01-07.tar.gz
+      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-08/FinSetsForCAP-2024.01-08.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-07/FinSetsForCAP-2024.01-07.zip
+      url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-08/FinSetsForCAP-2024.01-08.zip
 
-pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-07/FinSetsForCAP-2024.01-07-manual.pdf
+pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-08/FinSetsForCAP-2024.01-08-manual.pdf
 
 abstract: |
 
@@ -55,18 +55,18 @@ citeas: |
     <p class='BibEntry'>
     [<span class='BibKey'>BMZ03</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.01-07</i>
+             Version 2024.01-08</i>
      (<span class='BibYear'>2-03</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.01-07,
+    @misc{ FinSetsForCAP2024.01-08,
       author =           {Barakat, M. and Mickisch, J. and Zickgraf, F.},
       title =            {{FinSetsForCAP},  The  elementary  topos of (skeletal)
-                          finite sets, {V}ersion 2024.01-07},
+                          finite sets, {V}ersion 2024.01-08},
       month =            {4-},
       year =             {2-03},
       note =             {GAP package},

diff --git a/doc/chap0.html b/doc/chap0.html
@@ -29,7 +29,7 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.01-07</p>
+    2024.01-08</p>
 
 <p>
     3 February 2024

diff --git a/doc/chap0.txt b/doc/chap0.txt
@@ -6,7 +6,7 @@
                 [1X The elementary topos of (skeletal) finite sets [101X
 
 
-                                   2024.01-07
+                                   2024.01-08
 
 
                                 3 February 2024

diff --git a/doc/chap0_mj.html b/doc/chap0_mj.html
@@ -32,7 +32,7 @@ <h1>FinSetsForCAP</h1>
 <h2>The elementary topos of (skeletal) finite sets</h2>
 
 <p>
-    2024.01-07</p>
+    2024.01-08</p>
 
 <p>
     3 February 2024

diff --git a/doc/chap1.html b/doc/chap1.html
@@ -1344,6 +1344,14 @@ <h5>1.5-18 <span class="Heading">Topos properties</span></h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">exp := ExponentialOnObjects( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnObjects( FinSet( [ 1 ] ), exp );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnMorphisms( f, g );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianRightEvaluationMorphism( M, N );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianRightCoevaluationMorphism( N, M );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">DirectProductToExponentialRightAdjunctionMap( M, N,</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">    UniversalMorphismIntoTerminalObject( DirectProduct( M, N ) )</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialToDirectProductRightAdjunctionMap( M, N,</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">    UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftEvaluationMorphism( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftCoevaluationMorphism( N, M );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">DirectProductToExponentialLeftAdjunctionMap( M, N,</span>

diff --git a/doc/chap1.txt b/doc/chap1.txt
@@ -1156,6 +1156,14 @@
     [4X[25Xgap>[125X [27Xexp := ExponentialOnObjects( M, N );;[127X[104X
     [4X[25Xgap>[125X [27XExponentialOnObjects( FinSet( [ 1 ] ), exp );;[127X[104X
     [4X[25Xgap>[125X [27XExponentialOnMorphisms( f, g );;[127X[104X
+    [4X[25Xgap>[125X [27XCartesianRightEvaluationMorphism( M, N );;[127X[104X
+    [4X[25Xgap>[125X [27XCartesianRightCoevaluationMorphism( N, M );;[127X[104X
+    [4X[25Xgap>[125X [27XDirectProductToExponentialRightAdjunctionMap( M, N,[127X[104X
+    [4X[25X>[125X [27X    UniversalMorphismIntoTerminalObject( DirectProduct( M, N ) )[127X[104X
+    [4X[25X>[125X [27X);;[127X[104X
+    [4X[25Xgap>[125X [27XExponentialToDirectProductRightAdjunctionMap( M, N,[127X[104X
+    [4X[25X>[125X [27X    UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )[127X[104X
+    [4X[25X>[125X [27X);;[127X[104X
     [4X[25Xgap>[125X [27XCartesianLeftEvaluationMorphism( M, N );;[127X[104X
     [4X[25Xgap>[125X [27XCartesianLeftCoevaluationMorphism( N, M );;[127X[104X
     [4X[25Xgap>[125X [27XDirectProductToExponentialLeftAdjunctionMap( M, N,[127X[104X

diff --git a/doc/chap1_mj.html b/doc/chap1_mj.html
@@ -1347,6 +1347,14 @@ <h5>1.5-18 <span class="Heading">Topos properties</span></h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">exp := ExponentialOnObjects( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnObjects( FinSet( [ 1 ] ), exp );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnMorphisms( f, g );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianRightEvaluationMorphism( M, N );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianRightCoevaluationMorphism( N, M );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">DirectProductToExponentialRightAdjunctionMap( M, N,</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">    UniversalMorphismIntoTerminalObject( DirectProduct( M, N ) )</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialToDirectProductRightAdjunctionMap( M, N,</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">    UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftEvaluationMorphism( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftCoevaluationMorphism( N, M );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">DirectProductToExponentialLeftAdjunctionMap( M, N,</span>

diff --git a/doc/chap2.html b/doc/chap2.html
@@ -1286,6 +1286,10 @@ <h5>2.5-19 <span class="Heading">Skeletal topos properties</span></h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianBraidingInverse( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnObjects( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnMorphisms( f, g );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianRightEvaluationMorphism( M, N );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialToDirectProductRightAdjunctionMap( M, N,</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">    UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftEvaluationMorphism( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftCoevaluationMorphism( N, M );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftCoevaluationMorphism( T, T );;</span>

diff --git a/doc/chap2.txt b/doc/chap2.txt
@@ -1100,6 +1100,10 @@
     [4X[25Xgap>[125X [27XCartesianBraidingInverse( M, N );;[127X[104X
     [4X[25Xgap>[125X [27XExponentialOnObjects( M, N );;[127X[104X
     [4X[25Xgap>[125X [27XExponentialOnMorphisms( f, g );;[127X[104X
+    [4X[25Xgap>[125X [27XCartesianRightEvaluationMorphism( M, N );;[127X[104X
+    [4X[25Xgap>[125X [27XExponentialToDirectProductRightAdjunctionMap( M, N,[127X[104X
+    [4X[25X>[125X [27X    UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )[127X[104X
+    [4X[25X>[125X [27X);;[127X[104X
     [4X[25Xgap>[125X [27XCartesianLeftEvaluationMorphism( M, N );;[127X[104X
     [4X[25Xgap>[125X [27XCartesianLeftCoevaluationMorphism( N, M );;[127X[104X
     [4X[25Xgap>[125X [27XCartesianLeftCoevaluationMorphism( T, T );;[127X[104X

diff --git a/doc/chap2_mj.html b/doc/chap2_mj.html
@@ -1289,6 +1289,10 @@ <h5>2.5-19 <span class="Heading">Skeletal topos properties</span></h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianBraidingInverse( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnObjects( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialOnMorphisms( f, g );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianRightEvaluationMorphism( M, N );;</span>
+<span class="GAPprompt">gap&gt;</span> <span class="GAPinput">ExponentialToDirectProductRightAdjunctionMap( M, N,</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">    UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )</span>
+<span class="GAPprompt">&gt;</span> <span class="GAPinput">);;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftEvaluationMorphism( M, N );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftCoevaluationMorphism( N, M );;</span>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">CartesianLeftCoevaluationMorphism( T, T );;</span>
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,7 +6,7 @@ @@
                     [1X The elementary topos of (skeletal) finite sets [101X
-.01-07
+.01-08
 February 2024
@@ Expand Down @@