Joachim Lambek, (1922-2014), usually called Jim, was a mathematician, logician, theoretical linguist, …, based at McGill university.

Suggesting enrichment in multicategories:

- Joachim Lambek,
*Deductive Systems and Categories II: Standard constructions and closed categories*, In: Peter Hilton (eds.)*Category Theory, Homology Theory and their Applications I*, Lecture Notes in Mathematics**86**Springer 1969 (doi:10.1007/BFb0079385, pdf)

On the role of adjunctions and dualities in mathematics:

- Joachim Lambek,
*The Influence of Heraclitus on Modern Mathematics*, In*Scientific Philosophy Today: Essays in Honor of Mario Bunge*, edited by Joseph Agassi and Robert S Cohen, 111–21. Boston: D. Reidel Publishing Co. (1981)

On categorical logic and topos theory (and establishing the relation between simply-typed lambda calculus and cartesian closed categories):

- Joachim Lambek, Philip J. Scott,
*Introduction to higher order categorical logic*, Cambridge Studies in Advanced Mathematics**7**(1986) [ISBN: 0-521-24665-2, pdf]

On computability and formal language:

- Joachim Lambek (with Michael Barr),
*Programs, Grammars, Arguments*, lecture notes (2007) [pdf, pdf]

On injective hulls of partially ordered monoids:

- Joachim Lambek, Michael Barr, John Kennison, Robert Raphael,
*Injective hulls of partially ordered monoids*, Theory Appl. Categories**26**13 (2012) 338–348 [tac:16-13]

category: people

Last revised on October 31, 2023 at 07:19:08. See the history of this page for a list of all contributions to it.