Replace PDFs with markdown-rendered pages

databases/catdat/data/categories/CompHaus.yaml

@@ -65,10 +65,10 @@ satisfied_properties:
       Now the identity morphism from $Y$, with the quotient topology of $f$, to $Y$ with its given topology is a bijective continuous function between compact Hausdorff spaces, so it is a homeomorphism. In other words, $f$ is a quotient map. Therefore, we see that if $g, h : E \rightrightarrows X$ is the kernel pair of $f$, and $U : \CompHaus \to \Top$ is the forgetful functor, then $U(f)$ is the coequalizer of $U(g)$ and $U(h)$. Since $U$ is fully faithful, that implies $f$ is the coequalizer of $g$ and $h$.
 
   - property: cofiltered-limit-stable epimorphisms
-    reason: 'Suppose we have a cofiltered diagram of epimorphisms $(f_i : X_i \to Y_i)$, and $y = (y_i) \in \lim_i Y_i$. Then by lemma 1 <a href="/pdf/comphaus_copresentable.pdf">here</a>, the limit of $f_i^{-1}(\{ y_i \})$ is non-empty. If $x$ is in this limit, that implies that $(\lim_i f_i)(x) = y$.'
+    reason: 'Suppose we have a cofiltered diagram of epimorphisms $(f_i : X_i \to Y_i)$, and $y = (y_i) \in \lim_i Y_i$. Then by lemma 1 <a href="/content/comphaus_copresentable">here</a>, the limit of $f_i^{-1}(\{ y_i \})$ is non-empty. If $x$ is in this limit, that implies that $(\lim_i f_i)(x) = y$.'
 
   - property: locally copresentable
-    reason: A proof can be found <a href="/pdf/comphaus_copresentable.pdf">here</a>.
+    reason: A proof can be found <a href="/content/comphaus_copresentable">here</a>.
 
 unsatisfied_properties:
   - property: skeletal

databases/catdat/data/categories/Grp.yaml

@@ -37,7 +37,7 @@ satisfied_properties:
     reason: See Example 2.2.4 in <a href="https://ncatlab.org/nlab/show/Malcev,+protomodular,+homological+and+semi-abelian+categories" target="_blank">Malcev, protomodular, homological and semi-abelian categories</a>.
 
   - property: effective cocongruences
-    reason: A proof can be found <a href="/pdf/cocongruences_of_groups.pdf">here</a>.
+    reason: A proof can be found <a href="/content/cocongruences_of_groups">here</a>.
 
 unsatisfied_properties:
   - property: skeletal

databases/catdat/data/categories/Rel.yaml

@@ -46,10 +46,10 @@ satisfied_properties:
     reason: 'Let $R : A \to B$ be a relation. Define $K = \bigl\{a \in A : \neg \exists b \in B ((a,b) \in R) \bigr\}$. We have an inclusion map $I : K \to A$, which can also be regarded as relation, and $R \circ I = \empty$ is the empty relation, i.e. the zero morphism. It is easy to check the universal property.'
 
   - property: quotients of congruences
-    reason: A proof can be found <a href="/pdf/congruences_in_rel.pdf">here</a>.
+    reason: A proof can be found <a href="/content/congruences_in_rel">here</a>.
 
   - property: effective congruences
-    reason: A proof can be found <a href="/pdf/congruences_in_rel.pdf">here</a>.
+    reason: A proof can be found <a href="/content/congruences_in_rel">here</a>.
 
 unsatisfied_properties:
   - property: skeletal

databases/catdat/data/categories/walking_pair.yaml

@@ -41,7 +41,7 @@ satisfied_properties:
     reason: The two morphisms $0 \rightrightarrows 1$ are clearly monomorphisms.
 
   - property: sifted colimits
-    reason: A proof can be found <a href="/pdf/walking_parallel_pair_sifted_colimit.pdf" target="_blank">here</a>.
+    reason: A proof can be found <a href="/content/walking_parallel_pair_sifted_colimit">here</a>.
 
 unsatisfied_properties:
   - property: strongly connected

databases/catdat/data/macros.yaml

@@ -22,6 +22,7 @@
 \J: \mathcal{J}
 \O: \mathcal{O}
 \S: \mathcal{S}
+\T: \mathcal{T}
 
 # abbreviations
 \op: \mathrm{op}

package.json

@@ -38,7 +38,10 @@
 		"better-sqlite3": "^12.9.0",
 		"chokidar": "^5.0.0",
 		"dotenv": "^17.3.1",
+		"gray-matter": "^4.0.3",
 		"husky": "^9.1.7",
+		"katex": "^0.16.44",
+		"markdown-it": "^14.1.1",
 		"prettier": "^3.8.1",
 		"prettier-plugin-svelte": "^3.5.2",
 		"svelte": "^5.55.7",
@@ -57,8 +60,6 @@
 		"@octokit/app": "^16.1.2",
 		"es6-crawler-detect": "^4.0.2",
 		"ioredis": "^5.10.1",
-		"katex": "^0.16.44",
-		"markdown-it": "^14.1.1",
 		"nodemailer": "^8.0.5",
 		"sql-template-tag": "^5.2.1",
 		"svelte-fa": "^4.0.4",

src/components/Footer.svelte

@@ -31,7 +31,7 @@
 		</li>
 		<li>
 			<Fa icon={faCubes} scale={0.875} />
-			<a href="/foundations">Foundations</a>
+			<a href="/content/foundations">Foundations</a>
 		</li>
 		<li>
 			<Fa icon={faDownload} scale={0.875} />

src/components/NavMobile.svelte

@@ -119,7 +119,7 @@
 			<Fa icon={faBook} scale={0.875} />
 		</li>
 		<li>
-			<a href="/foundations">Foundations</a>
+			<a href="/content/foundations">Foundations</a>
 			<Fa icon={faCubes} scale={0.875} />
 		</li>
 		<li>