Joachim Lambek, (1922-2014), usually called Jim, was a mathematician, logician, theoretical linguist, …, based at McGill university.
Suggesting enrichment in multicategories:
On the role of adjunctions and dualities in mathematics:
On categorical logic and topos theory (and establishing the relation between simply-typed lambda calculus and cartesian closed categories):
On computability and formal language:
On injective hulls of partially ordered monoids:
Last revised on October 31, 2023 at 07:19:08. See the history of this page for a list of all contributions to it.