From 301cc53de31376677caa69cc97cde41fc32ce58e Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Mon, 10 Aug 2026 18:22:25 +0200
Subject: [PATCH] make description of a structure mandatory

---
 database/schema/001_structures.sql   |  2 +-
 database/scripts/utils/seed.types.ts |  2 +-
 src/lib/commons/types.ts             |  3 ++-
 src/pages/CategoryDetailPage.svelte  | 10 +++++-----
 src/pages/StructureDetailPage.svelte |  4 +---
 5 files changed, 10 insertions(+), 11 deletions(-)

diff --git a/database/schema/001_structures.sql b/database/schema/001_structures.sql
index 68f5d92f..6414f57b 100644
--- a/database/schema/001_structures.sql
+++ b/database/schema/001_structures.sql
@@ -12,7 +12,7 @@ CREATE TABLE structures (
     type TEXT NOT NULL,
     name TEXT NOT NULL UNIQUE,
     notation TEXT NOT NULL,
-    description TEXT,
+    description TEXT NOT NULL,
     nlab_link TEXT CHECK (nlab_link IS NULL OR nlab_link like 'https://%'),
     dual_structure_id TEXT,
     parent TEXT,
diff --git a/database/scripts/utils/seed.types.ts b/database/scripts/utils/seed.types.ts
index 173af4f6..ffb93047 100644
--- a/database/scripts/utils/seed.types.ts
+++ b/database/scripts/utils/seed.types.ts
@@ -49,7 +49,7 @@ export type StructureYaml = {
 	id: string
 	name: string
 	notation: string
-	description: string | null
+	description: string
 	nlab_link: string | null
 	tags: string[]
 	related: string[]
diff --git a/src/lib/commons/types.ts b/src/lib/commons/types.ts
index 8fac8bf2..6aca366c 100644
--- a/src/lib/commons/types.ts
+++ b/src/lib/commons/types.ts
@@ -15,7 +15,7 @@ export type StructureDisplay = {
 	id: string
 	name: string
 	notation: string
-	description: string | null
+	description: string
 	nlab_link: string | null
 	dual_structure_id: string | null
 	dual_structure_name: string | null
@@ -77,6 +77,7 @@ export type SpecialObject = {
 
 export type SpecialMorphism = {
 	type: string
+	// null when the morphisms of this type have not been determined
 	description: string | null
 	proof: string
 }
diff --git a/src/pages/CategoryDetailPage.svelte b/src/pages/CategoryDetailPage.svelte
index c1a98c32..b343ace3 100644
--- a/src/pages/CategoryDetailPage.svelte
+++ b/src/pages/CategoryDetailPage.svelte
@@ -43,13 +43,13 @@
 			<h3>Special morphisms</h3>
 
 			<ul class="with-margins no-bullets">
-				{#each data.special_morphisms as obj}
+				{#each data.special_morphisms as morph}
 					<li>
-						<TextWithProof proof={obj.proof}>
-							{#if obj.description}
-								{obj.type}: {@html obj.description}
+						<TextWithProof proof={morph.proof}>
+							{#if morph.description}
+								{morph.type}: {@html morph.description}
 							{:else}
-								{obj.type}: <Fa icon={faQuestion} scale={0.825} />
+								{morph.type}: <Fa icon={faQuestion} scale={0.825} />
 							{/if}
 						</TextWithProof>
 					</li>
diff --git a/src/pages/StructureDetailPage.svelte b/src/pages/StructureDetailPage.svelte
index b117af77..4d2e8c1d 100644
--- a/src/pages/StructureDetailPage.svelte
+++ b/src/pages/StructureDetailPage.svelte
@@ -121,9 +121,7 @@
 		{/if}
 	</ul>
 
-	{#if structure.description}
-		<p>{@html structure.description}</p>
-	{/if}
+	<p>{@html structure.description}</p>
 </section>
 
 <PropertyAssignmentList