In reply to DaveHK:
> That statement is false a priori. For a statement to be a category error does it have to be false a priori?
That's a very good question.
I think I'd go for a good fudge. Not everyone thinks that category definitions are meaningful, so it may depend on your views on categories and what constitutes a category.
That could be very broad, at the far end of the scale then no, I don't think it needs to be knowable a priori, a mollusc, for example has no visual faculty, so if you describe it as having the property of sight, it's true but contingently so and not knowable a priori.
So the question then is if your category definitions allow for simple physical properties to be sufficient for you to place things is different categories.
Some people might have a category identifier as 'object', so the mollusc example would just be making a factual mistake as all objects fall into that category without differentiation. Or you could say 'object' was a type and contained different hierarchies of categories, so animal was a category which then had sub categories. If you had to do a test to find out if something was an animal or a specific type of animal to put it into a category then it wouldn't be a priori.