ignore some properties for N (WIP commit)

Author: ScriptRaccoon

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

@@ -35,12 +35,6 @@ VALUES
 	TRUE,
 	'Every non-empty set of natural numbers has a minimum.'
 ),
-(
-	'N',
-	'skeletal',
-	TRUE,
-	'The relation $\leq$ is antisymmetric.'
-),
 (
 	'N',
 	'semi-strongly connected',
@@ -64,4 +58,9 @@ VALUES
 	'countable coproducts',
 	FALSE,
 	'The numbers $0,1,2,\dotsc$ have no supremum, i.e. no coproduct.'
-);
+);
+
+-- properties that should be ignored by the redundancy check script
+UPDATE category_property_assignments
+SET check_redundancy = FALSE
+WHERE property_id IN ('thin', 'finitely cocomplete');