categorical grammar
A technical term in linguistics referring to a type of formal grammar that uses categories and functors, associated with the work of Kazimierz Ajdukiewicz and Yehoshua Bar-Hillel.
Categorical grammar analyzes syntactic structure from the perspective of function application.