diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index a3f4accc3..6b9647bf7 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -53,7 +53,7 @@ You need to have [Git](https://git-scm.com/), [NodeJS](https://nodejs.org/) and
 
 ### Updating the Database
 
-All updates to the database are made by modifying the YAML files in the folder [/databases/catdat/data](databases/catdat/data). See [DATABASE.md](/DATABASE.md) for an overview of the database structure, and see [below](#authoring-of-yaml-files) for some tips how to edit YAML files.
+All updates to the database are made by modifying the YAML files in the folder [/database/data](database/data). See [DATABASE.md](/DATABASE.md) for an overview of the database structure, and see [below](#authoring-of-yaml-files) for some tips how to edit YAML files.
 
 Apply the updates using:
 
@@ -67,7 +67,7 @@ You can also use
 pnpm db:watch
 ```
 
-to continuously run this update when a file in the subfolder [/databases/catdat/data](/databases/catdat/data) changes.
+to continuously run this update when a file in the subfolder [/database/data](/database/data) changes.
 
 ### Troubleshooting
 
@@ -80,8 +80,8 @@ The `pnpm db:test` command runs several tests to ensure the data behaves as expe
 
 1. Properties and their duals are mutual.
 2. Categories and their duals are mutual.
-3. For a specified list of categories (see [decided-categories.json](/databases/catdat/scripts/expected-data/decided-categories.json)) and functors (see [decided-functors.json](/databases/catdat/scripts/expected-data/decided-functors.json)), all properties have been decided.
-4. Every property of the categories `Set`, `Ab`, `Top` and the functors `forget_vector`, `id_Set` matches precisely the expected properties defined in the [/databases/catdat/scripts/expected-data](/databases/catdat/scripts/expected-data/) folder.
+3. For a specified list of categories (see [decided-categories.json](/database/scripts/expected-data/decided-categories.json)) and functors (see [decided-functors.json](/database/scripts/expected-data/decided-functors.json)), all properties have been decided.
+4. Every property of the categories `Set`, `Ab`, `Top` and the functors `forget_vector`, `id_Set` matches precisely the expected properties defined in the [/database/scripts/expected-data](/database/scripts/expected-data/) folder.
 
 If any of these tests fail, adjust the data accordingly.
 
@@ -149,7 +149,7 @@ In particular, it often makes sense to **keep** a redundant assignment of a sati
 
 For example, you may first prove that a category has zero morphisms, and then prove that it is normal. Although the database contains the implication "normal => zero morphisms", in practice the latter is used as a prerequisite. Similarly, when proving that a category is extensive, it is often clearer to first show that finite coproducts exist, rather than relying on the implication "extensive => finite coproducts". Also, an explicit description of finite coproducts is useful for deciding other properties involving coproducts.
 
-Every redundant assignment of a satisfied property that is intentionally kept must be explicitly marked to skip the redundancy check. See [`N.yaml`](/databases/catdat/data/categories/N.yaml) for an example.
+Every redundant assignment of a satisfied property that is intentionally kept must be explicitly marked to skip the redundancy check. See [`N.yaml`](/database/data/categories/N.yaml) for an example.
 
 ### Keep Pull Requests Focused
 
@@ -172,7 +172,7 @@ As a practical guideline, avoid introducing more than four properties (or four c
 2. Use `\varnothing` to display the empty set, not `\emptyset`.
 3. For declarations of functions or morphisms use `f : X \to Y`, not `f \colon X \to Y`.
 4. For definitions use `\coloneqq` instead of `:=`.
-5. For LaTeX symbols that are used repeatedly, in particular category-theoretic notation, define a LaTeX macro in [macros.yaml](databases/catdat/data/macros.yaml).
+5. For LaTeX symbols that are used repeatedly, in particular category-theoretic notation, define a LaTeX macro in [macros.yaml](database/data/macros.yaml).
 
 ### Responsible Use of AI
 
@@ -193,6 +193,6 @@ If you are not familiar with YAML, a short beginner-friendly introduction can be
 
 1. It is recommended to enable word wrap in your editor when working with YAML files.
 2. HTML may be used inside string values, for example for links (`<a>`), italic text (`<i>`), and ordered lists (`<ol>`).
-3. Use single-quoted strings (`'...'`) for values containing `:`. See [`Cat.yaml`](/databases/catdat/data/categories/Cat.yaml) for an example. Inside single-quoted strings, a literal single quote must be escaped as `''`. See [`Man.yaml`](/databases/catdat/data/categories/Man.yaml) for an example.
-4. Use `>-` for multiline text that should be rendered as a single paragraph without line breaks. This is particularly useful for improving readability of longer texts or HTML lists in the YAML file itself. See [`core-thin.yaml`](/databases/catdat/data/category-properties/core-thin.yaml) for an example.
-5. Use `|-` for multiline text where line breaks should be preserved. These line breaks are automatically converted to `<br>` when rendered. See [`FreeAb.yaml`](/databases/catdat/data/categories/FreeAb.yaml) for an example.
+3. Use single-quoted strings (`'...'`) for values containing `:`. See [`Cat.yaml`](/database/data/categories/Cat.yaml) for an example. Inside single-quoted strings, a literal single quote must be escaped as `''`. See [`Man.yaml`](/database/data/categories/Man.yaml) for an example.
+4. Use `>-` for multiline text that should be rendered as a single paragraph without line breaks. This is particularly useful for improving readability of longer texts or HTML lists in the YAML file itself. See [`core-thin.yaml`](/database/data/category-properties/core-thin.yaml) for an example.
+5. Use `|-` for multiline text where line breaks should be preserved. These line breaks are automatically converted to `<br>` when rendered. See [`FreeAb.yaml`](/database/data/categories/FreeAb.yaml) for an example.
diff --git a/DATABASE.md b/DATABASE.md
index 61cb50c1c..87c15eaf0 100644
--- a/DATABASE.md
+++ b/DATABASE.md
@@ -4,7 +4,7 @@
 
 _CatDat_ is based on a [SQLite database](https://sqlite.org/). During runtime of the application, it is read-only.
 
-The local copy of the database is located at `/databases/catdat/catdat.db`. It contains three main tables:
+The local copy of the database is located at `/database/catdat.db`. It contains three main tables:
 
 - `structures`
 - `properties`
@@ -38,7 +38,7 @@ Additional tables are available. For a complete overview, see the diagram below.
 
 ## Schema vs. Data
 
-The schema defines the structure of the database: tables, views, indexes, and triggers. It is specified in several SQL files located in the subfolder [/databases/catdat/schema](/databases/catdat/schema/). The command
+The schema defines the structure of the database: tables, views, indexes, and triggers. It is specified in several SQL files located in the subfolder [/database/schema](/database/schema/). The command
 
 ```
 pnpm db:setup
@@ -46,7 +46,7 @@ pnpm db:setup
 
 deletes the old database file (if it exists) and creates a new one using this schema. This is required when the schema changes.
 
-Database entries (categories, functors, properties, implications, etc.) are defined in YAML files located in the subfolder [/databases/catdat/data](/databases/catdat/data/). The command
+Database entries (categories, functors, properties, implications, etc.) are defined in YAML files located in the subfolder [/database/data](/database/data/). The command
 
 ```
 pnpm db:seed
@@ -94,7 +94,7 @@ Use
 pnpm db:watch
 ```
 
-to run this command automatically every time a file in the subfolder [/databases/catdat/data](/databases/catdat/data) changes. This is useful in particular during development.
+to run this command automatically every time a file in the subfolder [/database/data](/database/data) changes. This is useful in particular during development.
 
 ## Redundancies
 
diff --git a/DEPLOYMENT.md b/DEPLOYMENT.md
index 0188373be..f89062755 100644
--- a/DEPLOYMENT.md
+++ b/DEPLOYMENT.md
@@ -11,7 +11,7 @@ Most pages are prerendered for performance reasons. This implies that the databa
 
 ## Databases
 
-The CatDat SQLite database `catdat.db` is deployed as a file alongside the web application to Netlify and is located at `/var/task/databases/catdat/catdat.db` after deployment. The file system on Netlify is ephemeral, so this only works because the database is read-only during the runtime of the application.
+The CatDat SQLite database `catdat.db` is deployed as a file alongside the web application to Netlify and is located at `/var/task/database/catdat.db` after deployment. The file system on Netlify is ephemeral, so this only works because the database is read-only during the runtime of the application.
 
 However, the SQLite database `app.db` (used for user submissions and page visits) requires writes and is hosted remotely on [Turso](https://turso.tech).
 
diff --git a/databases/.gitignore b/database/.gitignore
similarity index 100%
rename from databases/.gitignore
rename to database/.gitignore
diff --git a/databases/catdat/data/categories/0.yaml b/database/data/categories/0.yaml
similarity index 100%
rename from databases/catdat/data/categories/0.yaml
rename to database/data/categories/0.yaml
diff --git a/databases/catdat/data/categories/1.yaml b/database/data/categories/1.yaml
similarity index 100%
rename from databases/catdat/data/categories/1.yaml
rename to database/data/categories/1.yaml
diff --git a/databases/catdat/data/categories/2.yaml b/database/data/categories/2.yaml
similarity index 100%
rename from databases/catdat/data/categories/2.yaml
rename to database/data/categories/2.yaml
diff --git a/databases/catdat/data/categories/Ab.yaml b/database/data/categories/Ab.yaml
similarity index 100%
rename from databases/catdat/data/categories/Ab.yaml
rename to database/data/categories/Ab.yaml
diff --git a/databases/catdat/data/categories/Ab_fg.yaml b/database/data/categories/Ab_fg.yaml
similarity index 100%
rename from databases/catdat/data/categories/Ab_fg.yaml
rename to database/data/categories/Ab_fg.yaml
diff --git a/databases/catdat/data/categories/Alg(R).yaml b/database/data/categories/Alg(R).yaml
similarity index 100%
rename from databases/catdat/data/categories/Alg(R).yaml
rename to database/data/categories/Alg(R).yaml
diff --git a/databases/catdat/data/categories/B.yaml b/database/data/categories/B.yaml
similarity index 100%
rename from databases/catdat/data/categories/B.yaml
rename to database/data/categories/B.yaml
diff --git a/databases/catdat/data/categories/BG_c.yaml b/database/data/categories/BG_c.yaml
similarity index 100%
rename from databases/catdat/data/categories/BG_c.yaml
rename to database/data/categories/BG_c.yaml
diff --git a/databases/catdat/data/categories/BG_f.yaml b/database/data/categories/BG_f.yaml
similarity index 100%
rename from databases/catdat/data/categories/BG_f.yaml
rename to database/data/categories/BG_f.yaml
diff --git a/databases/catdat/data/categories/BG_u.yaml b/database/data/categories/BG_u.yaml
similarity index 100%
rename from databases/catdat/data/categories/BG_u.yaml
rename to database/data/categories/BG_u.yaml
diff --git a/databases/catdat/data/categories/BN.yaml b/database/data/categories/BN.yaml
similarity index 100%
rename from databases/catdat/data/categories/BN.yaml
rename to database/data/categories/BN.yaml
diff --git a/databases/catdat/data/categories/BOn.yaml b/database/data/categories/BOn.yaml
similarity index 100%
rename from databases/catdat/data/categories/BOn.yaml
rename to database/data/categories/BOn.yaml
diff --git a/databases/catdat/data/categories/Ban.yaml b/database/data/categories/Ban.yaml
similarity index 100%
rename from databases/catdat/data/categories/Ban.yaml
rename to database/data/categories/Ban.yaml
diff --git a/databases/catdat/data/categories/CAlg(R).yaml b/database/data/categories/CAlg(R).yaml
similarity index 100%
rename from databases/catdat/data/categories/CAlg(R).yaml
rename to database/data/categories/CAlg(R).yaml
diff --git a/databases/catdat/data/categories/CMon.yaml b/database/data/categories/CMon.yaml
similarity index 100%
rename from databases/catdat/data/categories/CMon.yaml
rename to database/data/categories/CMon.yaml
diff --git a/databases/catdat/data/categories/CRing.yaml b/database/data/categories/CRing.yaml
similarity index 100%
rename from databases/catdat/data/categories/CRing.yaml
rename to database/data/categories/CRing.yaml
diff --git a/databases/catdat/data/categories/Cat.yaml b/database/data/categories/Cat.yaml
similarity index 100%
rename from databases/catdat/data/categories/Cat.yaml
rename to database/data/categories/Cat.yaml
diff --git a/databases/catdat/data/categories/CompHaus.yaml b/database/data/categories/CompHaus.yaml
similarity index 100%
rename from databases/catdat/data/categories/CompHaus.yaml
rename to database/data/categories/CompHaus.yaml
diff --git a/databases/catdat/data/categories/Delta.yaml b/database/data/categories/Delta.yaml
similarity index 100%
rename from databases/catdat/data/categories/Delta.yaml
rename to database/data/categories/Delta.yaml
diff --git a/databases/catdat/data/categories/FI.yaml b/database/data/categories/FI.yaml
similarity index 100%
rename from databases/catdat/data/categories/FI.yaml
rename to database/data/categories/FI.yaml
diff --git a/databases/catdat/data/categories/FS.yaml b/database/data/categories/FS.yaml
similarity index 100%
rename from databases/catdat/data/categories/FS.yaml
rename to database/data/categories/FS.yaml
diff --git a/databases/catdat/data/categories/FiltVect.yaml b/database/data/categories/FiltVect.yaml
similarity index 100%
rename from databases/catdat/data/categories/FiltVect.yaml
rename to database/data/categories/FiltVect.yaml
diff --git a/databases/catdat/data/categories/FinAb.yaml b/database/data/categories/FinAb.yaml
similarity index 100%
rename from databases/catdat/data/categories/FinAb.yaml
rename to database/data/categories/FinAb.yaml
diff --git a/databases/catdat/data/categories/FinGrp.yaml b/database/data/categories/FinGrp.yaml
similarity index 100%
rename from databases/catdat/data/categories/FinGrp.yaml
rename to database/data/categories/FinGrp.yaml
diff --git a/databases/catdat/data/categories/FinOrd.yaml b/database/data/categories/FinOrd.yaml
similarity index 100%
rename from databases/catdat/data/categories/FinOrd.yaml
rename to database/data/categories/FinOrd.yaml
diff --git a/databases/catdat/data/categories/FinSet.yaml b/database/data/categories/FinSet.yaml
similarity index 100%
rename from databases/catdat/data/categories/FinSet.yaml
rename to database/data/categories/FinSet.yaml
diff --git a/databases/catdat/data/categories/FinVect_c.yaml b/database/data/categories/FinVect_c.yaml
similarity index 100%
rename from databases/catdat/data/categories/FinVect_c.yaml
rename to database/data/categories/FinVect_c.yaml
diff --git a/databases/catdat/data/categories/FinVect_f.yaml b/database/data/categories/FinVect_f.yaml
similarity index 100%
rename from databases/catdat/data/categories/FinVect_f.yaml
rename to database/data/categories/FinVect_f.yaml
diff --git a/databases/catdat/data/categories/FinVect_u.yaml b/database/data/categories/FinVect_u.yaml
similarity index 100%
rename from databases/catdat/data/categories/FinVect_u.yaml
rename to database/data/categories/FinVect_u.yaml
diff --git a/databases/catdat/data/categories/Fld.yaml b/database/data/categories/Fld.yaml
similarity index 100%
rename from databases/catdat/data/categories/Fld.yaml
rename to database/data/categories/Fld.yaml
diff --git a/databases/catdat/data/categories/FreeAb.yaml b/database/data/categories/FreeAb.yaml
similarity index 100%
rename from databases/catdat/data/categories/FreeAb.yaml
rename to database/data/categories/FreeAb.yaml
diff --git a/databases/catdat/data/categories/Grp.yaml b/database/data/categories/Grp.yaml
similarity index 100%
rename from databases/catdat/data/categories/Grp.yaml
rename to database/data/categories/Grp.yaml
diff --git a/databases/catdat/data/categories/Grp_c.yaml b/database/data/categories/Grp_c.yaml
similarity index 100%
rename from databases/catdat/data/categories/Grp_c.yaml
rename to database/data/categories/Grp_c.yaml
diff --git a/databases/catdat/data/categories/Haus.yaml b/database/data/categories/Haus.yaml
similarity index 100%
rename from databases/catdat/data/categories/Haus.yaml
rename to database/data/categories/Haus.yaml
diff --git a/databases/catdat/data/categories/J2.yaml b/database/data/categories/J2.yaml
similarity index 100%
rename from databases/catdat/data/categories/J2.yaml
rename to database/data/categories/J2.yaml
diff --git a/databases/catdat/data/categories/LRS_R.yaml b/database/data/categories/LRS_R.yaml
similarity index 100%
rename from databases/catdat/data/categories/LRS_R.yaml
rename to database/data/categories/LRS_R.yaml
diff --git a/databases/catdat/data/categories/M-Set.yaml b/database/data/categories/M-Set.yaml
similarity index 100%
rename from databases/catdat/data/categories/M-Set.yaml
rename to database/data/categories/M-Set.yaml
diff --git a/databases/catdat/data/categories/Man.yaml b/database/data/categories/Man.yaml
similarity index 100%
rename from databases/catdat/data/categories/Man.yaml
rename to database/data/categories/Man.yaml
diff --git a/databases/catdat/data/categories/Meas.yaml b/database/data/categories/Meas.yaml
similarity index 100%
rename from databases/catdat/data/categories/Meas.yaml
rename to database/data/categories/Meas.yaml
diff --git a/databases/catdat/data/categories/Met.yaml b/database/data/categories/Met.yaml
similarity index 100%
rename from databases/catdat/data/categories/Met.yaml
rename to database/data/categories/Met.yaml
diff --git a/databases/catdat/data/categories/Met_c.yaml b/database/data/categories/Met_c.yaml
similarity index 100%
rename from databases/catdat/data/categories/Met_c.yaml
rename to database/data/categories/Met_c.yaml
diff --git a/databases/catdat/data/categories/Met_oo.yaml b/database/data/categories/Met_oo.yaml
similarity index 100%
rename from databases/catdat/data/categories/Met_oo.yaml
rename to database/data/categories/Met_oo.yaml
diff --git a/databases/catdat/data/categories/Mon.yaml b/database/data/categories/Mon.yaml
similarity index 100%
rename from databases/catdat/data/categories/Mon.yaml
rename to database/data/categories/Mon.yaml
diff --git a/databases/catdat/data/categories/Mono.yaml b/database/data/categories/Mono.yaml
similarity index 100%
rename from databases/catdat/data/categories/Mono.yaml
rename to database/data/categories/Mono.yaml
diff --git a/databases/catdat/data/categories/N.yaml b/database/data/categories/N.yaml
similarity index 100%
rename from databases/catdat/data/categories/N.yaml
rename to database/data/categories/N.yaml
diff --git a/databases/catdat/data/categories/N_oo.yaml b/database/data/categories/N_oo.yaml
similarity index 100%
rename from databases/catdat/data/categories/N_oo.yaml
rename to database/data/categories/N_oo.yaml
diff --git a/databases/catdat/data/categories/On.yaml b/database/data/categories/On.yaml
similarity index 100%
rename from databases/catdat/data/categories/On.yaml
rename to database/data/categories/On.yaml
diff --git a/databases/catdat/data/categories/PMet.yaml b/database/data/categories/PMet.yaml
similarity index 100%
rename from databases/catdat/data/categories/PMet.yaml
rename to database/data/categories/PMet.yaml
diff --git a/databases/catdat/data/categories/Pos.yaml b/database/data/categories/Pos.yaml
similarity index 100%
rename from databases/catdat/data/categories/Pos.yaml
rename to database/data/categories/Pos.yaml
diff --git a/databases/catdat/data/categories/Prost.yaml b/database/data/categories/Prost.yaml
similarity index 100%
rename from databases/catdat/data/categories/Prost.yaml
rename to database/data/categories/Prost.yaml
diff --git a/databases/catdat/data/categories/R-Mod.yaml b/database/data/categories/R-Mod.yaml
similarity index 100%
rename from databases/catdat/data/categories/R-Mod.yaml
rename to database/data/categories/R-Mod.yaml
diff --git a/databases/catdat/data/categories/R-Mod_div.yaml b/database/data/categories/R-Mod_div.yaml
similarity index 100%
rename from databases/catdat/data/categories/R-Mod_div.yaml
rename to database/data/categories/R-Mod_div.yaml
diff --git a/databases/catdat/data/categories/Rel.yaml b/database/data/categories/Rel.yaml
similarity index 100%
rename from databases/catdat/data/categories/Rel.yaml
rename to database/data/categories/Rel.yaml
diff --git a/databases/catdat/data/categories/Ring.yaml b/database/data/categories/Ring.yaml
similarity index 100%
rename from databases/catdat/data/categories/Ring.yaml
rename to database/data/categories/Ring.yaml
diff --git a/databases/catdat/data/categories/Rng.yaml b/database/data/categories/Rng.yaml
similarity index 100%
rename from databases/catdat/data/categories/Rng.yaml
rename to database/data/categories/Rng.yaml
diff --git a/databases/catdat/data/categories/Sch_R.yaml b/database/data/categories/Sch_R.yaml
similarity index 100%
rename from databases/catdat/data/categories/Sch_R.yaml
rename to database/data/categories/Sch_R.yaml
diff --git a/databases/catdat/data/categories/SemiGrp.yaml b/database/data/categories/SemiGrp.yaml
similarity index 100%
rename from databases/catdat/data/categories/SemiGrp.yaml
rename to database/data/categories/SemiGrp.yaml
diff --git a/databases/catdat/data/categories/Set.yaml b/database/data/categories/Set.yaml
similarity index 100%
rename from databases/catdat/data/categories/Set.yaml
rename to database/data/categories/Set.yaml
diff --git a/databases/catdat/data/categories/Set_arrow.yaml b/database/data/categories/Set_arrow.yaml
similarity index 100%
rename from databases/catdat/data/categories/Set_arrow.yaml
rename to database/data/categories/Set_arrow.yaml
diff --git a/databases/catdat/data/categories/Set_c.yaml b/database/data/categories/Set_c.yaml
similarity index 100%
rename from databases/catdat/data/categories/Set_c.yaml
rename to database/data/categories/Set_c.yaml
diff --git a/databases/catdat/data/categories/Set_f.yaml b/database/data/categories/Set_f.yaml
similarity index 100%
rename from databases/catdat/data/categories/Set_f.yaml
rename to database/data/categories/Set_f.yaml
diff --git a/databases/catdat/data/categories/Set_op.yaml b/database/data/categories/Set_op.yaml
similarity index 100%
rename from databases/catdat/data/categories/Set_op.yaml
rename to database/data/categories/Set_op.yaml
diff --git a/databases/catdat/data/categories/Set_pointed.yaml b/database/data/categories/Set_pointed.yaml
similarity index 100%
rename from databases/catdat/data/categories/Set_pointed.yaml
rename to database/data/categories/Set_pointed.yaml
diff --git a/databases/catdat/data/categories/Setne.yaml b/database/data/categories/Setne.yaml
similarity index 100%
rename from databases/catdat/data/categories/Setne.yaml
rename to database/data/categories/Setne.yaml
diff --git a/databases/catdat/data/categories/SetxSet.yaml b/database/data/categories/SetxSet.yaml
similarity index 100%
rename from databases/catdat/data/categories/SetxSet.yaml
rename to database/data/categories/SetxSet.yaml
diff --git a/databases/catdat/data/categories/Sh(X).yaml b/database/data/categories/Sh(X).yaml
similarity index 100%
rename from databases/catdat/data/categories/Sh(X).yaml
rename to database/data/categories/Sh(X).yaml
diff --git a/databases/catdat/data/categories/Sh(X,Ab).yaml b/database/data/categories/Sh(X,Ab).yaml
similarity index 100%
rename from databases/catdat/data/categories/Sh(X,Ab).yaml
rename to database/data/categories/Sh(X,Ab).yaml
diff --git a/databases/catdat/data/categories/Sp.yaml b/database/data/categories/Sp.yaml
similarity index 100%
rename from databases/catdat/data/categories/Sp.yaml
rename to database/data/categories/Sp.yaml
diff --git a/databases/catdat/data/categories/Top.yaml b/database/data/categories/Top.yaml
similarity index 100%
rename from databases/catdat/data/categories/Top.yaml
rename to database/data/categories/Top.yaml
diff --git a/databases/catdat/data/categories/Top_op.yaml b/database/data/categories/Top_op.yaml
similarity index 100%
rename from databases/catdat/data/categories/Top_op.yaml
rename to database/data/categories/Top_op.yaml
diff --git a/databases/catdat/data/categories/Top_pointed.yaml b/database/data/categories/Top_pointed.yaml
similarity index 100%
rename from databases/catdat/data/categories/Top_pointed.yaml
rename to database/data/categories/Top_pointed.yaml
diff --git a/databases/catdat/data/categories/TorsAb.yaml b/database/data/categories/TorsAb.yaml
similarity index 100%
rename from databases/catdat/data/categories/TorsAb.yaml
rename to database/data/categories/TorsAb.yaml
diff --git a/databases/catdat/data/categories/TorsFreeAb.yaml b/database/data/categories/TorsFreeAb.yaml
similarity index 100%
rename from databases/catdat/data/categories/TorsFreeAb.yaml
rename to database/data/categories/TorsFreeAb.yaml
diff --git a/databases/catdat/data/categories/Vect.yaml b/database/data/categories/Vect.yaml
similarity index 100%
rename from databases/catdat/data/categories/Vect.yaml
rename to database/data/categories/Vect.yaml
diff --git a/databases/catdat/data/categories/Z.yaml b/database/data/categories/Z.yaml
similarity index 100%
rename from databases/catdat/data/categories/Z.yaml
rename to database/data/categories/Z.yaml
diff --git a/databases/catdat/data/categories/Z_div.yaml b/database/data/categories/Z_div.yaml
similarity index 100%
rename from databases/catdat/data/categories/Z_div.yaml
rename to database/data/categories/Z_div.yaml
diff --git a/databases/catdat/data/categories/real_interval.yaml b/database/data/categories/real_interval.yaml
similarity index 100%
rename from databases/catdat/data/categories/real_interval.yaml
rename to database/data/categories/real_interval.yaml
diff --git a/databases/catdat/data/categories/sSet.yaml b/database/data/categories/sSet.yaml
similarity index 100%
rename from databases/catdat/data/categories/sSet.yaml
rename to database/data/categories/sSet.yaml
diff --git a/databases/catdat/data/categories/walking_commutative_square.yaml b/database/data/categories/walking_commutative_square.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_commutative_square.yaml
rename to database/data/categories/walking_commutative_square.yaml
diff --git a/databases/catdat/data/categories/walking_composable_pair.yaml b/database/data/categories/walking_composable_pair.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_composable_pair.yaml
rename to database/data/categories/walking_composable_pair.yaml
diff --git a/databases/catdat/data/categories/walking_coreflexive_pair.yaml b/database/data/categories/walking_coreflexive_pair.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_coreflexive_pair.yaml
rename to database/data/categories/walking_coreflexive_pair.yaml
diff --git a/databases/catdat/data/categories/walking_fork.yaml b/database/data/categories/walking_fork.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_fork.yaml
rename to database/data/categories/walking_fork.yaml
diff --git a/databases/catdat/data/categories/walking_idempotent.yaml b/database/data/categories/walking_idempotent.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_idempotent.yaml
rename to database/data/categories/walking_idempotent.yaml
diff --git a/databases/catdat/data/categories/walking_isomorphism.yaml b/database/data/categories/walking_isomorphism.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_isomorphism.yaml
rename to database/data/categories/walking_isomorphism.yaml
diff --git a/databases/catdat/data/categories/walking_morphism.yaml b/database/data/categories/walking_morphism.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_morphism.yaml
rename to database/data/categories/walking_morphism.yaml
diff --git a/databases/catdat/data/categories/walking_pair.yaml b/database/data/categories/walking_pair.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_pair.yaml
rename to database/data/categories/walking_pair.yaml
diff --git a/databases/catdat/data/categories/walking_span.yaml b/database/data/categories/walking_span.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_span.yaml
rename to database/data/categories/walking_span.yaml
diff --git a/databases/catdat/data/categories/walking_splitting.yaml b/database/data/categories/walking_splitting.yaml
similarity index 100%
rename from databases/catdat/data/categories/walking_splitting.yaml
rename to database/data/categories/walking_splitting.yaml
diff --git a/databases/catdat/data/category-implications/Malcev.yaml b/database/data/category-implications/Malcev.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/Malcev.yaml
rename to database/data/category-implications/Malcev.yaml
diff --git a/databases/catdat/data/category-implications/NNO.yaml b/database/data/category-implications/NNO.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/NNO.yaml
rename to database/data/category-implications/NNO.yaml
diff --git a/databases/catdat/data/category-implications/accessible.yaml b/database/data/category-implications/accessible.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/accessible.yaml
rename to database/data/category-implications/accessible.yaml
diff --git a/databases/catdat/data/category-implications/additive.yaml b/database/data/category-implications/additive.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/additive.yaml
rename to database/data/category-implications/additive.yaml
diff --git a/databases/catdat/data/category-implications/algebraic.yaml b/database/data/category-implications/algebraic.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/algebraic.yaml
rename to database/data/category-implications/algebraic.yaml
diff --git a/databases/catdat/data/category-implications/cancellative.yaml b/database/data/category-implications/cancellative.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/cancellative.yaml
rename to database/data/category-implications/cancellative.yaml
diff --git a/databases/catdat/data/category-implications/cartesian closed.yaml b/database/data/category-implications/cartesian closed.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/cartesian closed.yaml
rename to database/data/category-implications/cartesian closed.yaml
diff --git a/databases/catdat/data/category-implications/completeness.yaml b/database/data/category-implications/completeness.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/completeness.yaml
rename to database/data/category-implications/completeness.yaml
diff --git a/databases/catdat/data/category-implications/congruences.yaml b/database/data/category-implications/congruences.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/congruences.yaml
rename to database/data/category-implications/congruences.yaml
diff --git a/databases/catdat/data/category-implications/connected.yaml b/database/data/category-implications/connected.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/connected.yaml
rename to database/data/category-implications/connected.yaml
diff --git a/databases/catdat/data/category-implications/discrete.yaml b/database/data/category-implications/discrete.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/discrete.yaml
rename to database/data/category-implications/discrete.yaml
diff --git a/databases/catdat/data/category-implications/disjoint coproducts.yaml b/database/data/category-implications/disjoint coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/disjoint coproducts.yaml
rename to database/data/category-implications/disjoint coproducts.yaml
diff --git a/databases/catdat/data/category-implications/distributivity.yaml b/database/data/category-implications/distributivity.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/distributivity.yaml
rename to database/data/category-implications/distributivity.yaml
diff --git a/databases/catdat/data/category-implications/equalizers.yaml b/database/data/category-implications/equalizers.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/equalizers.yaml
rename to database/data/category-implications/equalizers.yaml
diff --git a/databases/catdat/data/category-implications/exact filtered colimits.yaml b/database/data/category-implications/exact filtered colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/exact filtered colimits.yaml
rename to database/data/category-implications/exact filtered colimits.yaml
diff --git a/databases/catdat/data/category-implications/extensive.yaml b/database/data/category-implications/extensive.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/extensive.yaml
rename to database/data/category-implications/extensive.yaml
diff --git a/databases/catdat/data/category-implications/filtered + sifted.yaml b/database/data/category-implications/filtered + sifted.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/filtered + sifted.yaml
rename to database/data/category-implications/filtered + sifted.yaml
diff --git a/databases/catdat/data/category-implications/filtered colimits.yaml b/database/data/category-implications/filtered colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/filtered colimits.yaml
rename to database/data/category-implications/filtered colimits.yaml
diff --git a/databases/catdat/data/category-implications/generators.yaml b/database/data/category-implications/generators.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/generators.yaml
rename to database/data/category-implications/generators.yaml
diff --git a/databases/catdat/data/category-implications/groupoids.yaml b/database/data/category-implications/groupoids.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/groupoids.yaml
rename to database/data/category-implications/groupoids.yaml
diff --git a/databases/catdat/data/category-implications/initial objects.yaml b/database/data/category-implications/initial objects.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/initial objects.yaml
rename to database/data/category-implications/initial objects.yaml
diff --git a/databases/catdat/data/category-implications/mono-regular.yaml b/database/data/category-implications/mono-regular.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/mono-regular.yaml
rename to database/data/category-implications/mono-regular.yaml
diff --git a/databases/catdat/data/category-implications/products.yaml b/database/data/category-implications/products.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/products.yaml
rename to database/data/category-implications/products.yaml
diff --git a/databases/catdat/data/category-implications/pullbacks.yaml b/database/data/category-implications/pullbacks.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/pullbacks.yaml
rename to database/data/category-implications/pullbacks.yaml
diff --git a/databases/catdat/data/category-implications/size.yaml b/database/data/category-implications/size.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/size.yaml
rename to database/data/category-implications/size.yaml
diff --git a/databases/catdat/data/category-implications/subobject classifiers.yaml b/database/data/category-implications/subobject classifiers.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/subobject classifiers.yaml
rename to database/data/category-implications/subobject classifiers.yaml
diff --git a/databases/catdat/data/category-implications/subobject-trivial.yaml b/database/data/category-implications/subobject-trivial.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/subobject-trivial.yaml
rename to database/data/category-implications/subobject-trivial.yaml
diff --git a/databases/catdat/data/category-implications/thin.yaml b/database/data/category-implications/thin.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/thin.yaml
rename to database/data/category-implications/thin.yaml
diff --git a/databases/catdat/data/category-implications/topos.yaml b/database/data/category-implications/topos.yaml
similarity index 100%
rename from databases/catdat/data/category-implications/topos.yaml
rename to database/data/category-implications/topos.yaml
diff --git a/databases/catdat/data/category-properties/Barr-coexact.yaml b/database/data/category-properties/Barr-coexact.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/Barr-coexact.yaml
rename to database/data/category-properties/Barr-coexact.yaml
diff --git a/databases/catdat/data/category-properties/Barr-exact.yaml b/database/data/category-properties/Barr-exact.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/Barr-exact.yaml
rename to database/data/category-properties/Barr-exact.yaml
diff --git a/databases/catdat/data/category-properties/CIP.yaml b/database/data/category-properties/CIP.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/CIP.yaml
rename to database/data/category-properties/CIP.yaml
diff --git a/databases/catdat/data/category-properties/CSP.yaml b/database/data/category-properties/CSP.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/CSP.yaml
rename to database/data/category-properties/CSP.yaml
diff --git a/databases/catdat/data/category-properties/Cauchy complete.yaml b/database/data/category-properties/Cauchy complete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/Cauchy complete.yaml
rename to database/data/category-properties/Cauchy complete.yaml
diff --git a/databases/catdat/data/category-properties/Grothendieck abelian.yaml b/database/data/category-properties/Grothendieck abelian.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/Grothendieck abelian.yaml
rename to database/data/category-properties/Grothendieck abelian.yaml
diff --git a/databases/catdat/data/category-properties/Grothendieck topos.yaml b/database/data/category-properties/Grothendieck topos.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/Grothendieck topos.yaml
rename to database/data/category-properties/Grothendieck topos.yaml
diff --git a/databases/catdat/data/category-properties/Malcev.yaml b/database/data/category-properties/Malcev.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/Malcev.yaml
rename to database/data/category-properties/Malcev.yaml
diff --git a/databases/catdat/data/category-properties/abelian.yaml b/database/data/category-properties/abelian.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/abelian.yaml
rename to database/data/category-properties/abelian.yaml
diff --git a/databases/catdat/data/category-properties/accessible.yaml b/database/data/category-properties/accessible.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/accessible.yaml
rename to database/data/category-properties/accessible.yaml
diff --git a/databases/catdat/data/category-properties/additive.yaml b/database/data/category-properties/additive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/additive.yaml
rename to database/data/category-properties/additive.yaml
diff --git a/databases/catdat/data/category-properties/aleph1-accessible.yaml b/database/data/category-properties/aleph1-accessible.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph1-accessible.yaml
rename to database/data/category-properties/aleph1-accessible.yaml
diff --git a/databases/catdat/data/category-properties/aleph1-cofiltered limits.yaml b/database/data/category-properties/aleph1-cofiltered limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph1-cofiltered limits.yaml
rename to database/data/category-properties/aleph1-cofiltered limits.yaml
diff --git a/databases/catdat/data/category-properties/aleph1-cofiltered.yaml b/database/data/category-properties/aleph1-cofiltered.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph1-cofiltered.yaml
rename to database/data/category-properties/aleph1-cofiltered.yaml
diff --git a/databases/catdat/data/category-properties/aleph1-filtered colimits.yaml b/database/data/category-properties/aleph1-filtered colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph1-filtered colimits.yaml
rename to database/data/category-properties/aleph1-filtered colimits.yaml
diff --git a/databases/catdat/data/category-properties/aleph1-filtered.yaml b/database/data/category-properties/aleph1-filtered.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph1-filtered.yaml
rename to database/data/category-properties/aleph1-filtered.yaml
diff --git a/databases/catdat/data/category-properties/aleph2-small copowers.yaml b/database/data/category-properties/aleph2-small copowers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph2-small copowers.yaml
rename to database/data/category-properties/aleph2-small copowers.yaml
diff --git a/databases/catdat/data/category-properties/aleph2-small coproducts.yaml b/database/data/category-properties/aleph2-small coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph2-small coproducts.yaml
rename to database/data/category-properties/aleph2-small coproducts.yaml
diff --git a/databases/catdat/data/category-properties/aleph2-small powers.yaml b/database/data/category-properties/aleph2-small powers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph2-small powers.yaml
rename to database/data/category-properties/aleph2-small powers.yaml
diff --git a/databases/catdat/data/category-properties/aleph2-small products.yaml b/database/data/category-properties/aleph2-small products.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/aleph2-small products.yaml
rename to database/data/category-properties/aleph2-small products.yaml
diff --git a/databases/catdat/data/category-properties/balanced.yaml b/database/data/category-properties/balanced.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/balanced.yaml
rename to database/data/category-properties/balanced.yaml
diff --git a/databases/catdat/data/category-properties/binary copowers.yaml b/database/data/category-properties/binary copowers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/binary copowers.yaml
rename to database/data/category-properties/binary copowers.yaml
diff --git a/databases/catdat/data/category-properties/binary coproducts.yaml b/database/data/category-properties/binary coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/binary coproducts.yaml
rename to database/data/category-properties/binary coproducts.yaml
diff --git a/databases/catdat/data/category-properties/binary powers.yaml b/database/data/category-properties/binary powers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/binary powers.yaml
rename to database/data/category-properties/binary powers.yaml
diff --git a/databases/catdat/data/category-properties/binary products.yaml b/database/data/category-properties/binary products.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/binary products.yaml
rename to database/data/category-properties/binary products.yaml
diff --git a/databases/catdat/data/category-properties/biproducts.yaml b/database/data/category-properties/biproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/biproducts.yaml
rename to database/data/category-properties/biproducts.yaml
diff --git a/databases/catdat/data/category-properties/cartesian closed.yaml b/database/data/category-properties/cartesian closed.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cartesian closed.yaml
rename to database/data/category-properties/cartesian closed.yaml
diff --git a/databases/catdat/data/category-properties/cartesian filtered colimits.yaml b/database/data/category-properties/cartesian filtered colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cartesian filtered colimits.yaml
rename to database/data/category-properties/cartesian filtered colimits.yaml
diff --git a/databases/catdat/data/category-properties/co-Malcev.yaml b/database/data/category-properties/co-Malcev.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/co-Malcev.yaml
rename to database/data/category-properties/co-Malcev.yaml
diff --git a/databases/catdat/data/category-properties/coaccessible.yaml b/database/data/category-properties/coaccessible.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/coaccessible.yaml
rename to database/data/category-properties/coaccessible.yaml
diff --git a/databases/catdat/data/category-properties/cocartesian coclosed.yaml b/database/data/category-properties/cocartesian coclosed.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cocartesian coclosed.yaml
rename to database/data/category-properties/cocartesian coclosed.yaml
diff --git a/databases/catdat/data/category-properties/cocartesian cofiltered limits.yaml b/database/data/category-properties/cocartesian cofiltered limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cocartesian cofiltered limits.yaml
rename to database/data/category-properties/cocartesian cofiltered limits.yaml
diff --git a/databases/catdat/data/category-properties/cocomplete.yaml b/database/data/category-properties/cocomplete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cocomplete.yaml
rename to database/data/category-properties/cocomplete.yaml
diff --git a/databases/catdat/data/category-properties/codistributive.yaml b/database/data/category-properties/codistributive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/codistributive.yaml
rename to database/data/category-properties/codistributive.yaml
diff --git a/databases/catdat/data/category-properties/coequalizers.yaml b/database/data/category-properties/coequalizers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/coequalizers.yaml
rename to database/data/category-properties/coequalizers.yaml
diff --git a/databases/catdat/data/category-properties/coextensive.yaml b/database/data/category-properties/coextensive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/coextensive.yaml
rename to database/data/category-properties/coextensive.yaml
diff --git a/databases/catdat/data/category-properties/cofiltered limits.yaml b/database/data/category-properties/cofiltered limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cofiltered limits.yaml
rename to database/data/category-properties/cofiltered limits.yaml
diff --git a/databases/catdat/data/category-properties/cofiltered-limit-stable epimorphisms.yaml b/database/data/category-properties/cofiltered-limit-stable epimorphisms.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cofiltered-limit-stable epimorphisms.yaml
rename to database/data/category-properties/cofiltered-limit-stable epimorphisms.yaml
diff --git a/databases/catdat/data/category-properties/cofiltered.yaml b/database/data/category-properties/cofiltered.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cofiltered.yaml
rename to database/data/category-properties/cofiltered.yaml
diff --git a/databases/catdat/data/category-properties/cogenerating set.yaml b/database/data/category-properties/cogenerating set.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cogenerating set.yaml
rename to database/data/category-properties/cogenerating set.yaml
diff --git a/databases/catdat/data/category-properties/cogenerator.yaml b/database/data/category-properties/cogenerator.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cogenerator.yaml
rename to database/data/category-properties/cogenerator.yaml
diff --git a/databases/catdat/data/category-properties/cokernels.yaml b/database/data/category-properties/cokernels.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cokernels.yaml
rename to database/data/category-properties/cokernels.yaml
diff --git a/databases/catdat/data/category-properties/complete.yaml b/database/data/category-properties/complete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/complete.yaml
rename to database/data/category-properties/complete.yaml
diff --git a/databases/catdat/data/category-properties/connected colimits.yaml b/database/data/category-properties/connected colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/connected colimits.yaml
rename to database/data/category-properties/connected colimits.yaml
diff --git a/databases/catdat/data/category-properties/connected limits.yaml b/database/data/category-properties/connected limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/connected limits.yaml
rename to database/data/category-properties/connected limits.yaml
diff --git a/databases/catdat/data/category-properties/connected.yaml b/database/data/category-properties/connected.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/connected.yaml
rename to database/data/category-properties/connected.yaml
diff --git a/databases/catdat/data/category-properties/conormal.yaml b/database/data/category-properties/conormal.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/conormal.yaml
rename to database/data/category-properties/conormal.yaml
diff --git a/databases/catdat/data/category-properties/copowers.yaml b/database/data/category-properties/copowers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/copowers.yaml
rename to database/data/category-properties/copowers.yaml
diff --git a/databases/catdat/data/category-properties/coproducts.yaml b/database/data/category-properties/coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/coproducts.yaml
rename to database/data/category-properties/coproducts.yaml
diff --git a/databases/catdat/data/category-properties/coquotients of cocongruences.yaml b/database/data/category-properties/coquotients of cocongruences.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/coquotients of cocongruences.yaml
rename to database/data/category-properties/coquotients of cocongruences.yaml
diff --git a/databases/catdat/data/category-properties/core-thin.yaml b/database/data/category-properties/core-thin.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/core-thin.yaml
rename to database/data/category-properties/core-thin.yaml
diff --git a/databases/catdat/data/category-properties/coreflexive equalizers.yaml b/database/data/category-properties/coreflexive equalizers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/coreflexive equalizers.yaml
rename to database/data/category-properties/coreflexive equalizers.yaml
diff --git a/databases/catdat/data/category-properties/coregular.yaml b/database/data/category-properties/coregular.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/coregular.yaml
rename to database/data/category-properties/coregular.yaml
diff --git a/databases/catdat/data/category-properties/cosifted limits.yaml b/database/data/category-properties/cosifted limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cosifted limits.yaml
rename to database/data/category-properties/cosifted limits.yaml
diff --git a/databases/catdat/data/category-properties/cosifted.yaml b/database/data/category-properties/cosifted.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/cosifted.yaml
rename to database/data/category-properties/cosifted.yaml
diff --git a/databases/catdat/data/category-properties/counital.yaml b/database/data/category-properties/counital.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/counital.yaml
rename to database/data/category-properties/counital.yaml
diff --git a/databases/catdat/data/category-properties/countable copowers.yaml b/database/data/category-properties/countable copowers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/countable copowers.yaml
rename to database/data/category-properties/countable copowers.yaml
diff --git a/databases/catdat/data/category-properties/countable coproducts.yaml b/database/data/category-properties/countable coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/countable coproducts.yaml
rename to database/data/category-properties/countable coproducts.yaml
diff --git a/databases/catdat/data/category-properties/countable powers.yaml b/database/data/category-properties/countable powers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/countable powers.yaml
rename to database/data/category-properties/countable powers.yaml
diff --git a/databases/catdat/data/category-properties/countable products.yaml b/database/data/category-properties/countable products.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/countable products.yaml
rename to database/data/category-properties/countable products.yaml
diff --git a/databases/catdat/data/category-properties/countable.yaml b/database/data/category-properties/countable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/countable.yaml
rename to database/data/category-properties/countable.yaml
diff --git a/databases/catdat/data/category-properties/countably codistributive.yaml b/database/data/category-properties/countably codistributive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/countably codistributive.yaml
rename to database/data/category-properties/countably codistributive.yaml
diff --git a/databases/catdat/data/category-properties/countably distributive.yaml b/database/data/category-properties/countably distributive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/countably distributive.yaml
rename to database/data/category-properties/countably distributive.yaml
diff --git a/databases/catdat/data/category-properties/direct.yaml b/database/data/category-properties/direct.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/direct.yaml
rename to database/data/category-properties/direct.yaml
diff --git a/databases/catdat/data/category-properties/directed colimits.yaml b/database/data/category-properties/directed colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/directed colimits.yaml
rename to database/data/category-properties/directed colimits.yaml
diff --git a/databases/catdat/data/category-properties/directed limits.yaml b/database/data/category-properties/directed limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/directed limits.yaml
rename to database/data/category-properties/directed limits.yaml
diff --git a/databases/catdat/data/category-properties/discrete.yaml b/database/data/category-properties/discrete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/discrete.yaml
rename to database/data/category-properties/discrete.yaml
diff --git a/databases/catdat/data/category-properties/disjoint coproducts.yaml b/database/data/category-properties/disjoint coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/disjoint coproducts.yaml
rename to database/data/category-properties/disjoint coproducts.yaml
diff --git a/databases/catdat/data/category-properties/disjoint finite coproducts.yaml b/database/data/category-properties/disjoint finite coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/disjoint finite coproducts.yaml
rename to database/data/category-properties/disjoint finite coproducts.yaml
diff --git a/databases/catdat/data/category-properties/disjoint finite products.yaml b/database/data/category-properties/disjoint finite products.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/disjoint finite products.yaml
rename to database/data/category-properties/disjoint finite products.yaml
diff --git a/databases/catdat/data/category-properties/disjoint products.yaml b/database/data/category-properties/disjoint products.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/disjoint products.yaml
rename to database/data/category-properties/disjoint products.yaml
diff --git a/databases/catdat/data/category-properties/distributive.yaml b/database/data/category-properties/distributive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/distributive.yaml
rename to database/data/category-properties/distributive.yaml
diff --git a/databases/catdat/data/category-properties/effective cocongruences.yaml b/database/data/category-properties/effective cocongruences.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/effective cocongruences.yaml
rename to database/data/category-properties/effective cocongruences.yaml
diff --git a/databases/catdat/data/category-properties/effective congruences.yaml b/database/data/category-properties/effective congruences.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/effective congruences.yaml
rename to database/data/category-properties/effective congruences.yaml
diff --git a/databases/catdat/data/category-properties/elementary topos.yaml b/database/data/category-properties/elementary topos.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/elementary topos.yaml
rename to database/data/category-properties/elementary topos.yaml
diff --git a/databases/catdat/data/category-properties/epi-regular.yaml b/database/data/category-properties/epi-regular.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/epi-regular.yaml
rename to database/data/category-properties/epi-regular.yaml
diff --git a/databases/catdat/data/category-properties/equalizers.yaml b/database/data/category-properties/equalizers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/equalizers.yaml
rename to database/data/category-properties/equalizers.yaml
diff --git a/databases/catdat/data/category-properties/essentially countable.yaml b/database/data/category-properties/essentially countable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/essentially countable.yaml
rename to database/data/category-properties/essentially countable.yaml
diff --git a/databases/catdat/data/category-properties/essentially discrete.yaml b/database/data/category-properties/essentially discrete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/essentially discrete.yaml
rename to database/data/category-properties/essentially discrete.yaml
diff --git a/databases/catdat/data/category-properties/essentially finite.yaml b/database/data/category-properties/essentially finite.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/essentially finite.yaml
rename to database/data/category-properties/essentially finite.yaml
diff --git a/databases/catdat/data/category-properties/essentially small.yaml b/database/data/category-properties/essentially small.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/essentially small.yaml
rename to database/data/category-properties/essentially small.yaml
diff --git a/databases/catdat/data/category-properties/exact cofiltered limits.yaml b/database/data/category-properties/exact cofiltered limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/exact cofiltered limits.yaml
rename to database/data/category-properties/exact cofiltered limits.yaml
diff --git a/databases/catdat/data/category-properties/exact filtered colimits.yaml b/database/data/category-properties/exact filtered colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/exact filtered colimits.yaml
rename to database/data/category-properties/exact filtered colimits.yaml
diff --git a/databases/catdat/data/category-properties/extensive.yaml b/database/data/category-properties/extensive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/extensive.yaml
rename to database/data/category-properties/extensive.yaml
diff --git a/databases/catdat/data/category-properties/filtered colimits.yaml b/database/data/category-properties/filtered colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/filtered colimits.yaml
rename to database/data/category-properties/filtered colimits.yaml
diff --git a/databases/catdat/data/category-properties/filtered-colimit-stable monomorphisms.yaml b/database/data/category-properties/filtered-colimit-stable monomorphisms.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/filtered-colimit-stable monomorphisms.yaml
rename to database/data/category-properties/filtered-colimit-stable monomorphisms.yaml
diff --git a/databases/catdat/data/category-properties/filtered.yaml b/database/data/category-properties/filtered.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/filtered.yaml
rename to database/data/category-properties/filtered.yaml
diff --git a/databases/catdat/data/category-properties/finitary algebraic.yaml b/database/data/category-properties/finitary algebraic.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finitary algebraic.yaml
rename to database/data/category-properties/finitary algebraic.yaml
diff --git a/databases/catdat/data/category-properties/finite copowers.yaml b/database/data/category-properties/finite copowers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finite copowers.yaml
rename to database/data/category-properties/finite copowers.yaml
diff --git a/databases/catdat/data/category-properties/finite coproducts.yaml b/database/data/category-properties/finite coproducts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finite coproducts.yaml
rename to database/data/category-properties/finite coproducts.yaml
diff --git a/databases/catdat/data/category-properties/finite powers.yaml b/database/data/category-properties/finite powers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finite powers.yaml
rename to database/data/category-properties/finite powers.yaml
diff --git a/databases/catdat/data/category-properties/finite products.yaml b/database/data/category-properties/finite products.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finite products.yaml
rename to database/data/category-properties/finite products.yaml
diff --git a/databases/catdat/data/category-properties/finite.yaml b/database/data/category-properties/finite.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finite.yaml
rename to database/data/category-properties/finite.yaml
diff --git a/databases/catdat/data/category-properties/finitely accessible.yaml b/database/data/category-properties/finitely accessible.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finitely accessible.yaml
rename to database/data/category-properties/finitely accessible.yaml
diff --git a/databases/catdat/data/category-properties/finitely cocomplete.yaml b/database/data/category-properties/finitely cocomplete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finitely cocomplete.yaml
rename to database/data/category-properties/finitely cocomplete.yaml
diff --git a/databases/catdat/data/category-properties/finitely complete.yaml b/database/data/category-properties/finitely complete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/finitely complete.yaml
rename to database/data/category-properties/finitely complete.yaml
diff --git a/databases/catdat/data/category-properties/gaunt.yaml b/database/data/category-properties/gaunt.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/gaunt.yaml
rename to database/data/category-properties/gaunt.yaml
diff --git a/databases/catdat/data/category-properties/generalized variety.yaml b/database/data/category-properties/generalized variety.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/generalized variety.yaml
rename to database/data/category-properties/generalized variety.yaml
diff --git a/databases/catdat/data/category-properties/generating set.yaml b/database/data/category-properties/generating set.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/generating set.yaml
rename to database/data/category-properties/generating set.yaml
diff --git a/databases/catdat/data/category-properties/generator.yaml b/database/data/category-properties/generator.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/generator.yaml
rename to database/data/category-properties/generator.yaml
diff --git a/databases/catdat/data/category-properties/groupoid.yaml b/database/data/category-properties/groupoid.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/groupoid.yaml
rename to database/data/category-properties/groupoid.yaml
diff --git a/databases/catdat/data/category-properties/infinitary codistributive.yaml b/database/data/category-properties/infinitary codistributive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/infinitary codistributive.yaml
rename to database/data/category-properties/infinitary codistributive.yaml
diff --git a/databases/catdat/data/category-properties/infinitary coextensive.yaml b/database/data/category-properties/infinitary coextensive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/infinitary coextensive.yaml
rename to database/data/category-properties/infinitary coextensive.yaml
diff --git a/databases/catdat/data/category-properties/infinitary distributive.yaml b/database/data/category-properties/infinitary distributive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/infinitary distributive.yaml
rename to database/data/category-properties/infinitary distributive.yaml
diff --git a/databases/catdat/data/category-properties/infinitary extensive.yaml b/database/data/category-properties/infinitary extensive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/infinitary extensive.yaml
rename to database/data/category-properties/infinitary extensive.yaml
diff --git a/databases/catdat/data/category-properties/inhabited.yaml b/database/data/category-properties/inhabited.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/inhabited.yaml
rename to database/data/category-properties/inhabited.yaml
diff --git a/databases/catdat/data/category-properties/initial object.yaml b/database/data/category-properties/initial object.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/initial object.yaml
rename to database/data/category-properties/initial object.yaml
diff --git a/databases/catdat/data/category-properties/inverse.yaml b/database/data/category-properties/inverse.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/inverse.yaml
rename to database/data/category-properties/inverse.yaml
diff --git a/databases/catdat/data/category-properties/kernels.yaml b/database/data/category-properties/kernels.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/kernels.yaml
rename to database/data/category-properties/kernels.yaml
diff --git a/databases/catdat/data/category-properties/left cancellative.yaml b/database/data/category-properties/left cancellative.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/left cancellative.yaml
rename to database/data/category-properties/left cancellative.yaml
diff --git a/databases/catdat/data/category-properties/locally aleph1-presentable.yaml b/database/data/category-properties/locally aleph1-presentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally aleph1-presentable.yaml
rename to database/data/category-properties/locally aleph1-presentable.yaml
diff --git a/databases/catdat/data/category-properties/locally cartesian closed.yaml b/database/data/category-properties/locally cartesian closed.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally cartesian closed.yaml
rename to database/data/category-properties/locally cartesian closed.yaml
diff --git a/databases/catdat/data/category-properties/locally cocartesian coclosed.yaml b/database/data/category-properties/locally cocartesian coclosed.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally cocartesian coclosed.yaml
rename to database/data/category-properties/locally cocartesian coclosed.yaml
diff --git a/databases/catdat/data/category-properties/locally copresentable.yaml b/database/data/category-properties/locally copresentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally copresentable.yaml
rename to database/data/category-properties/locally copresentable.yaml
diff --git a/databases/catdat/data/category-properties/locally essentially small.yaml b/database/data/category-properties/locally essentially small.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally essentially small.yaml
rename to database/data/category-properties/locally essentially small.yaml
diff --git a/databases/catdat/data/category-properties/locally finite.yaml b/database/data/category-properties/locally finite.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally finite.yaml
rename to database/data/category-properties/locally finite.yaml
diff --git a/databases/catdat/data/category-properties/locally finitely multi-presentable.yaml b/database/data/category-properties/locally finitely multi-presentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally finitely multi-presentable.yaml
rename to database/data/category-properties/locally finitely multi-presentable.yaml
diff --git a/databases/catdat/data/category-properties/locally finitely presentable.yaml b/database/data/category-properties/locally finitely presentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally finitely presentable.yaml
rename to database/data/category-properties/locally finitely presentable.yaml
diff --git a/databases/catdat/data/category-properties/locally multi-presentable.yaml b/database/data/category-properties/locally multi-presentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally multi-presentable.yaml
rename to database/data/category-properties/locally multi-presentable.yaml
diff --git a/databases/catdat/data/category-properties/locally poly-presentable.yaml b/database/data/category-properties/locally poly-presentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally poly-presentable.yaml
rename to database/data/category-properties/locally poly-presentable.yaml
diff --git a/databases/catdat/data/category-properties/locally presentable.yaml b/database/data/category-properties/locally presentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally presentable.yaml
rename to database/data/category-properties/locally presentable.yaml
diff --git a/databases/catdat/data/category-properties/locally small.yaml b/database/data/category-properties/locally small.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally small.yaml
rename to database/data/category-properties/locally small.yaml
diff --git a/databases/catdat/data/category-properties/locally strongly finitely presentable.yaml b/database/data/category-properties/locally strongly finitely presentable.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/locally strongly finitely presentable.yaml
rename to database/data/category-properties/locally strongly finitely presentable.yaml
diff --git a/databases/catdat/data/category-properties/mono-regular.yaml b/database/data/category-properties/mono-regular.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/mono-regular.yaml
rename to database/data/category-properties/mono-regular.yaml
diff --git a/databases/catdat/data/category-properties/multi-algebraic.yaml b/database/data/category-properties/multi-algebraic.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/multi-algebraic.yaml
rename to database/data/category-properties/multi-algebraic.yaml
diff --git a/databases/catdat/data/category-properties/multi-cocomplete.yaml b/database/data/category-properties/multi-cocomplete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/multi-cocomplete.yaml
rename to database/data/category-properties/multi-cocomplete.yaml
diff --git a/databases/catdat/data/category-properties/multi-complete.yaml b/database/data/category-properties/multi-complete.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/multi-complete.yaml
rename to database/data/category-properties/multi-complete.yaml
diff --git a/databases/catdat/data/category-properties/multi-initial object.yaml b/database/data/category-properties/multi-initial object.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/multi-initial object.yaml
rename to database/data/category-properties/multi-initial object.yaml
diff --git a/databases/catdat/data/category-properties/multi-terminal object.yaml b/database/data/category-properties/multi-terminal object.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/multi-terminal object.yaml
rename to database/data/category-properties/multi-terminal object.yaml
diff --git a/databases/catdat/data/category-properties/natural numbers object.yaml b/database/data/category-properties/natural numbers object.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/natural numbers object.yaml
rename to database/data/category-properties/natural numbers object.yaml
diff --git a/databases/catdat/data/category-properties/normal.yaml b/database/data/category-properties/normal.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/normal.yaml
rename to database/data/category-properties/normal.yaml
diff --git a/databases/catdat/data/category-properties/one-way.yaml b/database/data/category-properties/one-way.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/one-way.yaml
rename to database/data/category-properties/one-way.yaml
diff --git a/databases/catdat/data/category-properties/pointed.yaml b/database/data/category-properties/pointed.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/pointed.yaml
rename to database/data/category-properties/pointed.yaml
diff --git a/databases/catdat/data/category-properties/powers.yaml b/database/data/category-properties/powers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/powers.yaml
rename to database/data/category-properties/powers.yaml
diff --git a/databases/catdat/data/category-properties/preadditive.yaml b/database/data/category-properties/preadditive.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/preadditive.yaml
rename to database/data/category-properties/preadditive.yaml
diff --git a/databases/catdat/data/category-properties/pretopos.yaml b/database/data/category-properties/pretopos.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/pretopos.yaml
rename to database/data/category-properties/pretopos.yaml
diff --git a/databases/catdat/data/category-properties/products.yaml b/database/data/category-properties/products.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/products.yaml
rename to database/data/category-properties/products.yaml
diff --git a/databases/catdat/data/category-properties/pullbacks.yaml b/database/data/category-properties/pullbacks.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/pullbacks.yaml
rename to database/data/category-properties/pullbacks.yaml
diff --git a/databases/catdat/data/category-properties/pushouts.yaml b/database/data/category-properties/pushouts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/pushouts.yaml
rename to database/data/category-properties/pushouts.yaml
diff --git a/databases/catdat/data/category-properties/quasitopos.yaml b/database/data/category-properties/quasitopos.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/quasitopos.yaml
rename to database/data/category-properties/quasitopos.yaml
diff --git a/databases/catdat/data/category-properties/quotient object classifier.yaml b/database/data/category-properties/quotient object classifier.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/quotient object classifier.yaml
rename to database/data/category-properties/quotient object classifier.yaml
diff --git a/databases/catdat/data/category-properties/quotient-trivial.yaml b/database/data/category-properties/quotient-trivial.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/quotient-trivial.yaml
rename to database/data/category-properties/quotient-trivial.yaml
diff --git a/databases/catdat/data/category-properties/quotients of congruences.yaml b/database/data/category-properties/quotients of congruences.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/quotients of congruences.yaml
rename to database/data/category-properties/quotients of congruences.yaml
diff --git a/databases/catdat/data/category-properties/reflexive coequalizers.yaml b/database/data/category-properties/reflexive coequalizers.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/reflexive coequalizers.yaml
rename to database/data/category-properties/reflexive coequalizers.yaml
diff --git a/databases/catdat/data/category-properties/regular quotient object classifier.yaml b/database/data/category-properties/regular quotient object classifier.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/regular quotient object classifier.yaml
rename to database/data/category-properties/regular quotient object classifier.yaml
diff --git a/databases/catdat/data/category-properties/regular subobject classifier.yaml b/database/data/category-properties/regular subobject classifier.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/regular subobject classifier.yaml
rename to database/data/category-properties/regular subobject classifier.yaml
diff --git a/databases/catdat/data/category-properties/regular-quotient-trivial.yaml b/database/data/category-properties/regular-quotient-trivial.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/regular-quotient-trivial.yaml
rename to database/data/category-properties/regular-quotient-trivial.yaml
diff --git a/databases/catdat/data/category-properties/regular-subobject-trivial.yaml b/database/data/category-properties/regular-subobject-trivial.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/regular-subobject-trivial.yaml
rename to database/data/category-properties/regular-subobject-trivial.yaml
diff --git a/databases/catdat/data/category-properties/regular.yaml b/database/data/category-properties/regular.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/regular.yaml
rename to database/data/category-properties/regular.yaml
diff --git a/databases/catdat/data/category-properties/right cancellative.yaml b/database/data/category-properties/right cancellative.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/right cancellative.yaml
rename to database/data/category-properties/right cancellative.yaml
diff --git a/databases/catdat/data/category-properties/self-dual.yaml b/database/data/category-properties/self-dual.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/self-dual.yaml
rename to database/data/category-properties/self-dual.yaml
diff --git a/databases/catdat/data/category-properties/semi-strongly connected.yaml b/database/data/category-properties/semi-strongly connected.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/semi-strongly connected.yaml
rename to database/data/category-properties/semi-strongly connected.yaml
diff --git a/databases/catdat/data/category-properties/sequential colimits.yaml b/database/data/category-properties/sequential colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/sequential colimits.yaml
rename to database/data/category-properties/sequential colimits.yaml
diff --git a/databases/catdat/data/category-properties/sequential limits.yaml b/database/data/category-properties/sequential limits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/sequential limits.yaml
rename to database/data/category-properties/sequential limits.yaml
diff --git a/databases/catdat/data/category-properties/sifted colimits.yaml b/database/data/category-properties/sifted colimits.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/sifted colimits.yaml
rename to database/data/category-properties/sifted colimits.yaml
diff --git a/databases/catdat/data/category-properties/sifted.yaml b/database/data/category-properties/sifted.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/sifted.yaml
rename to database/data/category-properties/sifted.yaml
diff --git a/databases/catdat/data/category-properties/skeletal.yaml b/database/data/category-properties/skeletal.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/skeletal.yaml
rename to database/data/category-properties/skeletal.yaml
diff --git a/databases/catdat/data/category-properties/small.yaml b/database/data/category-properties/small.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/small.yaml
rename to database/data/category-properties/small.yaml
diff --git a/databases/catdat/data/category-properties/split abelian.yaml b/database/data/category-properties/split abelian.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/split abelian.yaml
rename to database/data/category-properties/split abelian.yaml
diff --git a/databases/catdat/data/category-properties/strict initial object.yaml b/database/data/category-properties/strict initial object.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/strict initial object.yaml
rename to database/data/category-properties/strict initial object.yaml
diff --git a/databases/catdat/data/category-properties/strict terminal object.yaml b/database/data/category-properties/strict terminal object.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/strict terminal object.yaml
rename to database/data/category-properties/strict terminal object.yaml
diff --git a/databases/catdat/data/category-properties/strongly connected.yaml b/database/data/category-properties/strongly connected.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/strongly connected.yaml
rename to database/data/category-properties/strongly connected.yaml
diff --git a/databases/catdat/data/category-properties/subobject classifier.yaml b/database/data/category-properties/subobject classifier.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/subobject classifier.yaml
rename to database/data/category-properties/subobject classifier.yaml
diff --git a/databases/catdat/data/category-properties/subobject-trivial.yaml b/database/data/category-properties/subobject-trivial.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/subobject-trivial.yaml
rename to database/data/category-properties/subobject-trivial.yaml
diff --git a/databases/catdat/data/category-properties/terminal object.yaml b/database/data/category-properties/terminal object.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/terminal object.yaml
rename to database/data/category-properties/terminal object.yaml
diff --git a/databases/catdat/data/category-properties/thin.yaml b/database/data/category-properties/thin.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/thin.yaml
rename to database/data/category-properties/thin.yaml
diff --git a/databases/catdat/data/category-properties/trivial.yaml b/database/data/category-properties/trivial.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/trivial.yaml
rename to database/data/category-properties/trivial.yaml
diff --git a/databases/catdat/data/category-properties/unital.yaml b/database/data/category-properties/unital.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/unital.yaml
rename to database/data/category-properties/unital.yaml
diff --git a/databases/catdat/data/category-properties/well-copowered.yaml b/database/data/category-properties/well-copowered.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/well-copowered.yaml
rename to database/data/category-properties/well-copowered.yaml
diff --git a/databases/catdat/data/category-properties/well-powered.yaml b/database/data/category-properties/well-powered.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/well-powered.yaml
rename to database/data/category-properties/well-powered.yaml
diff --git a/databases/catdat/data/category-properties/wide pullbacks.yaml b/database/data/category-properties/wide pullbacks.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/wide pullbacks.yaml
rename to database/data/category-properties/wide pullbacks.yaml
diff --git a/databases/catdat/data/category-properties/wide pushouts.yaml b/database/data/category-properties/wide pushouts.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/wide pushouts.yaml
rename to database/data/category-properties/wide pushouts.yaml
diff --git a/databases/catdat/data/category-properties/zero morphisms.yaml b/database/data/category-properties/zero morphisms.yaml
similarity index 100%
rename from databases/catdat/data/category-properties/zero morphisms.yaml
rename to database/data/category-properties/zero morphisms.yaml
diff --git a/databases/catdat/data/config.yaml b/database/data/config.yaml
similarity index 100%
rename from databases/catdat/data/config.yaml
rename to database/data/config.yaml
diff --git a/databases/catdat/data/functor-implications/adjoints.yaml b/database/data/functor-implications/adjoints.yaml
similarity index 100%
rename from databases/catdat/data/functor-implications/adjoints.yaml
rename to database/data/functor-implications/adjoints.yaml
diff --git a/databases/catdat/data/functor-implications/equivalences.yaml b/database/data/functor-implications/equivalences.yaml
similarity index 100%
rename from databases/catdat/data/functor-implications/equivalences.yaml
rename to database/data/functor-implications/equivalences.yaml
diff --git a/databases/catdat/data/functor-implications/limits preservation.yaml b/database/data/functor-implications/limits preservation.yaml
similarity index 100%
rename from databases/catdat/data/functor-implications/limits preservation.yaml
rename to database/data/functor-implications/limits preservation.yaml
diff --git a/databases/catdat/data/functor-implications/misc.yaml b/database/data/functor-implications/misc.yaml
similarity index 100%
rename from databases/catdat/data/functor-implications/misc.yaml
rename to database/data/functor-implications/misc.yaml
diff --git a/databases/catdat/data/functor-implications/monadic.yaml b/database/data/functor-implications/monadic.yaml
similarity index 100%
rename from databases/catdat/data/functor-implications/monadic.yaml
rename to database/data/functor-implications/monadic.yaml
diff --git a/databases/catdat/data/functor-properties/cocontinuous.yaml b/database/data/functor-properties/cocontinuous.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/cocontinuous.yaml
rename to database/data/functor-properties/cocontinuous.yaml
diff --git a/databases/catdat/data/functor-properties/cofinitary.yaml b/database/data/functor-properties/cofinitary.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/cofinitary.yaml
rename to database/data/functor-properties/cofinitary.yaml
diff --git a/databases/catdat/data/functor-properties/comonadic.yaml b/database/data/functor-properties/comonadic.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/comonadic.yaml
rename to database/data/functor-properties/comonadic.yaml
diff --git a/databases/catdat/data/functor-properties/conservative.yaml b/database/data/functor-properties/conservative.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/conservative.yaml
rename to database/data/functor-properties/conservative.yaml
diff --git a/databases/catdat/data/functor-properties/continuous.yaml b/database/data/functor-properties/continuous.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/continuous.yaml
rename to database/data/functor-properties/continuous.yaml
diff --git a/databases/catdat/data/functor-properties/coreflector.yaml b/database/data/functor-properties/coreflector.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/coreflector.yaml
rename to database/data/functor-properties/coreflector.yaml
diff --git a/databases/catdat/data/functor-properties/coregular.yaml b/database/data/functor-properties/coregular.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/coregular.yaml
rename to database/data/functor-properties/coregular.yaml
diff --git a/databases/catdat/data/functor-properties/dominant.yaml b/database/data/functor-properties/dominant.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/dominant.yaml
rename to database/data/functor-properties/dominant.yaml
diff --git a/databases/catdat/data/functor-properties/equivalence.yaml b/database/data/functor-properties/equivalence.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/equivalence.yaml
rename to database/data/functor-properties/equivalence.yaml
diff --git a/databases/catdat/data/functor-properties/essentially injective.yaml b/database/data/functor-properties/essentially injective.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/essentially injective.yaml
rename to database/data/functor-properties/essentially injective.yaml
diff --git a/databases/catdat/data/functor-properties/essentially surjective.yaml b/database/data/functor-properties/essentially surjective.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/essentially surjective.yaml
rename to database/data/functor-properties/essentially surjective.yaml
diff --git a/databases/catdat/data/functor-properties/exact.yaml b/database/data/functor-properties/exact.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/exact.yaml
rename to database/data/functor-properties/exact.yaml
diff --git a/databases/catdat/data/functor-properties/faithful.yaml b/database/data/functor-properties/faithful.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/faithful.yaml
rename to database/data/functor-properties/faithful.yaml
diff --git a/databases/catdat/data/functor-properties/finitary.yaml b/database/data/functor-properties/finitary.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/finitary.yaml
rename to database/data/functor-properties/finitary.yaml
diff --git a/databases/catdat/data/functor-properties/full-on-isomorphisms.yaml b/database/data/functor-properties/full-on-isomorphisms.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/full-on-isomorphisms.yaml
rename to database/data/functor-properties/full-on-isomorphisms.yaml
diff --git a/databases/catdat/data/functor-properties/full.yaml b/database/data/functor-properties/full.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/full.yaml
rename to database/data/functor-properties/full.yaml
diff --git a/databases/catdat/data/functor-properties/fully faithful.yaml b/database/data/functor-properties/fully faithful.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/fully faithful.yaml
rename to database/data/functor-properties/fully faithful.yaml
diff --git a/databases/catdat/data/functor-properties/isomorphism.yaml b/database/data/functor-properties/isomorphism.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/isomorphism.yaml
rename to database/data/functor-properties/isomorphism.yaml
diff --git a/databases/catdat/data/functor-properties/left adjoint.yaml b/database/data/functor-properties/left adjoint.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/left adjoint.yaml
rename to database/data/functor-properties/left adjoint.yaml
diff --git a/databases/catdat/data/functor-properties/left exact.yaml b/database/data/functor-properties/left exact.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/left exact.yaml
rename to database/data/functor-properties/left exact.yaml
diff --git a/databases/catdat/data/functor-properties/left-invertible.yaml b/database/data/functor-properties/left-invertible.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/left-invertible.yaml
rename to database/data/functor-properties/left-invertible.yaml
diff --git a/databases/catdat/data/functor-properties/monadic.yaml b/database/data/functor-properties/monadic.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/monadic.yaml
rename to database/data/functor-properties/monadic.yaml
diff --git a/databases/catdat/data/functor-properties/preserves binary coproducts.yaml b/database/data/functor-properties/preserves binary coproducts.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves binary coproducts.yaml
rename to database/data/functor-properties/preserves binary coproducts.yaml
diff --git a/databases/catdat/data/functor-properties/preserves binary products.yaml b/database/data/functor-properties/preserves binary products.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves binary products.yaml
rename to database/data/functor-properties/preserves binary products.yaml
diff --git a/databases/catdat/data/functor-properties/preserves coequalizers.yaml b/database/data/functor-properties/preserves coequalizers.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves coequalizers.yaml
rename to database/data/functor-properties/preserves coequalizers.yaml
diff --git a/databases/catdat/data/functor-properties/preserves coproducts.yaml b/database/data/functor-properties/preserves coproducts.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves coproducts.yaml
rename to database/data/functor-properties/preserves coproducts.yaml
diff --git a/databases/catdat/data/functor-properties/preserves coreflexive equalizers.yaml b/database/data/functor-properties/preserves coreflexive equalizers.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves coreflexive equalizers.yaml
rename to database/data/functor-properties/preserves coreflexive equalizers.yaml
diff --git a/databases/catdat/data/functor-properties/preserves epimorphisms.yaml b/database/data/functor-properties/preserves epimorphisms.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves epimorphisms.yaml
rename to database/data/functor-properties/preserves epimorphisms.yaml
diff --git a/databases/catdat/data/functor-properties/preserves equalizers.yaml b/database/data/functor-properties/preserves equalizers.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves equalizers.yaml
rename to database/data/functor-properties/preserves equalizers.yaml
diff --git a/databases/catdat/data/functor-properties/preserves finite coproducts.yaml b/database/data/functor-properties/preserves finite coproducts.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves finite coproducts.yaml
rename to database/data/functor-properties/preserves finite coproducts.yaml
diff --git a/databases/catdat/data/functor-properties/preserves finite products.yaml b/database/data/functor-properties/preserves finite products.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves finite products.yaml
rename to database/data/functor-properties/preserves finite products.yaml
diff --git a/databases/catdat/data/functor-properties/preserves initial objects.yaml b/database/data/functor-properties/preserves initial objects.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves initial objects.yaml
rename to database/data/functor-properties/preserves initial objects.yaml
diff --git a/databases/catdat/data/functor-properties/preserves monomorphisms.yaml b/database/data/functor-properties/preserves monomorphisms.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves monomorphisms.yaml
rename to database/data/functor-properties/preserves monomorphisms.yaml
diff --git a/databases/catdat/data/functor-properties/preserves products.yaml b/database/data/functor-properties/preserves products.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves products.yaml
rename to database/data/functor-properties/preserves products.yaml
diff --git a/databases/catdat/data/functor-properties/preserves reflexive coequalizers.yaml b/database/data/functor-properties/preserves reflexive coequalizers.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves reflexive coequalizers.yaml
rename to database/data/functor-properties/preserves reflexive coequalizers.yaml
diff --git a/databases/catdat/data/functor-properties/preserves regular epimorphisms.yaml b/database/data/functor-properties/preserves regular epimorphisms.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves regular epimorphisms.yaml
rename to database/data/functor-properties/preserves regular epimorphisms.yaml
diff --git a/databases/catdat/data/functor-properties/preserves regular monomorphisms.yaml b/database/data/functor-properties/preserves regular monomorphisms.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves regular monomorphisms.yaml
rename to database/data/functor-properties/preserves regular monomorphisms.yaml
diff --git a/databases/catdat/data/functor-properties/preserves terminal objects.yaml b/database/data/functor-properties/preserves terminal objects.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/preserves terminal objects.yaml
rename to database/data/functor-properties/preserves terminal objects.yaml
diff --git a/databases/catdat/data/functor-properties/pseudomonic.yaml b/database/data/functor-properties/pseudomonic.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/pseudomonic.yaml
rename to database/data/functor-properties/pseudomonic.yaml
diff --git a/databases/catdat/data/functor-properties/reflector.yaml b/database/data/functor-properties/reflector.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/reflector.yaml
rename to database/data/functor-properties/reflector.yaml
diff --git a/databases/catdat/data/functor-properties/regular.yaml b/database/data/functor-properties/regular.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/regular.yaml
rename to database/data/functor-properties/regular.yaml
diff --git a/databases/catdat/data/functor-properties/representable.yaml b/database/data/functor-properties/representable.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/representable.yaml
rename to database/data/functor-properties/representable.yaml
diff --git a/databases/catdat/data/functor-properties/right adjoint.yaml b/database/data/functor-properties/right adjoint.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/right adjoint.yaml
rename to database/data/functor-properties/right adjoint.yaml
diff --git a/databases/catdat/data/functor-properties/right exact.yaml b/database/data/functor-properties/right exact.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/right exact.yaml
rename to database/data/functor-properties/right exact.yaml
diff --git a/databases/catdat/data/functor-properties/right-invertible.yaml b/database/data/functor-properties/right-invertible.yaml
similarity index 100%
rename from databases/catdat/data/functor-properties/right-invertible.yaml
rename to database/data/functor-properties/right-invertible.yaml
diff --git a/databases/catdat/data/functors/abelianization.yaml b/database/data/functors/abelianization.yaml
similarity index 100%
rename from databases/catdat/data/functors/abelianization.yaml
rename to database/data/functors/abelianization.yaml
diff --git a/databases/catdat/data/functors/binary_coproduct_sets.yaml b/database/data/functors/binary_coproduct_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/binary_coproduct_sets.yaml
rename to database/data/functors/binary_coproduct_sets.yaml
diff --git a/databases/catdat/data/functors/binary_product_sets.yaml b/database/data/functors/binary_product_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/binary_product_sets.yaml
rename to database/data/functors/binary_product_sets.yaml
diff --git a/databases/catdat/data/functors/continuous-functions.yaml b/database/data/functors/continuous-functions.yaml
similarity index 100%
rename from databases/catdat/data/functors/continuous-functions.yaml
rename to database/data/functors/continuous-functions.yaml
diff --git a/databases/catdat/data/functors/countable_copower_sets.yaml b/database/data/functors/countable_copower_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/countable_copower_sets.yaml
rename to database/data/functors/countable_copower_sets.yaml
diff --git a/databases/catdat/data/functors/diagonal_sets.yaml b/database/data/functors/diagonal_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/diagonal_sets.yaml
rename to database/data/functors/diagonal_sets.yaml
diff --git a/databases/catdat/data/functors/discrete_topology.yaml b/database/data/functors/discrete_topology.yaml
similarity index 100%
rename from databases/catdat/data/functors/discrete_topology.yaml
rename to database/data/functors/discrete_topology.yaml
diff --git a/databases/catdat/data/functors/doubling_sets.yaml b/database/data/functors/doubling_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/doubling_sets.yaml
rename to database/data/functors/doubling_sets.yaml
diff --git a/databases/catdat/data/functors/enveloping_group.yaml b/database/data/functors/enveloping_group.yaml
similarity index 100%
rename from databases/catdat/data/functors/enveloping_group.yaml
rename to database/data/functors/enveloping_group.yaml
diff --git a/databases/catdat/data/functors/forget_abelian.yaml b/database/data/functors/forget_abelian.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_abelian.yaml
rename to database/data/functors/forget_abelian.yaml
diff --git a/databases/catdat/data/functors/forget_addition.yaml b/database/data/functors/forget_addition.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_addition.yaml
rename to database/data/functors/forget_addition.yaml
diff --git a/databases/catdat/data/functors/forget_group.yaml b/database/data/functors/forget_group.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_group.yaml
rename to database/data/functors/forget_group.yaml
diff --git a/databases/catdat/data/functors/forget_group_pointed.yaml b/database/data/functors/forget_group_pointed.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_group_pointed.yaml
rename to database/data/functors/forget_group_pointed.yaml
diff --git a/databases/catdat/data/functors/forget_inverses.yaml b/database/data/functors/forget_inverses.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_inverses.yaml
rename to database/data/functors/forget_inverses.yaml
diff --git a/databases/catdat/data/functors/forget_ring.yaml b/database/data/functors/forget_ring.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_ring.yaml
rename to database/data/functors/forget_ring.yaml
diff --git a/databases/catdat/data/functors/forget_topology.yaml b/database/data/functors/forget_topology.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_topology.yaml
rename to database/data/functors/forget_topology.yaml
diff --git a/databases/catdat/data/functors/forget_vector.yaml b/database/data/functors/forget_vector.yaml
similarity index 100%
rename from databases/catdat/data/functors/forget_vector.yaml
rename to database/data/functors/forget_vector.yaml
diff --git a/databases/catdat/data/functors/free_group.yaml b/database/data/functors/free_group.yaml
similarity index 100%
rename from databases/catdat/data/functors/free_group.yaml
rename to database/data/functors/free_group.yaml
diff --git a/databases/catdat/data/functors/group_units.yaml b/database/data/functors/group_units.yaml
similarity index 100%
rename from databases/catdat/data/functors/group_units.yaml
rename to database/data/functors/group_units.yaml
diff --git a/databases/catdat/data/functors/id_Set.yaml b/database/data/functors/id_Set.yaml
similarity index 100%
rename from databases/catdat/data/functors/id_Set.yaml
rename to database/data/functors/id_Set.yaml
diff --git a/databases/catdat/data/functors/indiscrete_topology.yaml b/database/data/functors/indiscrete_topology.yaml
similarity index 100%
rename from databases/catdat/data/functors/indiscrete_topology.yaml
rename to database/data/functors/indiscrete_topology.yaml
diff --git a/databases/catdat/data/functors/modulo-p.yaml b/database/data/functors/modulo-p.yaml
similarity index 100%
rename from databases/catdat/data/functors/modulo-p.yaml
rename to database/data/functors/modulo-p.yaml
diff --git a/databases/catdat/data/functors/monoid_ring.yaml b/database/data/functors/monoid_ring.yaml
similarity index 100%
rename from databases/catdat/data/functors/monoid_ring.yaml
rename to database/data/functors/monoid_ring.yaml
diff --git a/databases/catdat/data/functors/opposite_category.yaml b/database/data/functors/opposite_category.yaml
similarity index 100%
rename from databases/catdat/data/functors/opposite_category.yaml
rename to database/data/functors/opposite_category.yaml
diff --git a/databases/catdat/data/functors/opposite_monoid.yaml b/database/data/functors/opposite_monoid.yaml
similarity index 100%
rename from databases/catdat/data/functors/opposite_monoid.yaml
rename to database/data/functors/opposite_monoid.yaml
diff --git a/databases/catdat/data/functors/p-torsion.yaml b/database/data/functors/p-torsion.yaml
similarity index 100%
rename from databases/catdat/data/functors/p-torsion.yaml
rename to database/data/functors/p-torsion.yaml
diff --git a/databases/catdat/data/functors/pi_0.yaml b/database/data/functors/pi_0.yaml
similarity index 100%
rename from databases/catdat/data/functors/pi_0.yaml
rename to database/data/functors/pi_0.yaml
diff --git a/databases/catdat/data/functors/pi_1.yaml b/database/data/functors/pi_1.yaml
similarity index 100%
rename from databases/catdat/data/functors/pi_1.yaml
rename to database/data/functors/pi_1.yaml
diff --git a/databases/catdat/data/functors/power_set_contravariant.yaml b/database/data/functors/power_set_contravariant.yaml
similarity index 100%
rename from databases/catdat/data/functors/power_set_contravariant.yaml
rename to database/data/functors/power_set_contravariant.yaml
diff --git a/databases/catdat/data/functors/power_set_covariant.yaml b/database/data/functors/power_set_covariant.yaml
similarity index 100%
rename from databases/catdat/data/functors/power_set_covariant.yaml
rename to database/data/functors/power_set_covariant.yaml
diff --git a/databases/catdat/data/functors/sequences_sets.yaml b/database/data/functors/sequences_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/sequences_sets.yaml
rename to database/data/functors/sequences_sets.yaml
diff --git a/databases/catdat/data/functors/squaring_sets.yaml b/database/data/functors/squaring_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/squaring_sets.yaml
rename to database/data/functors/squaring_sets.yaml
diff --git a/databases/catdat/data/functors/torsion.yaml b/database/data/functors/torsion.yaml
similarity index 100%
rename from databases/catdat/data/functors/torsion.yaml
rename to database/data/functors/torsion.yaml
diff --git a/databases/catdat/data/functors/trivial_groups.yaml b/database/data/functors/trivial_groups.yaml
similarity index 100%
rename from databases/catdat/data/functors/trivial_groups.yaml
rename to database/data/functors/trivial_groups.yaml
diff --git a/databases/catdat/data/functors/trivial_sets.yaml b/database/data/functors/trivial_sets.yaml
similarity index 100%
rename from databases/catdat/data/functors/trivial_sets.yaml
rename to database/data/functors/trivial_sets.yaml
diff --git a/databases/catdat/data/functors/walking_isomorphism_object_inclusion.yaml b/database/data/functors/walking_isomorphism_object_inclusion.yaml
similarity index 100%
rename from databases/catdat/data/functors/walking_isomorphism_object_inclusion.yaml
rename to database/data/functors/walking_isomorphism_object_inclusion.yaml
diff --git a/databases/catdat/data/macros.yaml b/database/data/macros.yaml
similarity index 100%
rename from databases/catdat/data/macros.yaml
rename to database/data/macros.yaml
diff --git a/databases/catdat/data/morphism-implications/mono-epi-iso.yaml b/database/data/morphism-implications/mono-epi-iso.yaml
similarity index 100%
rename from databases/catdat/data/morphism-implications/mono-epi-iso.yaml
rename to database/data/morphism-implications/mono-epi-iso.yaml
diff --git a/databases/catdat/data/morphism-properties/epimorphism.yaml b/database/data/morphism-properties/epimorphism.yaml
similarity index 100%
rename from databases/catdat/data/morphism-properties/epimorphism.yaml
rename to database/data/morphism-properties/epimorphism.yaml
diff --git a/databases/catdat/data/morphism-properties/isomorphism.yaml b/database/data/morphism-properties/isomorphism.yaml
similarity index 100%
rename from databases/catdat/data/morphism-properties/isomorphism.yaml
rename to database/data/morphism-properties/isomorphism.yaml
diff --git a/databases/catdat/data/morphism-properties/monomorphism.yaml b/database/data/morphism-properties/monomorphism.yaml
similarity index 100%
rename from databases/catdat/data/morphism-properties/monomorphism.yaml
rename to database/data/morphism-properties/monomorphism.yaml
diff --git a/databases/catdat/data/morphism-properties/regular epimorphism.yaml b/database/data/morphism-properties/regular epimorphism.yaml
similarity index 100%
rename from databases/catdat/data/morphism-properties/regular epimorphism.yaml
rename to database/data/morphism-properties/regular epimorphism.yaml
diff --git a/databases/catdat/data/morphism-properties/regular monomorphism.yaml b/database/data/morphism-properties/regular monomorphism.yaml
similarity index 100%
rename from databases/catdat/data/morphism-properties/regular monomorphism.yaml
rename to database/data/morphism-properties/regular monomorphism.yaml
diff --git a/databases/catdat/data/morphism-properties/split epimorphism.yaml b/database/data/morphism-properties/split epimorphism.yaml
similarity index 100%
rename from databases/catdat/data/morphism-properties/split epimorphism.yaml
rename to database/data/morphism-properties/split epimorphism.yaml
diff --git a/databases/catdat/data/morphism-properties/split monomorphism.yaml b/database/data/morphism-properties/split monomorphism.yaml
similarity index 100%
rename from databases/catdat/data/morphism-properties/split monomorphism.yaml
rename to database/data/morphism-properties/split monomorphism.yaml
diff --git a/databases/catdat/data/morphisms/empty-map.yaml b/database/data/morphisms/empty-map.yaml
similarity index 100%
rename from databases/catdat/data/morphisms/empty-map.yaml
rename to database/data/morphisms/empty-map.yaml
diff --git a/databases/catdat/data/morphisms/id_X.yaml b/database/data/morphisms/id_X.yaml
similarity index 100%
rename from databases/catdat/data/morphisms/id_X.yaml
rename to database/data/morphisms/id_X.yaml
diff --git a/databases/catdat/data/morphisms/integer-rational-embedding.yaml b/database/data/morphisms/integer-rational-embedding.yaml
similarity index 100%
rename from databases/catdat/data/morphisms/integer-rational-embedding.yaml
rename to database/data/morphisms/integer-rational-embedding.yaml
diff --git a/databases/catdat/data/morphisms/terminal-map.yaml b/database/data/morphisms/terminal-map.yaml
similarity index 100%
rename from databases/catdat/data/morphisms/terminal-map.yaml
rename to database/data/morphisms/terminal-map.yaml
diff --git a/databases/catdat/schema/001_structures.sql b/database/schema/001_structures.sql
similarity index 100%
rename from databases/catdat/schema/001_structures.sql
rename to database/schema/001_structures.sql
diff --git a/databases/catdat/schema/002_properties.sql b/database/schema/002_properties.sql
similarity index 100%
rename from databases/catdat/schema/002_properties.sql
rename to database/schema/002_properties.sql
diff --git a/databases/catdat/schema/003_implications.sql b/database/schema/003_implications.sql
similarity index 100%
rename from databases/catdat/schema/003_implications.sql
rename to database/schema/003_implications.sql
diff --git a/databases/catdat/schema/004_categories.sql b/database/schema/004_categories.sql
similarity index 100%
rename from databases/catdat/schema/004_categories.sql
rename to database/schema/004_categories.sql
diff --git a/databases/catdat/schema/005_special_objects.sql b/database/schema/005_special_objects.sql
similarity index 100%
rename from databases/catdat/schema/005_special_objects.sql
rename to database/schema/005_special_objects.sql
diff --git a/databases/catdat/schema/006_special-morphisms.sql b/database/schema/006_special-morphisms.sql
similarity index 100%
rename from databases/catdat/schema/006_special-morphisms.sql
rename to database/schema/006_special-morphisms.sql
diff --git a/databases/catdat/schema/007_functors.sql b/database/schema/007_functors.sql
similarity index 100%
rename from databases/catdat/schema/007_functors.sql
rename to database/schema/007_functors.sql
diff --git a/databases/catdat/schema/008_morphisms.sql b/database/schema/008_morphisms.sql
similarity index 100%
rename from databases/catdat/schema/008_morphisms.sql
rename to database/schema/008_morphisms.sql
diff --git a/databases/catdat/scripts/deduce-implications.ts b/database/scripts/deduce-implications.ts
similarity index 100%
rename from databases/catdat/scripts/deduce-implications.ts
rename to database/scripts/deduce-implications.ts
diff --git a/databases/catdat/scripts/deduce-special-morphisms.ts b/database/scripts/deduce-special-morphisms.ts
similarity index 100%
rename from databases/catdat/scripts/deduce-special-morphisms.ts
rename to database/scripts/deduce-special-morphisms.ts
diff --git a/databases/catdat/scripts/deduce-special-objects.ts b/database/scripts/deduce-special-objects.ts
similarity index 100%
rename from databases/catdat/scripts/deduce-special-objects.ts
rename to database/scripts/deduce-special-objects.ts
diff --git a/databases/catdat/scripts/deduce-structure-properties.ts b/database/scripts/deduce-structure-properties.ts
similarity index 100%
rename from databases/catdat/scripts/deduce-structure-properties.ts
rename to database/scripts/deduce-structure-properties.ts
diff --git a/databases/catdat/scripts/deduce.ts b/database/scripts/deduce.ts
similarity index 100%
rename from databases/catdat/scripts/deduce.ts
rename to database/scripts/deduce.ts
diff --git a/databases/catdat/scripts/expected-data/Ab.json b/database/scripts/expected-data/Ab.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/Ab.json
rename to database/scripts/expected-data/Ab.json
diff --git a/databases/catdat/scripts/expected-data/Set.json b/database/scripts/expected-data/Set.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/Set.json
rename to database/scripts/expected-data/Set.json
diff --git a/databases/catdat/scripts/expected-data/Top.json b/database/scripts/expected-data/Top.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/Top.json
rename to database/scripts/expected-data/Top.json
diff --git a/databases/catdat/scripts/expected-data/_INFO.md b/database/scripts/expected-data/_INFO.md
similarity index 100%
rename from databases/catdat/scripts/expected-data/_INFO.md
rename to database/scripts/expected-data/_INFO.md
diff --git a/databases/catdat/scripts/expected-data/decided-categories.json b/database/scripts/expected-data/decided-categories.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/decided-categories.json
rename to database/scripts/expected-data/decided-categories.json
diff --git a/databases/catdat/scripts/expected-data/decided-functors.json b/database/scripts/expected-data/decided-functors.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/decided-functors.json
rename to database/scripts/expected-data/decided-functors.json
diff --git a/databases/catdat/scripts/expected-data/decided-morphisms.json b/database/scripts/expected-data/decided-morphisms.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/decided-morphisms.json
rename to database/scripts/expected-data/decided-morphisms.json
diff --git a/databases/catdat/scripts/expected-data/forget_vector.json b/database/scripts/expected-data/forget_vector.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/forget_vector.json
rename to database/scripts/expected-data/forget_vector.json
diff --git a/databases/catdat/scripts/expected-data/id_Set.json b/database/scripts/expected-data/id_Set.json
similarity index 100%
rename from databases/catdat/scripts/expected-data/id_Set.json
rename to database/scripts/expected-data/id_Set.json
diff --git a/databases/catdat/scripts/proof-length.ts b/database/scripts/proof-length.ts
similarity index 100%
rename from databases/catdat/scripts/proof-length.ts
rename to database/scripts/proof-length.ts
diff --git a/databases/catdat/scripts/redundancies.ts b/database/scripts/redundancies.ts
similarity index 100%
rename from databases/catdat/scripts/redundancies.ts
rename to database/scripts/redundancies.ts
diff --git a/databases/catdat/scripts/restrict-functor-properties.ts b/database/scripts/restrict-functor-properties.ts
similarity index 100%
rename from databases/catdat/scripts/restrict-functor-properties.ts
rename to database/scripts/restrict-functor-properties.ts
diff --git a/databases/catdat/scripts/seed.ts b/database/scripts/seed.ts
similarity index 99%
rename from databases/catdat/scripts/seed.ts
rename to database/scripts/seed.ts
index 9c60ddf84..6235fab2e 100644
--- a/databases/catdat/scripts/seed.ts
+++ b/database/scripts/seed.ts
@@ -17,7 +17,7 @@ import { are_disjoint, devlog } from '$shared/utils'
 
 const db = get_client({ readonly: false })
 
-const data_folder = path.resolve('databases', 'catdat', 'data')
+const data_folder = path.resolve('database', 'data')
 
 seed()
 
diff --git a/databases/catdat/scripts/setup.ts b/database/scripts/setup.ts
similarity index 93%
rename from databases/catdat/scripts/setup.ts
rename to database/scripts/setup.ts
index 4c1fa136e..eab8551f6 100644
--- a/databases/catdat/scripts/setup.ts
+++ b/database/scripts/setup.ts
@@ -4,7 +4,7 @@ import { get_client } from '$shared/db'
 import { create_schema_hash, write_schema_hash } from './utils/schema'
 import { devlog } from '$shared/utils'
 
-const schema_folder = path.resolve('databases', 'catdat', 'schema')
+const schema_folder = path.resolve('database', 'schema')
 
 setup()
 
diff --git a/databases/catdat/scripts/test.ts b/database/scripts/test.ts
similarity index 100%
rename from databases/catdat/scripts/test.ts
rename to database/scripts/test.ts
diff --git a/databases/catdat/scripts/utils/implications.ts b/database/scripts/utils/implications.ts
similarity index 100%
rename from databases/catdat/scripts/utils/implications.ts
rename to database/scripts/utils/implications.ts
diff --git a/databases/catdat/scripts/utils/properties.ts b/database/scripts/utils/properties.ts
similarity index 100%
rename from databases/catdat/scripts/utils/properties.ts
rename to database/scripts/utils/properties.ts
diff --git a/databases/catdat/scripts/utils/schema.ts b/database/scripts/utils/schema.ts
similarity index 92%
rename from databases/catdat/scripts/utils/schema.ts
rename to database/scripts/utils/schema.ts
index 594f1afb4..8e91f2153 100644
--- a/databases/catdat/scripts/utils/schema.ts
+++ b/database/scripts/utils/schema.ts
@@ -2,7 +2,7 @@ import { createHash } from 'node:crypto'
 import fs from 'node:fs'
 import path from 'node:path'
 
-const schema_folder = path.resolve('databases', 'catdat', 'schema')
+const schema_folder = path.resolve('database', 'schema')
 
 export function create_schema_hash(): string {
 	const schema = fs
diff --git a/databases/catdat/scripts/utils/seed.helpers.ts b/database/scripts/utils/seed.helpers.ts
similarity index 100%
rename from databases/catdat/scripts/utils/seed.helpers.ts
rename to database/scripts/utils/seed.helpers.ts
diff --git a/databases/catdat/scripts/utils/seed.types.ts b/database/scripts/utils/seed.types.ts
similarity index 100%
rename from databases/catdat/scripts/utils/seed.types.ts
rename to database/scripts/utils/seed.types.ts
diff --git a/databases/catdat/scripts/utils/structures.ts b/database/scripts/utils/structures.ts
similarity index 100%
rename from databases/catdat/scripts/utils/structures.ts
rename to database/scripts/utils/structures.ts
diff --git a/databases/catdat/scripts/watch.ts b/database/scripts/watch.ts
similarity index 90%
rename from databases/catdat/scripts/watch.ts
rename to database/scripts/watch.ts
index 7642415bb..6d3b202ab 100644
--- a/databases/catdat/scripts/watch.ts
+++ b/database/scripts/watch.ts
@@ -2,7 +2,7 @@ import chokidar from 'chokidar'
 import path from 'path'
 import { exec } from 'node:child_process'
 
-const data_folder = path.resolve('databases', 'catdat', 'data')
+const data_folder = path.resolve('database', 'data')
 
 function onchange(file: string) {
 	console.info(`File changed: ${file}`)
diff --git a/databases/tsconfig.json b/database/tsconfig.json
similarity index 100%
rename from databases/tsconfig.json
rename to database/tsconfig.json
diff --git a/netlify.toml b/netlify.toml
index 44b5be08e..fa967e320 100644
--- a/netlify.toml
+++ b/netlify.toml
@@ -3,4 +3,4 @@
 	publish = "build"
 
 [functions]
-	included_files = ["databases/catdat/catdat.db"]
\ No newline at end of file
+	included_files = ["database/catdat.db"]
\ No newline at end of file
diff --git a/package.json b/package.json
index df7e0186f..ee34bc144 100644
--- a/package.json
+++ b/package.json
@@ -14,17 +14,17 @@
 		"format": "prettier --write .",
 		"lint": "prettier --check .",
 		"prepare": "husky",
-		"db:shell": "sqlite3 databases/catdat/catdat.db",
-		"db:kill": "rm -rf databases/catdat/catdat.db",
-		"db:setup": "pnpm db:kill && tsx --tsconfig databases/tsconfig.json databases/catdat/scripts/setup.ts",
-		"db:seed": "tsx --tsconfig databases/tsconfig.json databases/catdat/scripts/seed.ts",
-		"db:deduce": "tsx --tsconfig databases/tsconfig.json databases/catdat/scripts/deduce.ts",
-		"db:test": "tsx --tsconfig databases/tsconfig.json databases/catdat/scripts/test.ts",
-		"db:snapshot": "cp databases/catdat/catdat.db static/databases/catdat-snapshot.db",
+		"db:shell": "sqlite3 database/catdat.db",
+		"db:kill": "rm -rf database/catdat.db",
+		"db:setup": "pnpm db:kill && tsx --tsconfig database/tsconfig.json database/scripts/setup.ts",
+		"db:seed": "tsx --tsconfig database/tsconfig.json database/scripts/seed.ts",
+		"db:deduce": "tsx --tsconfig database/tsconfig.json database/scripts/deduce.ts",
+		"db:test": "tsx --tsconfig database/tsconfig.json database/scripts/test.ts",
+		"db:snapshot": "cp database/catdat.db static/databases/catdat-snapshot.db",
 		"db:update": "pnpm db:seed && pnpm db:deduce && pnpm db:test && pnpm db:snapshot",
-		"db:watch": "tsx --tsconfig databases/tsconfig.json databases/catdat/scripts/watch.ts",
-		"db:redundancies": "tsx --tsconfig databases/tsconfig.json databases/catdat/scripts/redundancies.ts",
-		"db:proof-length": "tsx --tsconfig databases/tsconfig.json databases/catdat/scripts/proof-length.ts",
+		"db:watch": "tsx --tsconfig database/tsconfig.json database/scripts/watch.ts",
+		"db:redundancies": "tsx --tsconfig database/tsconfig.json database/scripts/redundancies.ts",
+		"db:proof-length": "tsx --tsconfig database/tsconfig.json database/scripts/proof-length.ts",
 		"e2e": "PUBLIC_PLAYWRIGHT=true pnpm exec playwright test",
 		"e2e:debug": "PUBLIC_PLAYWRIGHT=true pnpm exec playwright test --debug",
 		"e2e:ui": "PUBLIC_PLAYWRIGHT=true pnpm exec playwright test --ui"
diff --git a/shared/db.ts b/shared/db.ts
index 19cf92365..c557fa1f3 100644
--- a/shared/db.ts
+++ b/shared/db.ts
@@ -1,7 +1,7 @@
 import Database from 'better-sqlite3'
 import path from 'node:path'
 
-const db_path = path.resolve('databases', 'catdat', 'catdat.db')
+const db_path = path.resolve('database', 'catdat.db')
 
 export function get_client(options: { readonly: boolean }) {
 	const db = new Database(db_path, options)
diff --git a/src/lib/server/formulas.ts b/src/lib/server/formulas.ts
index 302b851cb..d64c09c2e 100644
--- a/src/lib/server/formulas.ts
+++ b/src/lib/server/formulas.ts
@@ -5,7 +5,7 @@ import path from 'node:path'
 import fs from 'node:fs'
 
 const MACROS = YAML.parse(
-	fs.readFileSync(path.resolve('databases', 'catdat', 'data', 'macros.yaml'), 'utf8'),
+	fs.readFileSync(path.resolve('database', 'data', 'macros.yaml'), 'utf8')
 ) as Record<string, string>
 
 export const MATH_REGEX = /\$\$(.*?)\$\$|\$(.*?)\$/gs