nLab Joachim Lambek

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

• wikipedia page

• index of his writing since 2000

Selected writings

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: Joseph Agassi, Robert S. Cohen (eds.) Scientific Philosophy Today: Essays in Honor of Mario Bunge, , 111-21. Boston: D. Reidel Publishing Co. (1981) 111-121 [doi:10.1007/978-94-009-8462-2_6, pdf]

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]

• Joachim Lambek, Torsion theories, additive semantics, and rings of quotients, Springer Lecture Notes in Math. 177, 1971

Related entries

• lambda-calculus/relation between type theory and category theory

• biclosed monoidal category

• initial algebra

• linguistics

• categorial grammar

• Introduction to Higher-Order Categorical Logic

category: people