add the category of jonsson-tarski algebras

Author: ScriptRaccoon

.vscode/settings.json

@@ -144,6 +144,7 @@
 		"injectivity",
 		"Isbell",
 		"Johnstone",
+		"Jónsson",
 		"Kashiwara",
 		"katex",
 		"Kolmogorov",
@@ -219,6 +220,7 @@
 		"surjections",
 		"surjective",
 		"surjectivity",
+		"Tarski",
 		"tensoring",
 		"Turso",
 		"unital",

databases/catdat/data/001_categories/002_algebra.sql

@@ -209,4 +209,14 @@ VALUES
 	'This is the category of small categories and functors between them. It is the prototype of a 2-category, but here we only treat it as a 1-category.',
 	'https://ncatlab.org/nlab/show/Cat',
 	NULL
+),
+(
+	'J2',
+	'category of Jónsson-Tarski algebras',
+	'$\mathcal{J}_2$',
+	'pairs $(X,\alpha)$, where $X$ is a set and $\alpha : X \to X \times X$ is an isomorphism',
+	'A morphism $(X,\alpha) \to (Y,\beta)$ is a map $f : X \to Y$ satisfying $$(f \times f) \circ \alpha = \beta \circ f.$$',
+	'This is interesting example of a category in the intersection of topos theory and algebra.',
+	'https://ncatlab.org/nlab/show/J%C3%B3nsson-Tarski+algebra',
+	NULL
 );

databases/catdat/data/001_categories/100_related-categories.sql

@@ -63,9 +63,11 @@ VALUES
 ('FinGrp', 'FinAb'),
 ('Haus', 'Top'),
 ('Haus', 'Met_c'),
+('J2', 'M-Set'),
 ('LRS', 'Sch'),
 ('M-Set', 'R-Mod'),
 ('M-Set', 'Set'),
+('M-Set', 'J2'),
 ('Man', 'Top'),
 ('Man', 'Haus'),
 ('Meas', 'Top'),

databases/catdat/data/001_categories/200_category-tags.sql

@@ -46,6 +46,8 @@ VALUES
 ('FS', 'set theory'),
 ('Grp', 'algebra'),
 ('Haus', 'topology'),
+('J2', 'algebra'),
+('J2', 'set theory'),
 ('LRS', 'algebraic geometry'),
 ('M-Set', 'algebra'),
 ('Man', 'topology'),