decide CSP

Author: ScriptRaccoon

databases/catdat/data/003_category-property-assignments/SemiNormVect.sql

@@ -53,6 +53,12 @@ VALUES
    TRUE,
    'The object $(\mathbb{C},0)$ is a cogenerator since $\mathbb{C}$ is a cogenerator in $\mathbf{Vect}$.'
 ),
+(
+    'SemiNormVect',
+    'CSP',
+    FALSE,
+    'This is immediate from the description of coproducts, products, and epimorphisms.'
+),
 (
 	'SemiNormVect',
 	'balanced',