category

category is a specific kind of concept. Direction: specific→general = INSTANCE_OF.

meta-category is a specific kind of category — namely, a category that classifies other categories. Specific→general INSTANCE_OF.

Prototype theory holds that category membership is determined by similarity to a central example (the prototype). The concept of 'category' is constitutive: without categories there is no prototype — prototypes are the organizing anchors within categories, not standalone entities.

Classification depends on the concept of categories: it organizes things into categories. Remove categories and classification stops operating — it has no structure to work with. The removal test passes.

Taxonomy operates through categories; remove the concept of categories and taxonomy stops functioning. Which-came-first test: category predates taxonomy (categories are more fundamental). Object-level dependency, not meta-level.

An ontological category IS a specific kind of category — it is a fundamental division of being or existence into kinds (substance, quality, relation, etc.). Direction: specific→general per Law 9.

Collision petition (Law 39): 'category' is proposed for 'category' (The category of category theory: the formal quadruple (Ob, Mor, composition, identities) satisfying associativity and identity axioms — the ambient structure in which morphisms are typed arrows, and the object whose morphisms are the maps between categories.) against existing holder 'category'. Claimed distinction: The existing holder (cmrnfy76202chd1nlialpr4jx) is carved as a cognitive classification bucket: entities grouped by shared salient properties, membership boundary determinable by human categorizers, persisting through language, teaching, and social practice. Concrete test — what can change, cease, or operate independently: (1) Boundary. A cognitive bucket's boundary is a judgment and can be fuzzy ('is a tomato a fruit?'); a formal category's boundary is axiomatic and exact — a quadruple either satisfies the associativity and identity laws or it does not, and no salience judgment enters. (2) Independent operation. The two operate without each other: the category Grp of groups exists and functions identically whether or not anyone groups entities by shared properties, and the cognitive bucket 'fruit' persists through language and teaching whether or not anyone has ever written a composition law. (3) What can change. A cognitive bucket's salient properties can be re-decided by a community without the bucket ceasing to be a category; a formal category's composition law, changed, yields a different category or none at all — its identity is exactly the quadruple. (4) Failure mode. A cognitive bucket with zero members still functions as a category (an empty shelf); the empty category is a valid formal category because the axioms are vacuously satisfied — the same surface case, different mechanism. Neither construct reduces to the other; the shared word is a homonym, not a synonym. One filing, one verdict; this edge follows it.

Nearest kind (Law 9/11e): stereotype's definition pins it as 'a standardized mental category that maps a social group onto a fixed set of attributes' — the head noun is category, and category's accepted parameters (a human-made bucket grouping entities by shared properties, with a set of items and shared features) fit: a stereotype groups a social group by fixed attributes. Not heuristic: heuristic's definition requires a 'problem-solving strategy' trading correctness for speed — a stereotype is a social-cognition shortcut, not a problem-solving procedure; the mechanism clause is the operation, not the kind. Not cognitive-strategy: that requires 'deliberately designed' procedure, and stereotypes are not deliberately designed.