breaking change: change routes for category related pages

this is to make it consistent with the functor routes

Author: ScriptRaccoon

scripts/deduce-properties.ts

@@ -101,7 +101,7 @@ async function deduce_satisfied_properties(
 		const assumption_string = get_assumption_string(implication)
 		const conclusion_string = get_conclusion_string(implication)
 
-		const ref = `(see <a href="/implication/${implication_id}">here</a>)`
+		const ref = `(see <a href="/category-implication/${implication_id}">here</a>)`
 		const reason = `Since it ${assumption_string}, it ${conclusion_string} ${ref}.`
 
 		reasons[conclusion] = reason
@@ -221,7 +221,7 @@ async function deduce_unsatisfied_properties(
 		const assumption_string = get_assumption_string(implication)
 		const conclusion_string = get_conclusion_string(implication)
 
-		const ref = `(see <a href="/implication/${implication_id}">here</a>)`
+		const ref = `(see <a href="/category-implication/${implication_id}">here</a>)`
 
 		const reason =
 			`Assume that it ${prefixes[property]} ${property}. ` +

src/components/ImplicationItem.svelte

@@ -14,7 +14,7 @@
 	let { implication, highlighted_property }: Props = $props()
 </script>
 
-<a href="/implication/{implication.id}" aria-label="details">
+<a href="/category-implication/{implication.id}" aria-label="details">
 	<Fa icon={faInfoCircle} color="var(--secondary-text-color)" />
 </a>
 

src/components/Nav.svelte

@@ -25,46 +25,47 @@
 		{
 			href: '/categories',
 			text: 'Categories',
-			nested: '/category',
+			nested: '/category/',
 			icon: faDatabase,
 			mode: 'categories',
 		},
 		{
-			href: '/properties',
+			href: '/category-properties',
 			text: 'Properties',
-			nested: '/property',
+			nested: '/category-property',
 			icon: faList,
 			mode: 'categories',
 		},
 		{
-			href: '/implications',
+			href: '/category-implications',
 			text: 'Implications',
+			nested: '/category-implication',
 			icon: faArrowsSplitUpAndLeft,
 			mode: 'categories',
 		},
 		{
-			href: '/compare',
+			href: '/category-comparison',
 			text: 'Compare',
 			icon: faChartBar,
-			nested: '/compare',
+			nested: '/category-comparison',
 			mode: 'categories',
 		},
 		{
-			href: '/search',
+			href: '/category-search',
 			text: 'Search',
 			icon: faSearch,
 			mode: 'categories',
 		},
 		{
 			href: '/functor-properties',
-			text: 'Functor properties',
+			text: 'Properties',
 			nested: '/functor-property',
 			icon: faList,
 			mode: 'functors',
 		},
 		{
 			href: '/functor-implications',
-			text: 'Functor implications',
+			text: 'Implications',
 			nested: '/functor-implication',
 			icon: faArrowsSplitUpAndLeft,
 			mode: 'functors',

src/components/NavMobile.svelte

@@ -44,28 +44,28 @@
 				</a>
 			</li>
 			<li>
-				<a href="/properties">
+				<a href="/category-properties">
 					Properties
 					<Fa icon={faList} />
 				</a>
 			</li>
 
 			<li>
-				<a href="/implications">
+				<a href="/category-implications">
 					Implications
 					<Fa icon={faArrowsSplitUpAndLeft} />
 				</a>
 			</li>
 
 			<li>
-				<a href="/compare">
+				<a href="/category-comparison">
 					Compare
 					<Fa icon={faChartBar} />
 				</a>
 			</li>
 
 			<li>
-				<a href="/search">
+				<a href="/category-search">
 					Search
 					<Fa icon={faSearch} />
 				</a>

src/lib/commons/property.url.ts

@@ -25,6 +25,5 @@ export function decode_property_ID(str: string): string {
 }
 
 export function get_property_url(id: string, type: 'category' | 'functor' = 'category') {
-	if (type === 'category') return `/property/${encode_property_ID(id)}`
-	return `/functor-property/${encode_property_ID(id)}`
+	return `/${type}-property/${encode_property_ID(id)}`
 }

src/routes/+page.svelte

@@ -41,9 +41,10 @@
 		</h3>
 
 		<p>
-			A list of <a class="accent" href="/implications">implications</a> between
-			<a class="accent" href="/properties">properties</a> allows for automatic deduction
-			of satisfied and unsatisfied properties from more basic ones.
+			A list of <a class="accent" href="/category-implications">implications</a>
+			between
+			<a class="accent" href="/category-properties">properties</a> allows for automatic
+			deduction of satisfied and unsatisfied properties from more basic ones.
 		</p>
 	</article>
 
@@ -52,8 +53,9 @@
 			<Fa icon={faSearch} /> Search by properties
 		</h3>
 		<p>
-			You can easily <a class="accent" href="/search">search for categories</a> that satisfy
-			specific properties while not satisfying others.
+			You can easily <a class="accent" href="/category-search"
+				>search for categories</a
+			> that satisfy specific properties while not satisfying others.
 		</p>
 	</article>
 
@@ -62,8 +64,8 @@
 			<Fa icon={faChartBar} /> Compare categories
 		</h3>
 		<p>
-			You can <a class="accent" href="/compare">compare categories</a> to see how their
-			properties align or differ.
+			You can <a class="accent" href="/category-comparison">compare categories</a> to
+			see how their properties align or differ.
 		</p>
 	</article>
 

src/routes/compare/+page.server.ts …utes/category-comparison/+page.server.tssrc/routes/compare/+page.server.ts renamed to src/routes/category-comparison/+page.server.ts src/routes/compare/+page.server.ts renamed to src/routes/category-comparison/+page.server.ts

@@ -28,7 +28,7 @@
 	function compare_categories() {
 		if (!is_valid_comparison) return
 		const path = chosen_categories.map((category) => category.id).join('/')
-		goto(`/compare/${path}`)
+		goto(`/category-comparison/${path}`)
 	}
 </script>
 

src/routes/compare/+page.svelte …/routes/category-comparison/+page.sveltesrc/routes/compare/+page.svelte renamed to src/routes/category-comparison/+page.svelte src/routes/compare/+page.svelte renamed to src/routes/category-comparison/+page.svelte

@@ -47,7 +47,7 @@
 <p class="hint" bind:this={paragraph_element}>
 	Selected:
 	{compared_categories.map((c) => c.name).join(', ')}.
-	<a href="/compare">Choose different categories</a>.
+	<a href="/category-comparison">Choose different categories</a>.
 </p>
 
 <table>