Update website for Locales 2024.11-01

homalg-project · Nov 10, 2024 · 7c1130d · 7c1130d
1 parent 7ce2b37
commit 7c1130d
Show file tree

Hide file tree

Showing 11 changed files with 39 additions and 35 deletions.
diff --git a/Locales/PackageInfo.g b/Locales/PackageInfo.g
@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "Locales",
 Subtitle := "Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets",
-Version := "2024.10-03",
-Date := "2024-10-24",
-Date := "2024-10-24",
+Version := "2024.11-01",
+Date := "2024-11-10",
+Date := "2024-11-10",
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -107,6 +107,7 @@ Dependencies := rec(
                 [ "MonoidalCategories", ">= 2024.02-02" ],
                 [ "CartesianCategories", ">= 2024.02-02" ],
                 [ "ToolsForCategoricalTowers", ">= 2024.02-05" ],
+                [ "Toposes", ">= 2024.11-01" ],
                 [ "FpCategories", ">= 2024.02-11" ],
                 ],
   SuggestedOtherPackages := [

diff --git a/Locales/doc/chap0.html b/Locales/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>Locales</h1>
 <h2>Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets</h2>
 
 <p>
-    2024.10-03</p>
+    2024.11-01</p>
 
 <p>
-    24 October 2024
+    10 November 2024
   </p>
 
 </div>

diff --git a/Locales/doc/chap0.txt b/Locales/doc/chap0.txt
@@ -7,10 +7,10 @@
                   and Boolean algebras of constructible sets [101X
 
 
-                                   2024.10-03
+                                   2024.11-01
 
 
-                                24 October 2024
+                                10 November 2024
 
 
                                 Mohamed Barakat

diff --git a/Locales/doc/chap0_mj.html b/Locales/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>Locales</h1>
 <h2>Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets</h2>
 
 <p>
-    2024.10-03</p>
+    2024.11-01</p>
 
 <p>
-    24 October 2024
+    10 November 2024
   </p>
 
 </div>

diff --git a/Locales/doc/chap13.html b/Locales/doc/chap13.html
@@ -76,7 +76,7 @@ <h5>13.1-2 IntervalCategory</h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( IntervalCategory );</span>
 A CAP category with name IntervalCategory:
 
-21 primitive operations were used to derive 327 operations for this category
+21 primitive operations were used to derive 336 operations for this category
  which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -92,7 +92,7 @@ <h5>13.1-2 IntervalCategory</h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( PSh );</span>
 A CAP category with name PreSheaves( IntervalCategory, IntervalCategory ):
 
-58 primitive operations were used to derive 284 operations for this category
+61 primitive operations were used to derive 293 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts

diff --git a/Locales/doc/chap13.txt b/Locales/doc/chap13.txt
@@ -29,7 +29,7 @@
     [4X[25Xgap>[125X [27XDisplay( IntervalCategory );[127X[104X
     [4X[28XA CAP category with name IntervalCategory:[128X[104X
     [4X[28X[128X[104X
-    [4X[28X21 primitive operations were used to derive 327 operations for this category[128X[104X
+    [4X[28X21 primitive operations were used to derive 336 operations for this category[128X[104X
     [4X[28X which algorithmically[128X[104X
     [4X[28X* IsCategoryWithDecidableColifts[128X[104X
     [4X[28X* IsCategoryWithDecidableLifts[128X[104X
@@ -45,7 +45,7 @@
     [4X[25Xgap>[125X [27XDisplay( PSh );[127X[104X
     [4X[28XA CAP category with name PreSheaves( IntervalCategory, IntervalCategory ):[128X[104X
     [4X[28X[128X[104X
-    [4X[28X58 primitive operations were used to derive 284 operations for this category[128X[104X
+    [4X[28X61 primitive operations were used to derive 293 operations for this category[128X[104X
     [4X[28Xwhich algorithmically[128X[104X
     [4X[28X* IsCategoryWithDecidableColifts[128X[104X
     [4X[28X* IsCategoryWithDecidableLifts[128X[104X

diff --git a/Locales/doc/chap13_mj.html b/Locales/doc/chap13_mj.html
@@ -79,7 +79,7 @@ <h5>13.1-2 IntervalCategory</h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( IntervalCategory );</span>
 A CAP category with name IntervalCategory:
 
-21 primitive operations were used to derive 327 operations for this category
+21 primitive operations were used to derive 336 operations for this category
  which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -95,7 +95,7 @@ <h5>13.1-2 IntervalCategory</h5>
 <span class="GAPprompt">gap&gt;</span> <span class="GAPinput">Display( PSh );</span>
 A CAP category with name PreSheaves( IntervalCategory, IntervalCategory ):
 
-58 primitive operations were used to derive 284 operations for this category
+61 primitive operations were used to derive 293 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts

diff --git a/Locales/doc/chap8.html b/Locales/doc/chap8.html
@@ -415,7 +415,7 @@ <h5>8.5-1 <span class="Heading">Poset of category</span></h5>
 A CAP category with name
 PosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):
 
-17 primitive operations were used to derive 267 operations for this category
+17 primitive operations were used to derive 276 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -540,7 +540,7 @@ <h5>8.5-2 <span class="Heading">Stable poset of category</span></h5>
 A CAP category with name
 PosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):
 
-17 primitive operations were used to derive 267 operations for this category
+17 primitive operations were used to derive 276 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -554,7 +554,7 @@ <h5>8.5-2 <span class="Heading">Stable poset of category</span></h5>
 StablePosetOfCategory( PosetOfCategory(
 SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ) ):
 
-16 primitive operations were used to derive 329 operations for this category
+16 primitive operations were used to derive 338 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts

diff --git a/Locales/doc/chap8.txt b/Locales/doc/chap8.txt
@@ -318,7 +318,7 @@
     [4X[28XA CAP category with name[128X[104X
     [4X[28XPosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):[128X[104X
     [4X[28X[128X[104X
-    [4X[28X17 primitive operations were used to derive 267 operations for this category[128X[104X
+    [4X[28X17 primitive operations were used to derive 276 operations for this category[128X[104X
     [4X[28Xwhich algorithmically[128X[104X
     [4X[28X* IsCategoryWithDecidableColifts[128X[104X
     [4X[28X* IsCategoryWithDecidableLifts[128X[104X
@@ -440,7 +440,7 @@
     [4X[28XA CAP category with name[128X[104X
     [4X[28XPosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):[128X[104X
     [4X[28X[128X[104X
-    [4X[28X17 primitive operations were used to derive 267 operations for this category[128X[104X
+    [4X[28X17 primitive operations were used to derive 276 operations for this category[128X[104X
     [4X[28Xwhich algorithmically[128X[104X
     [4X[28X* IsCategoryWithDecidableColifts[128X[104X
     [4X[28X* IsCategoryWithDecidableLifts[128X[104X
@@ -454,7 +454,7 @@
     [4X[28XStablePosetOfCategory( PosetOfCategory([128X[104X
     [4X[28XSliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ) ):[128X[104X
     [4X[28X[128X[104X
-    [4X[28X16 primitive operations were used to derive 329 operations for this category[128X[104X
+    [4X[28X16 primitive operations were used to derive 338 operations for this category[128X[104X
     [4X[28Xwhich algorithmically[128X[104X
     [4X[28X* IsCategoryWithDecidableColifts[128X[104X
     [4X[28X* IsCategoryWithDecidableLifts[128X[104X

diff --git a/Locales/doc/chap8_mj.html b/Locales/doc/chap8_mj.html
@@ -418,7 +418,7 @@ <h5>8.5-1 <span class="Heading">Poset of category</span></h5>
 A CAP category with name
 PosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):
 
-17 primitive operations were used to derive 267 operations for this category
+17 primitive operations were used to derive 276 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -543,7 +543,7 @@ <h5>8.5-2 <span class="Heading">Stable poset of category</span></h5>
 A CAP category with name
 PosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):
 
-17 primitive operations were used to derive 267 operations for this category
+17 primitive operations were used to derive 276 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts
@@ -557,7 +557,7 @@ <h5>8.5-2 <span class="Heading">Stable poset of category</span></h5>
 StablePosetOfCategory( PosetOfCategory(
 SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ) ):
 
-16 primitive operations were used to derive 329 operations for this category
+16 primitive operations were used to derive 338 operations for this category
 which algorithmically
 * IsCategoryWithDecidableColifts
 * IsCategoryWithDecidableLifts

diff --git a/_data/Locales.yml b/_data/Locales.yml
@@ -1,7 +1,7 @@
 name: Locales
-version: "2024.10-03"
+version: "2024.11-01"
 license: "GPL-2.0-or-later"
-date: 2024-10-24
+date: 2024-11-10
 description: |
     Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
 
@@ -43,6 +43,9 @@ needed-pkgs:
     - name: "ToolsForCategoricalTowers"
       version: ">= 2024.02-05"
       url: "https://homalg-project.github.io/pkg/ToolsForCategoricalTowers"
+    - name: "Toposes"
+      version: ">= 2024.11-01"
+      url: "https://homalg-project.github.io/pkg/Toposes"
     - name: "FpCategories"
       version: ">= 2024.02-11"
       url: "https://homalg-project.github.io/pkg/FpCategories"
@@ -58,11 +61,11 @@ packageinfo: https://homalg-project.github.io/CategoricalTowers/Locales/PackageI
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.10-03/Locales-2024.10-03.tar.gz
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.11-01/Locales-2024.11-01.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.10-03/Locales-2024.10-03.zip
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.11-01/Locales-2024.11-01.zip
 
-pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.10-03/Locales-2024.10-03-manual.pdf
+pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.11-01/Locales-2024.11-01-manual.pdf
 
 abstract: |
 
@@ -73,10 +76,10 @@ keywords: |
     locale, frame, coframe, locally closed, constructible.
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>BLK24</span>]   <b class='BibAuthor'>Barakat, M., Lange-Hegermann, M. and Kuhmichel, T.</b>,
+    [<span class='BibKey'>BLK10</span>]   <b class='BibAuthor'>Barakat, M., Lange-Hegermann, M. and Kuhmichel, T.</b>,
      <i class='BibTitle'>Locales, Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets,
-             Version 2024.10-03</i>
-     (<span class='BibYear'>0-24</span>)<br />
+             Version 2024.11-01</i>
+     (<span class='BibYear'>1-10</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/Locales">https://homalg-project.github.io/pkg/Locales</a></span>.
     </p>
@@ -89,15 +92,15 @@ bibtex: |
       title =            {{Locales},    Locales,    frames,    coframes,    meet
                           semi\texttt{\symbol{45}}lattices   of  locally  closed
                           subsets,  and  Boolean algebras of constructible sets,
-                          {V}ersion 2024.10\texttt{\symbol{45}}03},
+                          {V}ersion 2024.11\texttt{\symbol{45}}01},
       month =            {4\texttt{\symbol{45}}},
-      year =             {0\texttt{\symbol{45}}24},
+      year =             {1\texttt{\symbol{45}}10},
       note =             {GAP package},
       howpublished =     {\href   {https://homalg-project.github.io/pkg/Locales}
                           {\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary
                           {}{}{}\texttt{Locales}}},
       keywords =         {locale, frame, coframe, locally closed, constructible},
-      printedkey =       {BLK24}
+      printedkey =       {BLK10}
     }