Update databases/catdat/data/003_category-property-assignments/CompHaus.sql

dschepler · ScriptRaccoon · web-flow · commit 227b5705a348 · 2026-05-06T09:04:35.000-04:00
Co-authored-by: Script Raccoon &lt;scriptraccoon@gmail.com&gt;
diff --git a/databases/catdat/data/003_category-property-assignments/CompHaus.sql b/databases/catdat/data/003_category-property-assignments/CompHaus.sql
@@ -47,7 +47,7 @@ VALUES
 	'CompHaus',
 	'cogenerator',
 	TRUE,
-	'The unit interval $[0, 1]$ is a cogenerator: Suppose we have $f, g : X \to Y$ with $f \ne g$. Choose $x\in X$ such that $f(x) \ne g(x)$. Then by Urysohn''s lemma, there is a function $h : Y \to [0, 1]$ such that $h(f(x)) = 0$ and $h(g(x)) = 1$. Therefore, $h\circ f \ne h\circ g$.'
+	'The unit interval $[0, 1]$ is a cogenerator: Suppose we have $f, g : X \rightrightarrows Y$ with $f \ne g$. Choose $x\in X$ such that $f(x) \ne g(x)$. Then by Urysohn''s lemma, there is a continuous function $h : Y \to [0, 1]$ such that $h(f(x)) = 0$ and $h(g(x)) = 1$. Therefore, $h\circ f \ne h\circ g$.'
 ),
 (
 	'CompHaus',

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ VALUES`
`47`	`47`	`'CompHaus',`
`48`	`48`	`'cogenerator',`
`49`	`49`	`TRUE,`
`50`		`- 'The unit interval $[0, 1]$ is a cogenerator: Suppose we have $f, g : X \to Y$ with $f \ne g$. Choose $x\in X$ such that $f(x) \ne g(x)$. Then by Urysohn''s lemma, there is a function $h : Y \to [0, 1]$ such that $h(f(x)) = 0$ and $h(g(x)) = 1$. Therefore, $h\circ f \ne h\circ g$.'`
	`50`	`+ 'The unit interval $[0, 1]$ is a cogenerator: Suppose we have $f, g : X \rightrightarrows Y$ with $f \ne g$. Choose $x\in X$ such that $f(x) \ne g(x)$. Then by Urysohn''s lemma, there is a continuous function $h : Y \to [0, 1]$ such that $h(f(x)) = 0$ and $h(g(x)) = 1$. Therefore, $h\circ f \ne h\circ g$.'`
`51`	`51`	`),`
`52`	`52`	`(`
`53`	`53`	`'CompHaus',`