Update databases/catdat/data/004_category-implications/002_limits-colimits-behavior-implications.sql

dschepler · ScriptRaccoon · web-flow · commit 2aeb245a5b30 · 2026-05-06T09:07:52.000-04:00
Co-authored-by: Script Raccoon &lt;scriptraccoon@gmail.com&gt;
diff --git a/databases/catdat/data/004_category-implications/002_limits-colimits-behavior-implications.sql b/databases/catdat/data/004_category-implications/002_limits-colimits-behavior-implications.sql
@@ -264,7 +264,7 @@ VALUES
 	'regular_well-powered_well-copowered',
 	'["regular", "well-powered"]',
 	'["well-copowered"]',
-	'The regularity condition gives a bijection between quotients of $X$ and effective congruences on $X$, which is a subset of the subobjects of $X\times X$.',
+	'The regularity condition gives a bijection between the collection of quotients of $X$ and the collection of effective congruences on $X$, which is a subcollection of the collection of subobjects of $X\times X$.',
 	FALSE
 ),
 (

Original file line number	Diff line number	Diff line change
`@@ -264,7 +264,7 @@ VALUES`
`264`	`264`	`'regular_well-powered_well-copowered',`
`265`	`265`	`'["regular", "well-powered"]',`
`266`	`266`	`'["well-copowered"]',`
`267`		`- 'The regularity condition gives a bijection between quotients of $X$ and effective congruences on $X$, which is a subset of the subobjects of $X\times X$.',`
	`267`	`+ 'The regularity condition gives a bijection between the collection of quotients of $X$ and the collection of effective congruences on $X$, which is a subcollection of the collection of subobjects of $X\times X$.',`
`268`	`268`	`FALSE`
`269`	`269`	`),`
`270`	`270`	`(`