expand dictionary

Author: ScriptRaccoon

.vscode/settings.json

@@ -17,7 +17,8 @@
 		"Prost",
 		"SetxSet",
 		"hilberts",
-		"maxage"
+		"maxage",
+		"ndash"
 	],
 	"cSpell.words": [
 		"abelian",
@@ -39,6 +40,7 @@
 		"catdat",
 		"clopen",
 		"Clowder",
+		"coaccessible",
 		"cocartesian",
 		"coclosed",
 		"cocomplete",
@@ -70,6 +72,7 @@
 		"conormal",
 		"copower",
 		"copowers",
+		"copresentable",
 		"coprime",
 		"coproduct",
 		"coproducts",
@@ -88,10 +91,12 @@
 		"delooping",
 		"deloopings",
 		"Demazure",
+		"Diers",
 		"diffeomorphism",
 		"diffeomorphisms",
 		"dualizable",
 		"Dualization",
+		"Eilenberg",
 		"endofunctors",
 		"Engelking",
 		"epimorphic",
@@ -130,8 +135,10 @@
 		"Kashiwara",
 		"katex",
 		"Kolmogorov",
+		"Lawvere",
 		"libsql",
 		"Lindelöf",
+		"Makkai",
 		"Malcev",
 		"Mathoverflow",
 		"metrizable",
@@ -147,13 +154,15 @@
 		"Niefield",
 		"nilradical",
 		"nlab",
+		"Noetherian",
 		"objectwise",
 		"pointwise",
 		"Pontryagin",
 		"poset",
 		"posets",
 		"preadditive",
 		"precomposed",
+		"precomposition",
 		"preimage",
 		"preimages",
 		"preordered",

database/data/005_implications/007_locally-presentable-implications.sql

@@ -42,7 +42,7 @@ VALUES
 	FALSE
 ),
 (
-	'accessible_wellcopowered',
+	'accessible_well-copowered',
 	'["accessible", "pushouts"]',
 	'["well-copowered"]',
 	'See Thm. 2.49 in <a href="https://ncatlab.org/nlab/show/Locally+Presentable+and+Accessible+Categories" target="_blank">Adamek-Rosicky</a> or Prop. 6.1.3 in <a href="https://bookstore.ams.org/conm-104" target="_blank">Makkai-Pare</a>.',