add the category of torsion abelian groups

Author: ScriptRaccoon

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

@@ -196,10 +196,20 @@ VALUES
 	'$\TorsFreeAb$',
 	'torsion-free abelian groups',
 	'group homomorphisms',
-	'This is a typical example of a well-behaved additive category which is <i>not</i> abelian.',
+	'This is a typical example of a well-behaved additive category which is <i>not</i> abelian. It contains the category of free abelian groups.',
 	'https://ncatlab.org/nlab/show/torsion-free+module',
 	NULL
 ),
+(
+	'TorsAb',
+	'category of torsion abelian groups',
+	'$\mathbf{TorsAb}$',
+	'torsion abelian groups',
+	'group homomorphisms',
+	'This is a Grothendieck abelian category containing all finite abelian groups.',
+	'https://ncatlab.org/nlab/show/torsion+subgroup',
+	NULL
+),
 (
 	'Cat',
 	'category of small categories',

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

@@ -10,6 +10,7 @@ VALUES
 ('Ab', 'R-Mod'),
 ('Ab', 'FreeAb'),
 ('Ab', 'TorsFreeAb'),
+('Ab', 'TorsAb'),
 ('Ab_fg', 'Ab'),
 ('Ab_fg', 'FinAb'),
 ('Alg(R)', 'CAlg(R)'),
@@ -47,6 +48,7 @@ VALUES
 ('FinAb', 'Ab'),
 ('FinAb', 'Ab_fg'),
 ('FinAb', 'FinGrp'),
+('FinAb', 'TorsAb'),
 ('FinOrd', 'FinSet'),
 ('FinOrd', 'Pos'),
 ('FinOrd', 'Delta'),
@@ -137,6 +139,10 @@ VALUES
 ('Top*', 'Set*'),
 ('TorsFreeAb', 'Ab'),
 ('TorsFreeAb', 'FreeAb'),
+('TorsFreeAb', 'TorsAb'),
+('TorsAb', 'TorsFreeAb'),
+('TorsAb', 'Ab'),
+('TorsAb', 'FinAb'),
 ('Vect', 'R-Mod'),
 ('Vect', 'R-Mod_div'),
 ('Z', 'Sch'),

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

@@ -91,6 +91,7 @@ VALUES
 ('Top', 'topology'),
 ('Top*', 'topology'),
 ('TorsFreeAb', 'algebra'),
+('TorsAb', 'algebra'),
 ('Vect', 'algebra'),
 ('walking_commutative_square', 'finite'),
 ('walking_commutative_square', 'category theory'),