Closed Categories and Categorial Grammar. Dougherty, D. J.\ Notre Dame Journal of Formal Logic, 34(1):36--49, 1993.
Closed Categories and Categorial Grammar [pdf]Paper  abstract   bibtex   
Inspired by Lambek's work on categorial grammar, we examine the proposal that the theory of biclosed monoidal categories can serve as a foundation for a formal theory of natural language. The emphasis throughout is on the derivation of the axioms for these categories from linguistic intuitions. When Montague's principle that there is a homomorphism between syntax and semantics is refined to the principle that meaning is a functor between a syntax-category and a semantics-category, the fundamental properties of biclosed categories induce a rudimentary computationally oriented theory of language.

Downloads: 0