add categories of C*-algebras (unital / non-unital)

Author: ScriptRaccoon

database/data/001_categories/002_analysis.sql

@@ -39,6 +39,26 @@ VALUES
 	'https://ncatlab.org/nlab/show/Banach+algebra',
 	NULL
 ),
+(
+	'C*Alg_nu',
+	'category of non-unital C<sup>*</sup>-algebras',
+	'$\mathbf{C^*Alg}_{nu}$',
+	'non-unital C<sup>*</sup>-algebras',
+	'non-unital $*$-algebra homomorphisms',
+	'With "non-unital" we mean "not necessarily unital".',
+	'https://ncatlab.org/nlab/show/C-star-algebra',
+	NULL
+),
+(
+	'C*Alg_u',
+	'category of unital C<sup>*</sup>-algebras',
+	'$\mathbf{C^*Alg}_{u}$',
+	'unital C<sup>*</sup>-algebras',
+	'unital $*$-algebra homomorphisms',
+	NULL,
+	'https://ncatlab.org/nlab/show/C-star-algebra',
+	NULL
+),
 (
 	'Meas',
 	'category of measurable spaces',

database/data/001_categories/100_related-categories.sql

@@ -19,8 +19,10 @@ VALUES
 ('BanAlg_u', 'CVNA'),
 ('BanAlg_u', 'BanAlg_nu'),
 ('BanAlg_u', 'Alg(R)'),
+('BanAlg_u', 'C*Alg_u'),
 ('BanAlg_nu', 'BanAlg_u'),
 ('BanAlg_nu', 'Rng'),
+('BanAlg_nu', 'C*Alg_nu'),
 ('B', 'FS'),
 ('BG', 'BG_f'),
 ('BG', 'BN'),
@@ -29,6 +31,12 @@ VALUES
 ('BN', 'BG'),
 ('BN', 'BOn'),
 ('BOn', 'BN'),
+('C*Alg_u', 'C*Alg_nu'),
+('C*Alg_u', 'BanAlg_u'),
+('C*Alg_u', 'Alg(R)'),
+('C*Alg_nu', 'C*Alg_u'),
+('C*Alg_nu', 'BanAlg_nu'),
+('C*Alg_nu', 'Rng'),
 ('CAlg(R)', 'Alg(R)'),
 ('CAlg(R)', 'CRing'),
 ('CAlg(R)', 'R-Mod'),

database/data/004_property-assignments/CstarAlg_nu.sql

@@ -0,0 +1,20 @@
+INSERT INTO category_property_assignments (
+	category_id,
+	property_id,
+	is_satisfied,
+	reason
+)
+VALUES
+-- TODO: add properties here
+(
+	'C*Alg_nu',
+	'inhabited',
+	TRUE,
+	'This is clear.'
+),
+(
+	'C*Alg_nu',
+	'skeletal',
+	FALSE,
+	'This is trivial.'
+);

database/data/004_property-assignments/CstarAlg_u.sql

@@ -0,0 +1,20 @@
+INSERT INTO category_property_assignments (
+	category_id,
+	property_id,
+	is_satisfied,
+	reason
+)
+VALUES
+-- TODO: add properties here
+(
+	'C*Alg_u',
+	'inhabited',
+	TRUE,
+	'This is clear.'
+),
+(
+	'C*Alg_u',
+	'skeletal',
+	FALSE,
+	'This is trivial.'
+);