rename implication

ScriptRaccoon · ScriptRaccoon · commit 735fc2be4788 · 2026-05-02T13:01:18.000+02:00
diff --git a/databases/catdat/data/004_category-implications/008_topos-theory-implications.sql b/databases/catdat/data/004_category-implications/008_topos-theory-implications.sql
@@ -182,7 +182,7 @@ VALUES
 	FALSE
 ),
 (
-	'topos_is_malcev',
+	'topos_is_co-malcev',
 	'["elementary topos"]',
 	'["co-Malcev"]',
 	'This is Example 2.2.18 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>. An alternative proof is given later in A.5.17.',

Original file line number	Diff line number	Diff line change
`@@ -182,7 +182,7 @@ VALUES`
`182`	`182`	`FALSE`
`183`	`183`	`),`
`184`	`184`	`(`
`185`		`- 'topos_is_malcev',`
	`185`	`+ 'topos_is_co-malcev',`
`186`	`186`	`'["elementary topos"]',`
`187`	`187`	`'["co-Malcev"]',`
`188`	`188`	`'This is Example 2.2.18 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>. An alternative proof is given later in A.5.17.',`