From 949f258c4bcd1e51d8c52399a90ee96520b666e4 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Sun, 17 May 2026 13:40:36 +0200
Subject: [PATCH 1/3] add short documentation for content pages

---
 CONTRIBUTING.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 9defc203..846c4b6e 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -128,6 +128,8 @@ When contributing new data (categories, functors, properties, implications), ple
 
 - **Simplify Implications**: When adding a new implication, check if it simplifies existing implications and if it deduces some previously non-deduced properties for categories.
 
+- **Long-form content**: If a proof for a property becomes very long, move it into a markdown-generated content page and link to that page. These files are located in the `/content` folder. For example, `/content/cocongruences_of_groups.md` is rendered at [`/content/cocongruences_of_groups`](https://catdat.app/content/cocongruences_of_groups). Content pages are also used for reusable lemmas that apply to multiple property assignments.
+
 - **New Combinations**: Add new categories that satisfy combinations of satisfied properties and unsatisfied properties and not yet in the database. For example, you may add a category that is abelian but neither cocomplete nor essentially small (if it is not already present). The [page with missing data](https://catdat.app/missing) lists consistent combinations of the form $p \land \neg q$ that are not yet witnessed by a category in the database. The same remarks apply to functors.
 
 ### Redundancy Script

From c5a22054dd0488be7d16b1b133e56b7ec4a48f30 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Sun, 17 May 2026 13:41:23 +0200
Subject: [PATCH 2/3] add suggestion form to content page

---
 src/routes/content/[id]/+page.svelte | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/routes/content/[id]/+page.svelte b/src/routes/content/[id]/+page.svelte
index 47bfb8ec..31ca5ca1 100644
--- a/src/routes/content/[id]/+page.svelte
+++ b/src/routes/content/[id]/+page.svelte
@@ -1,5 +1,6 @@
 <script lang="ts">
 	import MetaData from '$components/MetaData.svelte'
+	import SuggestionForm from '$components/SuggestionForm.svelte'
 
 	let { data } = $props()
 </script>
@@ -14,6 +15,8 @@
 	<p class="hint">Author: {data.meta_data.author}</p>
 {/if}
 
+<SuggestionForm />
+
 <style>
 	.content {
 		line-height: 1.6;

From 66919dfe921a068abd88b58a7672074cfff7d777 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Sun, 17 May 2026 14:24:00 +0200
Subject: [PATCH 3/3] show entities that reference the given content page

---
 src/routes/content/[id]/+page.server.ts | 33 ++++++++++++++++++++++++-
 src/routes/content/[id]/+page.svelte    | 30 ++++++++++++++++++++++
 2 files changed, 62 insertions(+), 1 deletion(-)

diff --git a/src/routes/content/[id]/+page.server.ts b/src/routes/content/[id]/+page.server.ts
index 2403891e..ceef6548 100644
--- a/src/routes/content/[id]/+page.server.ts
+++ b/src/routes/content/[id]/+page.server.ts
@@ -1,6 +1,9 @@
 import { content_ids, get_rendered_content } from '$lib/server/markdown'
 import { error } from '@sveltejs/kit'
 import type { EntryGenerator } from './$types'
+import { batch } from '$lib/server/db.catdat'
+import sql from 'sql-template-tag'
+import type { CategoryShort, PropertyShort } from '$lib/commons/types'
 
 export const entries: EntryGenerator = () => {
 	return content_ids.map((id) => ({ id }))
@@ -10,5 +13,33 @@ export const load = async (event) => {
 	const id = event.params.id
 	const content = get_rendered_content(id)
 	if (!content) error(404, 'Not Found')
-	return content
+
+	const { results, err: err_categories } = batch<
+		[CategoryShort, PropertyShort, { id: string }]
+	>([
+		sql`
+			SELECT c.id, c.name FROM categories c
+			WHERE EXISTS (
+				SELECT 1
+				FROM category_property_assignments cp
+				WHERE
+					cp.category_id = c.id
+					AND cp.reason LIKE '%/content/' || ${id} || '%'
+			)
+		`,
+		sql`
+			SELECT id, relation FROM category_properties
+			WHERE description LIKE '%/content/' || ${id} || '%'
+		`,
+		sql`
+			SELECT id FROM category_implications
+			WHERE reason LIKE '%/content/' || ${id} || '%'
+		`,
+	])
+
+	if (err_categories) error(500, 'Could not load context')
+
+	const [categories, category_properties, category_implications] = results
+
+	return { ...content, categories, category_properties, category_implications }
 }
diff --git a/src/routes/content/[id]/+page.svelte b/src/routes/content/[id]/+page.svelte
index 31ca5ca1..1514e4a5 100644
--- a/src/routes/content/[id]/+page.svelte
+++ b/src/routes/content/[id]/+page.svelte
@@ -1,5 +1,7 @@
 <script lang="ts">
+	import CategoryList from '$components/CategoryList.svelte'
 	import MetaData from '$components/MetaData.svelte'
+	import PropertyList from '$components/PropertyList.svelte'
 	import SuggestionForm from '$components/SuggestionForm.svelte'
 
 	let { data } = $props()
@@ -15,6 +17,34 @@
 	<p class="hint">Author: {data.meta_data.author}</p>
 {/if}
 
+{#if data.categories.length > 0 || data.category_properties.length > 0 || data.category_implications.length > 0}
+	<h3>Context</h3>
+
+	{#if data.categories.length > 0}
+		<p class="hint">This page is referenced by the following categories.</p>
+
+		<CategoryList categories={data.categories} />
+	{/if}
+
+	{#if data.category_properties.length > 0}
+		<p class="hint">This page is referenced by the following properties.</p>
+
+		<PropertyList properties={data.category_properties} />
+	{/if}
+
+	{#if data.category_implications.length > 0}
+		<p class="hint">This page is referenced by the following implications.</p>
+
+		<ul>
+			{#each data.category_implications as { id }}
+				<li>
+					<a href="/category-implication/{id}">{id}</a>
+				</li>
+			{/each}
+		</ul>
+	{/if}
+{/if}
+
 <SuggestionForm />
 
 <style>