categorial vs categorical although the som gives these as synonyms lambek clarifies that categorical refers to categories from category theory whereas categorial refers categories in the sense of the polish school of logic that is to type from type theory ping