adj. 1. pertaining to category theory. 2. also called categorical. (of a statement) consisting of a subject, a predicate, and a quantifier that asserts a relationship between two classes, such as all A are B, or some A are not B. See syllogism.