Categorial grammar is a family of formalisms in natural language syntax and semantics that describe the structure of sentences by assigning types to words and phrases, allowing for the combination of these types to form sentences. It emphasizes the role of function application and composition in language, providing a framework for understanding how meanings are constructed from smaller units.