From c71b308236a21af01b1d53f13c7a075cf7e9ca9c Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Thu, 16 Apr 2026 13:22:06 +0200
Subject: [PATCH 1/4] remove redundant state

---
 src/components/StructureSelector.svelte | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/components/StructureSelector.svelte b/src/components/StructureSelector.svelte
index ef0e5685..27bcebe1 100644
--- a/src/components/StructureSelector.svelte
+++ b/src/components/StructureSelector.svelte
@@ -10,10 +10,8 @@
 	let { structure }: Props = $props()
 
 	function handle_change() {
-		goto(`/${value}`)
+		goto(`/${structure}`)
 	}
-
-	let value = $derived(structure)
 </script>
 
 <label for="structure_selector">Structure</label>

From b0605adf47f1517811d4493ea04299f41af29a69 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Thu, 16 Apr 2026 13:27:26 +0200
Subject: [PATCH 2/4] keep same page type after structure change

---
 src/components/StructureSelector.svelte | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/components/StructureSelector.svelte b/src/components/StructureSelector.svelte
index 27bcebe1..f44d7a25 100644
--- a/src/components/StructureSelector.svelte
+++ b/src/components/StructureSelector.svelte
@@ -1,5 +1,6 @@
 <script lang="ts">
 	import { goto } from '$app/navigation'
+	import { page } from '$app/state'
 	import { STRUCTURES } from '$lib/client/config'
 	import type { Structure } from '$lib/commons/types'
 
@@ -10,7 +11,18 @@
 	let { structure }: Props = $props()
 
 	function handle_change() {
-		goto(`/${structure}`)
+		const path = page.url.pathname
+		const singular = structure === 'categories' ? 'category' : 'functor'
+
+		if (path.endsWith('-implications')) {
+			goto(`/${singular}-implications`)
+		} else if (path.endsWith('-properties')) {
+			goto(`/${singular}-properties`)
+		} else if (path.endsWith('-search')) {
+			goto(`/${singular}-search`)
+		} else {
+			goto(`/${structure}`)
+		}
 	}
 </script>
 

From b5ec17bf2d9ab89f1da67a0de826ee49fd06ba33 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Thu, 16 Apr 2026 13:32:08 +0200
Subject: [PATCH 3/4] align headings between category and functor list pages

---
 src/routes/categories/+page.svelte            | 2 +-
 src/routes/category-implications/+page.svelte | 7 ++-----
 src/routes/category-properties/+page.svelte   | 7 ++-----
 src/routes/functor-implications/+page.svelte  | 7 ++-----
 src/routes/functor-properties/+page.svelte    | 5 +----
 src/routes/functors/+page.svelte              | 2 +-
 6 files changed, 9 insertions(+), 21 deletions(-)

diff --git a/src/routes/categories/+page.svelte b/src/routes/categories/+page.svelte
index 01d01778..57dff5ab 100644
--- a/src/routes/categories/+page.svelte
+++ b/src/routes/categories/+page.svelte
@@ -20,7 +20,7 @@
 	)
 </script>
 
-<MetaData title="List of categories" description="All available categories" />
+<MetaData title="List of categories" />
 
 <section>
 	<h2>List of categories</h2>
diff --git a/src/routes/category-implications/+page.svelte b/src/routes/category-implications/+page.svelte
index 1be447c7..d793449e 100644
--- a/src/routes/category-implications/+page.svelte
+++ b/src/routes/category-implications/+page.svelte
@@ -38,12 +38,9 @@
 	)
 </script>
 
-<MetaData
-	title="List of implications"
-	description="Implications of categorical properties"
-/>
+<MetaData title="Implications of categories" />
 
-<h2>List of implications</h2>
+<h2>Implications of categories</h2>
 
 <SearchFilter bind:search />
 
diff --git a/src/routes/category-properties/+page.svelte b/src/routes/category-properties/+page.svelte
index 5c4fa346..62897845 100644
--- a/src/routes/category-properties/+page.svelte
+++ b/src/routes/category-properties/+page.svelte
@@ -18,12 +18,9 @@
 	)
 </script>
 
-<MetaData
-	title="List of properties of categories"
-	description="All categorical properties"
-/>
+<MetaData title="Properties of categories" />
 
-<h2>List of properties of categories</h2>
+<h2>Properties of categories</h2>
 
 <SearchFilter bind:search />
 
diff --git a/src/routes/functor-implications/+page.svelte b/src/routes/functor-implications/+page.svelte
index ea1dee25..c65fa0ba 100644
--- a/src/routes/functor-implications/+page.svelte
+++ b/src/routes/functor-implications/+page.svelte
@@ -7,12 +7,9 @@
 	let { data } = $props()
 </script>
 
-<MetaData
-	title="List of implications of functors"
-	description="Implications of functorial properties"
-/>
+<MetaData title="Implications of functors" />
 
-<h2>List of implications of functors</h2>
+<h2>Implications of functors</h2>
 
 <!-- TODO: add search feature if the list grows in the future -->
 <!-- TODO: add dualized-toggle if the list grows in the future -->
diff --git a/src/routes/functor-properties/+page.svelte b/src/routes/functor-properties/+page.svelte
index 16e66400..fcc996e9 100644
--- a/src/routes/functor-properties/+page.svelte
+++ b/src/routes/functor-properties/+page.svelte
@@ -7,10 +7,7 @@
 	let { data } = $props()
 </script>
 
-<MetaData
-	title="List of properties of functors"
-	description="All functorial properties"
-/>
+<MetaData title="Properties of functors" />
 
 <h2>Properties of Functors</h2>
 
diff --git a/src/routes/functors/+page.svelte b/src/routes/functors/+page.svelte
index c0c6997e..daaef7fc 100644
--- a/src/routes/functors/+page.svelte
+++ b/src/routes/functors/+page.svelte
@@ -9,7 +9,7 @@
 	let { data } = $props()
 </script>
 
-<MetaData title="List of functors" description="All available functors" />
+<MetaData title="List of functors" />
 
 <h2>List of functors</h2>
 

From 257fd9ffc51eb920299f796ee0c1b8bc4286ae3a Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Thu, 16 Apr 2026 13:36:55 +0200
Subject: [PATCH 4/4] remove redundant descriptions in meta tag

---
 src/routes/categories/[tag]/+page.svelte             | 5 +----
 src/routes/category-comparison/[...ids]/+page.svelte | 5 +----
 src/routes/contribute/+page.svelte                   | 2 +-
 src/routes/missing/+page.svelte                      | 2 +-
 src/routes/resources/+page.svelte                    | 4 ++--
 5 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/src/routes/categories/[tag]/+page.svelte b/src/routes/categories/[tag]/+page.svelte
index 7e8ad64e..2a87d248 100644
--- a/src/routes/categories/[tag]/+page.svelte
+++ b/src/routes/categories/[tag]/+page.svelte
@@ -6,10 +6,7 @@
 	let { data } = $props()
 </script>
 
-<MetaData
-	title="List of categories tagged with '{data.tag}'"
-	description="Categories tagged with '{data.tag}'"
-/>
+<MetaData title="List of categories tagged with '{data.tag}'" />
 
 <h2>List of categories tagged with '{data.tag}'</h2>
 
diff --git a/src/routes/category-comparison/[...ids]/+page.svelte b/src/routes/category-comparison/[...ids]/+page.svelte
index af9aac57..a1082c62 100644
--- a/src/routes/category-comparison/[...ids]/+page.svelte
+++ b/src/routes/category-comparison/[...ids]/+page.svelte
@@ -37,10 +37,7 @@
 	})
 </script>
 
-<MetaData
-	title="Comparison of categories"
-	description={compared_categories.map((c) => c.name).join(', ')}
-/>
+<MetaData title="Comparison of categories" />
 
 <h2>Comparison of categories</h2>
 
diff --git a/src/routes/contribute/+page.svelte b/src/routes/contribute/+page.svelte
index 84b87765..cac1c908 100644
--- a/src/routes/contribute/+page.svelte
+++ b/src/routes/contribute/+page.svelte
@@ -3,7 +3,7 @@
 	import SuggestionForm from '$components/SuggestionForm.svelte'
 </script>
 
-<MetaData title="How to contribute" description="Options to contribute to CatDat" />
+<MetaData title="How to contribute to CatDat" />
 
 <h2>How to contribute</h2>
 
diff --git a/src/routes/missing/+page.svelte b/src/routes/missing/+page.svelte
index 5d187b1d..ef9acb4f 100644
--- a/src/routes/missing/+page.svelte
+++ b/src/routes/missing/+page.svelte
@@ -10,7 +10,7 @@
 
 <MetaData
 	title="Missing data in CatDat"
-	description="Missing properties, missing special morphisms, and more."
+	description="Missing properties, missing special morphisms, missing combinations, and more."
 />
 
 <h2>Missing data</h2>
diff --git a/src/routes/resources/+page.svelte b/src/routes/resources/+page.svelte
index 7b0b27e5..6a176dda 100644
--- a/src/routes/resources/+page.svelte
+++ b/src/routes/resources/+page.svelte
@@ -2,9 +2,9 @@
 	import MetaData from '$components/MetaData.svelte'
 </script>
 
-<MetaData title="Resources" description="Resources on category theory" />
+<MetaData title="Resources on Category Theory" />
 
-<h2>Resources</h2>
+<h2>Resources on Category Theory</h2>
 
 <p>This is an (incomplete) list of resources on category theory.</p>