Update to latest Toposes

zickgraf · Jul 24, 2023 · ae46445 · ae46445
1 parent 4a7ace6
commit ae46445
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 28 deletions.
diff --git a/docs/src/AutoDocTests.tst.autogen.md b/docs/src/AutoDocTests.tst.autogen.md
@@ -37,6 +37,9 @@ julia> sa = SingletonMorphism( a )
 julia> Display( sa )
 [ 0, 1, 2 ] ⱶ[ 1, 2, 4 ]→ [ 0,..., 7 ]
 
+julia> sa == LowerSegmentOfRelation( a, a, CartesianDiagonal( a, 2 ) )
+true
+
 ```
 
 ```jldoctest AutoDocTests
@@ -133,32 +136,6 @@ julia> using CAP; using CartesianCategories; using FinSetsForCAP; using Toposes
 julia> true
 true
 
-julia> LTI = LawvereTierneyLocalModalityOperators( SkeletalFinSets );
-
-julia> Perform( LTI, Display )
-[ 0, 1 ] ⱶ[ 0, 1 ]→ [ 0, 1 ]
-[ 0, 1 ] ⱶ[ 1, 1 ]→ [ 0, 1 ]
-
-julia> LTS = LawvereTierneySubobjects( SkeletalFinSets );
-
-julia> Perform( LTS, Display )
-[ 0 ] ⱶ[ 1 ]→ [ 0, 1 ]
-[ 0, 1 ] ⱶ[ 0, 1 ]→ [ 0, 1 ]
-
-julia> LTC = LawvereTierneyEmbeddingsOfSubobjectClassifiers( SkeletalFinSets );
-
-julia> Perform( LTC, Display )
-[ 0, 1 ] ⱶ[ 0, 1 ]→ [ 0, 1 ]
-[ 0 ] ⱶ[ 1 ]→ [ 0, 1 ]
-
-```
-
-```jldoctest AutoDocTests
-julia> using CAP; using CartesianCategories; using FinSetsForCAP; using Toposes
-
-julia> true
-true
-
 julia> K = FinSet( [ 2, 3, 5 ] );
 
 julia> Display( K )
@@ -325,6 +302,32 @@ julia> using CAP; using CartesianCategories; using FinSetsForCAP; using Toposes
 julia> true
 true
 
+julia> LTI = LawvereTierneyLocalModalityOperators( SkeletalFinSets );
+
+julia> Perform( LTI, Display )
+[ 0, 1 ] ⱶ[ 0, 1 ]→ [ 0, 1 ]
+[ 0, 1 ] ⱶ[ 1, 1 ]→ [ 0, 1 ]
+
+julia> LTS = LawvereTierneySubobjects( SkeletalFinSets );
+
+julia> Perform( LTS, Display )
+[ 0 ] ⱶ[ 1 ]→ [ 0, 1 ]
+[ 0, 1 ] ⱶ[ 0, 1 ]→ [ 0, 1 ]
+
+julia> LTC = LawvereTierneyEmbeddingsOfSubobjectClassifiers( SkeletalFinSets );
+
+julia> Perform( LTC, Display )
+[ 0, 1 ] ⱶ[ 0, 1 ]→ [ 0, 1 ]
+[ 0 ] ⱶ[ 1 ]→ [ 0, 1 ]
+
+```
+
+```jldoctest AutoDocTests
+julia> using CAP; using CartesianCategories; using FinSetsForCAP; using Toposes
+
+julia> true
+true
+
 julia> true
 true
 

diff --git a/src/gap/Topos.gd.autogen.jl b/src/gap/Topos.gd.autogen.jl
@@ -72,7 +72,7 @@ DeclareGlobalVariable( "TOPOS_METHOD_NAME_RECORD" );
 AddCategoricalProperty( [ "IsElementaryTopos", fail ] );
 
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsElementaryTopos =
-  SortedList(
+  DuplicateFreeList( SortedList(
           @Concatenation( [
                   "SubobjectClassifier",
                   "ClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier",
@@ -82,7 +82,7 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsElementaryTopos =
                   CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCartesianClosedCategory,
                   CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsFiniteCompleteCategory,
                   CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsFiniteCocompleteCategory,
-                  CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsDistributiveCategory ) );
+                  CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsDistributiveCategory ) ) );
 
 #! A subobject classifier consists of three parts:
 #! * an object $\Omega$,