nLab
Joachim Lambek

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

Selected writings

Suggesting enrichment in multicategories:

On the role of adjunctions and dualities in mathematics:

On categorical logic and topos theory:

category: people