diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
index 05ccce55..a346ad4c 100644
--- a/.github/workflows/Tests.yml
+++ b/.github/workflows/Tests.yml
@@ -60,6 +60,7 @@ jobs:
           git clone --depth 1 -vv https://github.com/homalg-project/FunctorCategories.git
           git clone --depth 1 -vv https://github.com/homalg-project/SubcategoriesForCAP.git
           git clone --depth 1 -vv https://github.com/homalg-project/CategoryConstructor.git
+          git clone --depth 1 -vv https://github.com/homalg-project/Locales.git
       - name: Build documentation of packages which we might want to reference
         run: |
           # keep this in sync with `dev/.release`
diff --git a/ComplexesCategories/PackageInfo.g b/ComplexesCategories/PackageInfo.g
index c48a4b9f..fc7a8139 100644
--- a/ComplexesCategories/PackageInfo.g
+++ b/ComplexesCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ComplexesCategories",
 Subtitle := "Category of (co)chain complexes of an additive category",
-Version := "2023.06-01",
+Version := "2023.06-02",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 
@@ -77,10 +77,10 @@ Dependencies := rec(
                             [ "CAP", ">= 2023.05-03" ],
                             [ "ToolsForHigherHomologicalAlgebra", ">= 2022.12-05" ],
                             [ "PreSheaves", ">= 2023.05-03" ],
+                            [ "Locales", ">= 2023.06-13" ],
                          ],
 
-  SuggestedOtherPackages := [ #[ "Locales", ">= 2023.05-05" ],
-                            ],
+  SuggestedOtherPackages := [ ],
 
   ExternalConditions := [ ],
 ),
diff --git a/ComplexesCategories/examples/notebooks/PreSheaves.ipynb b/ComplexesCategories/examples/notebooks/PreSheaves.ipynb
index 8a07f681..14629b77 100644
--- a/ComplexesCategories/examples/notebooks/PreSheaves.ipynb
+++ b/ComplexesCategories/examples/notebooks/PreSheaves.ipynb
@@ -191,6 +191,7 @@
      "output_type": "stream",
      "text": [
       "27 primitive operations were used to derive 77 operations for this category which algorithmically\n",
+      "* IsAbCategory\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "and furthermore mathematically\n",
diff --git a/ComplexesCategories/gap/Categories.gi b/ComplexesCategories/gap/Categories.gi
index a04f877b..635af3a7 100644
--- a/ComplexesCategories/gap/Categories.gi
+++ b/ComplexesCategories/gap/Categories.gi
@@ -5,38 +5,7 @@
 #
 
 
-BindGlobal( "INTEGERS_CAT",
-  
-  function ( )
-    local category;
-     
-    if IsPackageMarkedForLoading( "Locales", ">= 2023.05-05" ) then
-        
-        return ValueGlobal( "TotalOrderAsCategory" )( "IsInt", {a,b} -> a >= b );
-        
-    else
-        
-        category := CreateCapCategory( "TotalOrderAsCategory( \"IsInt\" )" );
-        category!.category_as_first_argument := true;
-        
-        AddObjectConstructor( category, { cat, i } -> CreateCapCategoryObjectWithAttributes( cat, ObjectDatum, i ) );
-        AddMorphismConstructor( category, { cat, s, datum, r } -> CreateCapCategoryMorphismWithAttributes( cat, s, r ) );
-        
-        AddPreCompose( category, { cat, u, v } -> MorphismConstructor( cat, Source( u ), true, Range( v ) ) );
-        AddIdentityMorphism( category, { cat, u } -> MorphismConstructor( cat, Source( u ), true, Range( u ) ) );
-        
-        AddIsWellDefinedForMorphisms( category, { cat, u } -> ObjectDatum( Source( u ) ) >= ObjectDatum( Range( u ) ) );
-        
-        AddIsEqualForObjects( category, { cat, i, j } -> IsIdenticalObj( ObjectDatum( i ), ObjectDatum( j ) ) );
-        AddIsEqualForMorphisms( category, { cat, u, v } -> IsEqualForObjects( Source( u ), Source( u ) ) and IsEqualForObjects( Range( u ), Range( u ) ) );
-        
-        Finalize( category );
-        
-        return category;
-        
-    fi;
-    
-end ( ) );
+BindGlobal( "INTEGERS_CAT", TotalOrderAsCategory( "IsInt", {a,b} -> a >= b ) );
 
 BindGlobal( "INTEGERS_CAT_OBJS",
   
diff --git a/DerivedCategories/examples/notebooks/HappelTheorem.ipynb b/DerivedCategories/examples/notebooks/HappelTheorem.ipynb
index 4d8d27a4..7298a84e 100644
--- a/DerivedCategories/examples/notebooks/HappelTheorem.ipynb
+++ b/DerivedCategories/examples/notebooks/HappelTheorem.ipynb
@@ -193,6 +193,7 @@
       "A CAP category with name Algebroid( Q, FreeCategory( RightQuiver( \"q(v1,v2,v3,v4)[a:v1->v2,b:v2->v4,c:v1->v3,d:v3->v4]\" ) ) ) / relations:\n",
       "\n",
       "27 primitive operations were used to derive 77 operations for this category which algorithmically\n",
+      "* IsAbCategory\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "and furthermore mathematically\n",
diff --git a/DerivedCategories/examples/notebooks/TiltingEquivalence.ipynb b/DerivedCategories/examples/notebooks/TiltingEquivalence.ipynb
index f92aed53..56fa74eb 100644
--- a/DerivedCategories/examples/notebooks/TiltingEquivalence.ipynb
+++ b/DerivedCategories/examples/notebooks/TiltingEquivalence.ipynb
@@ -226,6 +226,7 @@
      "output_type": "stream",
      "text": [
       "27 primitive operations were used to derive 77 operations for this category which algorithmically\n",
+      "* IsAbCategory\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "and furthermore mathematically\n",