ProsetOfCategory( PathCategory( FinQuiver( "q(a,b)[f:a-≻b,g:b-≻a]" ) )
/ [ f⋅g = id(a), g⋅f = id(b) ] ):
-10 primitive operations were used to derive 76 operations for this category
+11 primitive operations were used to derive 76 operations for this category
which algorithmically
* IsThinCategory
* IsCategoryWithDecidableColifts
@@ -171,7 +167,7 @@
PosetOfCategory( PathCategory( FinQuiver( "q(a,b)[f:a-≻b,g:b-≻a]" ) )
/ [ f⋅g = id(a), g⋅f = id(b) ] ):
-8 primitive operations were used to derive 78 operations for this category
+9 primitive operations were used to derive 78 operations for this category
which algorithmically
* IsCategoryWithDecidableColifts
* IsCategoryWithDecidableLifts
@@ -195,31 +191,6 @@
A CAP category with name
PosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):
-15 primitive operations were used to derive 267 operations for this category
+17 primitive operations were used to derive 267 operations for this category
which algorithmically
* IsCategoryWithDecidableColifts
* IsCategoryWithDecidableLifts
@@ -563,7 +543,7 @@
A CAP category with name
PosetOfCategory( SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ):
-15 primitive operations were used to derive 267 operations for this category
+17 primitive operations were used to derive 267 operations for this category
which algorithmically
* IsCategoryWithDecidableColifts
* IsCategoryWithDecidableLifts
@@ -577,7 +557,7 @@
StablePosetOfCategory( PosetOfCategory(
SliceCategoryOverTensorUnit( Rows( Q[x,y] ) ) ) ):
-15 primitive operations were used to derive 329 operations for this category
+16 primitive operations were used to derive 329 operations for this category
which algorithmically
* IsCategoryWithDecidableColifts
* IsCategoryWithDecidableLifts
diff --git a/Locales/doc/chapInd.html b/Locales/doc/chapInd.html
index f3de3a282..97a31eb49 100644
--- a/Locales/doc/chapInd.html
+++ b/Locales/doc/chapInd.html
@@ -25,7 +25,6 @@
Index
-
/, for IsCapCategoryCell, IsProsetOrPosetOfCapCategory
8.2-10
\*, for IsObjectInThinCategory, IsObjectInThinCategory
3.3-1
\+, for IsObjectInThinCategory, IsObjectInThinCategory
3.3-2
\-, for IsObjectInThinCategory, IsObjectInThinCategory
10.1-2
@@ -50,10 +49,6 @@
Index
AddUniqueMorphism, for IsCapCategory, IsFunction
1.6-2
AmbientCategory, for IsProsetOrPosetOfCapCategory
8.3-1
AreIsomorphicForObjectsIfIsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject
1.4-1
-
AsCellOfPoset, for IsCapCategoryCell
8.2-8
-
AsCellOfProset, for IsCapCategoryCell
8.2-6
-
AsCellOfStablePoset, for IsCapCategoryCell
8.2-9
-
AsCellOfStableProset, for IsCapCategoryCell
8.2-7
AsMultipleDifference 11.1-2
AsSingleDifference, for IsObjectInMeetSemilatticeOfMultipleDifferences
11.2-1
AsUnionOfMultipleDifferences, for IsDatastructureForConstructibleObjects
14.3-9
@@ -98,6 +93,7 @@
Index
IsBooleanAlgebraOfConstructibleObjectsAsUnionOfSingleDifferences, for IsBooleanAlgebraOfConstructibleObjects
12.5-7
IsBooleanAlgebroid, for IsCapCategory
6.1-3
IsCartesianProset, for IsCapCategory
3.1-1
+
IsCategoryWithoutMorphismData, for IsCapCategory
1.5-1
IsCellInIntervalCategory, for IsCapCategoryCell
13.3-2
IsCellInPosetOfCategory, for IsCellInProsetOrPosetOfCategory
8.5-12
IsCellInProsetOfCategory, for IsCellInProsetOrPosetOfCategory
8.5-8
@@ -147,7 +143,7 @@
Index
IsMorphismInMeetSemilatticeOfSingleDifferences, for IsMorphismInMeetSemilatticeOfDifferences
10.3-3
IsMorphismInPosetOfCategory, for IsCellInPosetOfCategory and IsMorphismInThinCategory
8.5-14
IsMorphismInProsetOfCategory, for IsCellInProsetOfCategory and IsMorphismInThinCategory
8.5-10
-
IsMorphismInThinCategory, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism
1.5-2
+
IsMorphismInThinCategory, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism
1.5-3
IsNodeInDatastructureOfConstructibleObjects, for IsAttributeStoringRep
14.4-2
IsObjectInIntervalCategory, for IsCellInIntervalCategory and IsCapCategoryObject
13.3-3
IsObjectInMeetSemilatticeOfDifferences, for IsObjectInThinCategory
9.4-2
@@ -156,12 +152,12 @@
Index
IsObjectInPosetOfCategory, for IsCellInPosetOfCategory and IsObjectInProsetOrPosetOfCategory
8.5-13
IsObjectInProsetOfCategory, for IsCellInProsetOfCategory and IsObjectInProsetOrPosetOfCategory
8.5-9
IsObjectInProsetOrPosetOfCategory, for IsCellInProsetOrPosetOfCategory and IsObjectInThinCategory
8.5-6
-
IsObjectInThinCategory, for IsCapCategoryObject
1.5-1
+
IsObjectInThinCategory, for IsCapCategoryObject
1.5-2
IsOpen, for IsConstructibleObject
12.2-1
for IsObjectInMeetSemilatticeOfDifferences
9.1-2
IsPosetCategory, for IsCapCategory
2.1-1
IsPosetOfCapCategory, for IsProsetOrPosetOfCapCategory
8.5-11
-
IsProsetAsCategory, for IsCapCategory and IsThinCategory
7.3-1
+
IsProsetAsCategory, for IsCategoryWithoutMorphismData
7.3-1
IsProsetOfCapCategory, for IsProsetOrPosetOfCapCategory
8.5-7
IsProsetOrPosetOfCapCategory, for IsCapCategory
8.5-3
IsSymmetricClosedMonoidalLattice, for IsCapCategory
3.1-13
@@ -220,8 +216,9 @@
Index
TotalOrderAsCategory, for IsString, IsFunction
7.1-3
UnderlyingCategory, for IsBooleanAlgebraOfConstructibleObjects
12.3-1
for IsMeetSemilatticeOfDifferences
9.2-1
-
UnderlyingCell, for IsCellInProsetOfCategory
8.3-2
-
UnderlyingObject, for IsObjectInThinCategory
7.2-5
+
UnderlyingDatum, for IsObjectInThinCategory
7.2-5
+
UnderlyingMorphism, for IsMorphismInPosetOfCategory
8.3-3
+
UnderlyingObject, for IsObjectInProsetOfCategory
8.3-2
UnderlyingObjectEqualityFunction, for IsProsetAsCategory
7.2-3
UnderlyingObjectFilter, for IsProsetAsCategory
7.2-1
UnderlyingObjectMembershipFunction, for IsProsetAsCategory
7.2-2
diff --git a/Locales/doc/chapInd.txt b/Locales/doc/chapInd.txt
index 53c76b9d9..dc498101f 100644
--- a/Locales/doc/chapInd.txt
+++ b/Locales/doc/chapInd.txt
@@ -2,7 +2,6 @@
[1XIndex[101X
- [2X/[102X, for IsCapCategoryCell, IsProsetOrPosetOfCapCategory 8.2-10
[2X\*[102X, for IsObjectInThinCategory, IsObjectInThinCategory 3.3-1
[2X\+[102X, for IsObjectInThinCategory, IsObjectInThinCategory 3.3-2
[2X\-[102X, for IsObjectInThinCategory, IsObjectInThinCategory 10.1-2
@@ -27,10 +26,6 @@
[2XAddUniqueMorphism[102X, for IsCapCategory, IsFunction 1.6-2
[2XAmbientCategory[102X, for IsProsetOrPosetOfCapCategory 8.3-1
[2XAreIsomorphicForObjectsIfIsHomSetInhabited[102X, for IsCapCategoryObject, IsCapCategoryObject 1.4-1
- [2XAsCellOfPoset[102X, for IsCapCategoryCell 8.2-8
- [2XAsCellOfProset[102X, for IsCapCategoryCell 8.2-6
- [2XAsCellOfStablePoset[102X, for IsCapCategoryCell 8.2-9
- [2XAsCellOfStableProset[102X, for IsCapCategoryCell 8.2-7
[2XAsMultipleDifference[102X 11.1-2
[2XAsSingleDifference[102X, for IsObjectInMeetSemilatticeOfMultipleDifferences 11.2-1
[2XAsUnionOfMultipleDifferences[102X, for IsDatastructureForConstructibleObjects 14.3-9
@@ -75,6 +70,7 @@
[2XIsBooleanAlgebraOfConstructibleObjectsAsUnionOfSingleDifferences[102X, for IsBooleanAlgebraOfConstructibleObjects 12.5-7
[2XIsBooleanAlgebroid[102X, for IsCapCategory 6.1-3
[2XIsCartesianProset[102X, for IsCapCategory 3.1-1
+ [2XIsCategoryWithoutMorphismData[102X, for IsCapCategory 1.5-1
[2XIsCellInIntervalCategory[102X, for IsCapCategoryCell 13.3-2
[2XIsCellInPosetOfCategory[102X, for IsCellInProsetOrPosetOfCategory 8.5-12
[2XIsCellInProsetOfCategory[102X, for IsCellInProsetOrPosetOfCategory 8.5-8
@@ -124,7 +120,7 @@
[2XIsMorphismInMeetSemilatticeOfSingleDifferences[102X, for IsMorphismInMeetSemilatticeOfDifferences 10.3-3
[2XIsMorphismInPosetOfCategory[102X, for IsCellInPosetOfCategory and IsMorphismInThinCategory 8.5-14
[2XIsMorphismInProsetOfCategory[102X, for IsCellInProsetOfCategory and IsMorphismInThinCategory 8.5-10
- [2XIsMorphismInThinCategory[102X, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism 1.5-2
+ [2XIsMorphismInThinCategory[102X, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism 1.5-3
[2XIsNodeInDatastructureOfConstructibleObjects[102X, for IsAttributeStoringRep 14.4-2
[2XIsObjectInIntervalCategory[102X, for IsCellInIntervalCategory and IsCapCategoryObject 13.3-3
[2XIsObjectInMeetSemilatticeOfDifferences[102X, for IsObjectInThinCategory 9.4-2
@@ -133,12 +129,12 @@
[2XIsObjectInPosetOfCategory[102X, for IsCellInPosetOfCategory and IsObjectInProsetOrPosetOfCategory 8.5-13
[2XIsObjectInProsetOfCategory[102X, for IsCellInProsetOfCategory and IsObjectInProsetOrPosetOfCategory 8.5-9
[2XIsObjectInProsetOrPosetOfCategory[102X, for IsCellInProsetOrPosetOfCategory and IsObjectInThinCategory 8.5-6
- [2XIsObjectInThinCategory[102X, for IsCapCategoryObject 1.5-1
+ [2XIsObjectInThinCategory[102X, for IsCapCategoryObject 1.5-2
[2XIsOpen[102X, for IsConstructibleObject 12.2-1
for IsObjectInMeetSemilatticeOfDifferences 9.1-2
[2XIsPosetCategory[102X, for IsCapCategory 2.1-1
[2XIsPosetOfCapCategory[102X, for IsProsetOrPosetOfCapCategory 8.5-11
- [2XIsProsetAsCategory[102X, for IsCapCategory and IsThinCategory 7.3-1
+ [2XIsProsetAsCategory[102X, for IsCategoryWithoutMorphismData 7.3-1
[2XIsProsetOfCapCategory[102X, for IsProsetOrPosetOfCapCategory 8.5-7
[2XIsProsetOrPosetOfCapCategory[102X, for IsCapCategory 8.5-3
[2XIsSymmetricClosedMonoidalLattice[102X, for IsCapCategory 3.1-13
@@ -197,8 +193,9 @@
[2XTotalOrderAsCategory[102X, for IsString, IsFunction 7.1-3
[2XUnderlyingCategory[102X, for IsBooleanAlgebraOfConstructibleObjects 12.3-1
for IsMeetSemilatticeOfDifferences 9.2-1
- [2XUnderlyingCell[102X, for IsCellInProsetOfCategory 8.3-2
- [2XUnderlyingObject[102X, for IsObjectInThinCategory 7.2-5
+ [2XUnderlyingDatum[102X, for IsObjectInThinCategory 7.2-5
+ [2XUnderlyingMorphism[102X, for IsMorphismInPosetOfCategory 8.3-3
+ [2XUnderlyingObject[102X, for IsObjectInProsetOfCategory 8.3-2
[2XUnderlyingObjectEqualityFunction[102X, for IsProsetAsCategory 7.2-3
[2XUnderlyingObjectFilter[102X, for IsProsetAsCategory 7.2-1
[2XUnderlyingObjectMembershipFunction[102X, for IsProsetAsCategory 7.2-2
diff --git a/Locales/doc/chapInd_mj.html b/Locales/doc/chapInd_mj.html
index 8160e5b0f..56e52e08e 100644
--- a/Locales/doc/chapInd_mj.html
+++ b/Locales/doc/chapInd_mj.html
@@ -28,7 +28,6 @@
Index
-
/, for IsCapCategoryCell, IsProsetOrPosetOfCapCategory
8.2-10
\*, for IsObjectInThinCategory, IsObjectInThinCategory
3.3-1
\+, for IsObjectInThinCategory, IsObjectInThinCategory
3.3-2
\-, for IsObjectInThinCategory, IsObjectInThinCategory
10.1-2
@@ -53,10 +52,6 @@
Index
AddUniqueMorphism, for IsCapCategory, IsFunction
1.6-2
AmbientCategory, for IsProsetOrPosetOfCapCategory
8.3-1
AreIsomorphicForObjectsIfIsHomSetInhabited, for IsCapCategoryObject, IsCapCategoryObject
1.4-1
-
AsCellOfPoset, for IsCapCategoryCell
8.2-8
-
AsCellOfProset, for IsCapCategoryCell
8.2-6
-
AsCellOfStablePoset, for IsCapCategoryCell
8.2-9
-
AsCellOfStableProset, for IsCapCategoryCell
8.2-7
AsMultipleDifference 11.1-2
AsSingleDifference, for IsObjectInMeetSemilatticeOfMultipleDifferences
11.2-1
AsUnionOfMultipleDifferences, for IsDatastructureForConstructibleObjects
14.3-9
@@ -101,6 +96,7 @@
Index
IsBooleanAlgebraOfConstructibleObjectsAsUnionOfSingleDifferences, for IsBooleanAlgebraOfConstructibleObjects
12.5-7
IsBooleanAlgebroid, for IsCapCategory
6.1-3
IsCartesianProset, for IsCapCategory
3.1-1
+
IsCategoryWithoutMorphismData, for IsCapCategory
1.5-1
IsCellInIntervalCategory, for IsCapCategoryCell
13.3-2
IsCellInPosetOfCategory, for IsCellInProsetOrPosetOfCategory
8.5-12
IsCellInProsetOfCategory, for IsCellInProsetOrPosetOfCategory
8.5-8
@@ -150,7 +146,7 @@
Index
IsMorphismInMeetSemilatticeOfSingleDifferences, for IsMorphismInMeetSemilatticeOfDifferences
10.3-3
IsMorphismInPosetOfCategory, for IsCellInPosetOfCategory and IsMorphismInThinCategory
8.5-14
IsMorphismInProsetOfCategory, for IsCellInProsetOfCategory and IsMorphismInThinCategory
8.5-10
-
IsMorphismInThinCategory, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism
1.5-2
+
IsMorphismInThinCategory, for IsCapCategoryMorphism and IsMonomorphism and IsEpimorphism
1.5-3
IsNodeInDatastructureOfConstructibleObjects, for IsAttributeStoringRep
14.4-2
IsObjectInIntervalCategory, for IsCellInIntervalCategory and IsCapCategoryObject
13.3-3
IsObjectInMeetSemilatticeOfDifferences, for IsObjectInThinCategory
9.4-2
@@ -159,12 +155,12 @@
Index
IsObjectInPosetOfCategory, for IsCellInPosetOfCategory and IsObjectInProsetOrPosetOfCategory
8.5-13
IsObjectInProsetOfCategory, for IsCellInProsetOfCategory and IsObjectInProsetOrPosetOfCategory
8.5-9
IsObjectInProsetOrPosetOfCategory, for IsCellInProsetOrPosetOfCategory and IsObjectInThinCategory
8.5-6
-
IsObjectInThinCategory, for IsCapCategoryObject
1.5-1
+
IsObjectInThinCategory, for IsCapCategoryObject
1.5-2
IsOpen, for IsConstructibleObject
12.2-1
for IsObjectInMeetSemilatticeOfDifferences
9.1-2
IsPosetCategory, for IsCapCategory
2.1-1
IsPosetOfCapCategory, for IsProsetOrPosetOfCapCategory
8.5-11
-
IsProsetAsCategory, for IsCapCategory and IsThinCategory
7.3-1
+
IsProsetAsCategory, for IsCategoryWithoutMorphismData
7.3-1
IsProsetOfCapCategory, for IsProsetOrPosetOfCapCategory
8.5-7
IsProsetOrPosetOfCapCategory, for IsCapCategory
8.5-3
IsSymmetricClosedMonoidalLattice, for IsCapCategory
3.1-13
@@ -223,8 +219,9 @@
Index
TotalOrderAsCategory, for IsString, IsFunction
7.1-3
UnderlyingCategory, for IsBooleanAlgebraOfConstructibleObjects
12.3-1
for IsMeetSemilatticeOfDifferences
9.2-1
-
UnderlyingCell, for IsCellInProsetOfCategory
8.3-2
-
UnderlyingObject, for IsObjectInThinCategory
7.2-5
+
UnderlyingDatum, for IsObjectInThinCategory
7.2-5
+
UnderlyingMorphism, for IsMorphismInPosetOfCategory
8.3-3
+
UnderlyingObject, for IsObjectInProsetOfCategory
8.3-2
UnderlyingObjectEqualityFunction, for IsProsetAsCategory
7.2-3
UnderlyingObjectFilter, for IsProsetAsCategory
7.2-1
UnderlyingObjectMembershipFunction, for IsProsetAsCategory
7.2-2
diff --git a/_data/Locales.yml b/_data/Locales.yml
index d02f26cba..ca2921837 100644
--- a/_data/Locales.yml
+++ b/_data/Locales.yml
@@ -1,7 +1,7 @@
name: Locales
-version: "2024.09-02"
+version: "2024.09-03"
license: "GPL-2.0-or-later"
-date: 2024-09-06
+date: 2024-09-07
description: |
Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
@@ -58,11 +58,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.09-02/Locales-2024.09-02.tar.gz
+ url: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.09-03/Locales-2024.09-03.tar.gz
- name: .zip
- url: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.09-02/Locales-2024.09-02.zip
+ url: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.09-03/Locales-2024.09-03.zip
-pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.09-02/Locales-2024.09-02-manual.pdf
+pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/Locales-2024.09-03/Locales-2024.09-03-manual.pdf
abstract: |
@@ -73,10 +73,10 @@ keywords: |
locale, frame, coframe, locally closed, constructible.
citeas: |
- [BLK06] Barakat, M., Lange-Hegermann, M. and Kuhmichel, T.,
+ [BLK07] Barakat, M., Lange-Hegermann, M. and Kuhmichel, T.,
Locales, Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets,
- Version 2024.09-02
- (9-06)
+ Version 2024.09-03
+ (9-07)
(GAP package),
https://homalg-project.github.io/pkg/Locales.
@@ -89,15 +89,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.09\texttt{\symbol{45}}02},
+ {V}ersion 2024.09\texttt{\symbol{45}}03},
month = {4\texttt{\symbol{45}}},
- year = {9\texttt{\symbol{45}}06},
+ year = {9\texttt{\symbol{45}}07},
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 = {BLK06}
+ printedkey = {BLK07}
}