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:
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
Last revised on August 20, 2024 at 20:14:50. See the history of this page for a list of all contributions to it.