A semantic or ontological error by which a property is ascribed to a thing that could not possibly have that property.

plural of lexical category

plural of category mistake

(category theory) A category whose objects are morphisms (of some given category) with a common codomain, and whose morphisms are commuting triangles where two morphisms of each of such triangles share the said common codomain.

(linguistics) A type of formal grammar of natural language syntax.

plural of categorial grammar

(category theory) A category in which every bimorphism is an isomorphism.

(category theory) A category whose objects are functors (from some fixed given domain category to some fixed given codomain category) and whose morphisms are natural transformations.

(category theory) The category opposite to that of a slice category.

(category theory) A category built out of a pair of functors that have the same codomain.