1374:
42:
360:
244:
168:
294:
1467:
1462:
1472:
482:
126:
1159:
1192:
1232:
1069:
888:
703:
684:
657:
620:
232:
1497:
333:
645:
1502:
1492:
515:
332:
Lambek became assistant professor at McGill; he was made a full professor in 1963. He spent his sabbatical year 1965–66 in at the
1329:
421:
Lambek supervised 17 doctoral students, and has 75 doctoral descendants as of 2020. He has over 100 publications listed in the
404:
412:
210:
1369:
805:
752:
1307:
Categories and Types in Logic, Language, and
Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
1276:
1256:
1080:
474:
1487:
1482:
478:
305:. There, he began in his spare time a mathematical apprenticeship with Fritz Rothberger, also interned, and wrote the
1430:
140:
1284:
1028:
612:
470:
306:
438:
118:
1194:
Resolution on the Death of
Emeritus Professor Joachim (Jim) Lambek, Department of Mathematics and Statistics
1477:
1457:
1452:
871:— (1969). "Deductive systems and categories II. Standard constructions and closed categories".
441:
about integer sequences. In 1963 he published an important result, now known as Lambek's theorem, on
422:
411:
when in 1995 he contributed "If
Hamilton had prevailed: Quaternions in Physics", which exhibited the
185:
A: Biquaternion
Vectorfields over Minkowski's Space B: The Immersibility of a Semigroup into a Group
565:. Seminar lectures given in 1966 in ZĂĽrich. Lecture Notes in Mathematics, No. 24. Berlin, New York:
1260:
400:
276:
1348:
1045:
1015:
860:
830:
777:
739:
415:
345:
1084:
1409:
1238:
1228:
1201:
1093:
1065:
999:
963:
925:
894:
884:
822:
769:
699:
680:
653:
616:
533:
511:
248:
172:
108:
1399:
1338:
1220:
1111:
1106:
1037:
991:
953:
915:
876:
850:
814:
761:
729:
486:
442:
430:
368:
195:
1292:
1011:
975:
937:
789:
667:
630:
595:
574:
553:
525:
1288:
1061:
1007:
971:
933:
785:
663:
649:
626:
591:
587:
570:
566:
549:
537:
521:
462:
450:
392:
349:
322:
285:
256:
200:
130:
122:
69:
797:
1373:
605:
542:
314:
1446:
1352:
1049:
958:
920:
864:
750:—; Moser, L. (1954), "Inverse and Complementary Sequences of Natural Numbers",
743:
426:
298:
237:
215:
1019:
1188:
466:
408:
388:
384:
353:
341:
875:. Vol. 86. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 76–122.
639:
505:
1436:
995:
364:
290:
158:
87:
1224:
337:
1413:
1305:
Casadio, Claudia; Coeke, Bob; Moortgat, Michael; Scott, Philip, eds. (2014),
1003:
967:
929:
898:
826:
773:
1365:
396:
98:
41:
1404:
1387:
1343:
1324:
855:
734:
465:, an effort to capture mathematical aspects of natural language syntax in
1215:
MĂĽller-Hoissen, Folkert; Pallo, Jean Marcel; Stasheff, Jim, eds. (2012).
1131:
720:
Lambek, Joachim (1951), "The immersibility of a semigroup into a group",
446:
310:
241:
1041:
880:
834:
781:
371:
was published. On the occasion of Lambek's 90th birthday, a collection
309:
in fall of 1941. In the spring of 1942, he was released and settled in
280:
272:
268:
65:
1026:— (1995). "If Hamilton had prevailed: Quaternions and Physics".
17:
302:
179:
818:
765:
696:
From word to sentence: a computational algebraic approach to grammar
313:, where he entered studies at McGill University, graduating with an
1388:"A Module is Flat if and Only if its Character Module is Injective"
1281:
The Lambek
Festschrift: mathematical structures in computer science
1242:
1219:. Progress in Mathematics. Vol. 299. Birkhäuser. p. 18.
586:. Lecture Notes in Mathematics. Vol. 177. Berlin, New York:
429:, especially torsion theories, non-commutative localization, and
367:
celebrating Lambek's contributions to mathematical structures in
445:
characterizing flatness of a module. His more recent work is in
982:— (1979), "A mathematician looks at Latin conjugation",
326:
318:
252:
356:. There Lambek reoriented his research into category theory.
584:
Torsion theories, additive semantics, and rings of quotients
344:
had gathered together a group of researchers interested in
359:
Lambek retired in 1992 but continued his involvement at
321:
a year later. In 1950, he completed his doctorate under
677:
Computational
Algebraic Approaches to Natural Language
841:— (1961), "How to program an infinite abacus",
425:, including 6 books. His earlier work was mostly in
418:
to express the free-space electromagnetic equations.
1217:
Associahedra, Tamari
Lattices and Related Structures
1200:. Faculty of Science: Meeting of Faculty. Montreal:
906:— (1972), "Bicommutators of nice injectives",
473:, as well as for developing the connections between
373:
Categories and Types in Logic, Language, and
Physics
206:
194:
178:
164:
154:
136:
114:
104:
94:
76:
51:
32:
604:
541:
453:; his earliest works in this field were probably
236:(5 December 1922 – 23 June 2014) was a Canadian
1325:"The immersibility of a semigroup into a group"
944:— (1972), "Localization and completion",
469:, and a work that has been very influential in
1279:; Scott, P. J.; Seely, R. A. G., eds. (2000),
1132:"The recipients of the Jeffery-Williams Prize"
607:Introduction to Higher Order Categorical Logic
8:
1183:
1181:
403:. The second component was published by the
461:. He is noted, among other things, for the
434:
1372:
1056:Wilson, Robin; Gray, Jeremy, eds. (2001).
40:
29:
1403:
1342:
957:
919:
854:
733:
544:Rings of quotients of rings of functions
169:Department of Mathematics and Statistics
46:Joachim Lambek in Philadelphia, May 2008
1262:An appreciation of Jim Lambek at McGill
1123:
798:"The Mathematics of Sentence Structure"
1154:
1152:
510:(3rd ed.). Blaisdell Publishing.
458:
454:
7:
1468:21st-century Canadian mathematicians
1463:20th-century Canadian mathematicians
946:Journal of Pure and Applied Algebra
334:Institute for Mathematical Research
289:. From there he was interned as an
1473:21st-century German mathematicians
675:Casadio, Claudia; — (2008).
646:Undergraduate Texts in Mathematics
483:Curry–Howard–Lambek correspondence
317:mathematics degree in 1945 and an
279:. He came to England in 1938 as a
127:Curry–Howard–Lambek correspondence
27:Canadian mathematician (1922–2014)
25:
1431:Faculty profile of Joachim Lambek
806:The American Mathematical Monthly
753:The American Mathematical Monthly
383:Lambek's PhD thesis investigated
375:was produced in tribute to him.
1330:Canadian Journal of Mathematics
722:Canadian Journal of Mathematics
638:Anglin, W. S.; — (1995).
433:. One of his earliest papers,
405:Canadian Journal of Mathematics
361:McGill's mathematics department
1392:Canadian Mathematical Bulletin
843:Canadian Mathematical Bulletin
603:—; Scott, P. J. (1986).
1:
1370:Mathematics Genealogy Project
1136:Canadian Mathematical Society
507:Lectures on rings and modules
245:Professor of Pure Mathematics
959:10.1016/0022-4049(72)90011-4
921:10.1016/0021-8693(72)90034-8
873:Lecture Notes in Mathematics
996:10.1515/thli.1979.6.1-3.221
548:. McGill University Press.
479:cartesian closed categories
307:McGill Junior Matriculation
1519:
1498:German emigrants to Canada
1285:Cambridge University Press
1166:. Legacy.com. 27 June 2014
1058:Mathematical Conversations
1029:Mathematical Intelligencer
613:Cambridge University Press
485:). His last works were on
1225:10.1007/978-3-0348-0405-9
563:Completions of categories
504:Lambek, Joachim (2009) .
471:computational linguistics
435:Lambek & Moser (1954)
222:
147:
39:
1503:McGill University alumni
1493:Kindertransport refugees
1086:In Praise of Quaternions
325:becoming McGill's first
1265:. LambekFest. Montreal.
984:Theoretical Linguistics
407:. He later returned to
240:. He was Peter Redpath
1405:10.4153/CMB-1964-021-9
1344:10.4153/CJM-1951-005-8
856:10.4153/CMB-1961-032-6
735:10.4153/CJM-1951-005-8
641:The heritage of Thales
275:, where he attended a
251:, where he earned his
141:Jeffery–Williams Prize
475:typed lambda calculus
1433:at McGill University
648:. Berlin, New York:
439:Lambek–Moser theorem
423:Mathematical Reviews
255:degree in 1950 with
229:Joachim "Jim" Lambek
119:Lambek–Moser theorem
1386:Lambek, J. (1964).
1259:(5 December 1997).
1191:(2 December 2014).
413:Riemann–Silberstein
267:Lambek was born in
1488:Category theorists
1483:Canadian logicians
1439:(80th anniversary)
1042:10.1007/BF03024783
908:Journal of Algebra
881:10.1007/bfb0079385
540:; — (1966).
346:algebraic topology
293:and deported to a
1309:, Springer-Verlag
1234:978-3-0348-0404-2
1202:McGill University
1094:McGill University
1071:978-1-4613-0195-0
890:978-3-540-04605-9
705:978-88-7699-117-2
686:978-88-7699-125-7
659:978-0-387-94544-6
622:978-0-521-35653-4
443:character modules
431:injective modules
249:McGill University
226:
225:
207:Doctoral students
173:McGill University
149:Scientific career
109:McGill University
16:(Redirected from
1510:
1418:
1417:
1407:
1383:
1377:
1376:
1363:
1357:
1356:
1346:
1317:
1311:
1310:
1302:
1296:
1295:
1273:
1267:
1266:
1253:
1247:
1246:
1212:
1206:
1205:
1199:
1185:
1176:
1175:
1173:
1171:
1164:Montreal Gazette
1160:"Joachim Lambek"
1156:
1147:
1146:
1144:
1142:
1128:
1112:Michael K. Brame
1107:Cartesian monoid
1096:
1091:
1075:
1053:
1022:
978:
961:
940:
923:
902:
867:
858:
837:
802:
796:— (1958),
792:
746:
737:
709:
694:— (2008).
690:
671:
634:
610:
599:
582:— (1971).
578:
561:— (1966).
557:
547:
538:Gillman, Leonard
529:
487:pregroup grammar
451:formal languages
369:computer science
329:in mathematics.
295:prison work camp
235:
216:William Schelter
196:Doctoral advisor
190:
83:
62:December 5, 1922
61:
59:
44:
30:
21:
1518:
1517:
1513:
1512:
1511:
1509:
1508:
1507:
1443:
1442:
1437:Lambek festival
1427:
1422:
1421:
1385:
1384:
1380:
1364:
1360:
1319:
1318:
1314:
1304:
1303:
1299:
1275:
1274:
1270:
1255:
1254:
1250:
1235:
1214:
1213:
1209:
1197:
1187:
1186:
1179:
1169:
1167:
1158:
1157:
1150:
1140:
1138:
1130:
1129:
1125:
1120:
1103:
1089:
1078:
1072:
1062:Springer-Verlag
1055:
1025:
981:
943:
905:
891:
870:
840:
819:10.2307/2310058
800:
795:
766:10.2307/2308078
749:
719:
716:
706:
698:. Polimetrica.
693:
687:
679:. Polimetrica.
674:
660:
650:Springer-Verlag
637:
623:
602:
588:Springer-Verlag
581:
567:Springer-Verlag
560:
532:
518:
503:
500:
495:
463:Lambek calculus
399:immersion in a
393:Minkowski space
381:
350:category theory
323:Hans Zassenhaus
286:Kindertransport
265:
257:Hans Zassenhaus
231:
214:
201:Hans Zassenhaus
188:
171:
131:multicategories
123:Lambek calculus
105:Alma mater
90:
85:
81:
72:
63:
57:
55:
47:
35:
28:
23:
22:
15:
12:
11:
5:
1516:
1514:
1506:
1505:
1500:
1495:
1490:
1485:
1480:
1475:
1470:
1465:
1460:
1455:
1445:
1444:
1441:
1440:
1434:
1426:
1425:External links
1423:
1420:
1419:
1398:(2): 237–243.
1378:
1366:Joachim Lambek
1358:
1312:
1297:
1268:
1248:
1233:
1207:
1177:
1148:
1122:
1121:
1119:
1116:
1115:
1114:
1109:
1102:
1099:
1098:
1097:
1076:
1070:
1023:
990:(2): 221–234,
979:
952:(4): 343–370,
941:
903:
889:
868:
849:(3): 295–302,
838:
813:(3): 154–170,
793:
760:(7): 454–458,
747:
715:
712:
711:
710:
704:
691:
685:
672:
658:
635:
621:
600:
579:
558:
530:
516:
499:
496:
494:
493:Selected works
491:
380:
379:Scholarly work
377:
264:
261:
224:
223:
220:
219:
211:Israel Kleiner
208:
204:
203:
198:
192:
191:
182:
176:
175:
166:
162:
161:
156:
152:
151:
145:
144:
138:
134:
133:
116:
115:Known for
112:
111:
106:
102:
101:
96:
92:
91:
86:
84:(aged 91)
78:
74:
73:
64:
53:
49:
48:
45:
37:
36:
34:Joachim Lambek
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1515:
1504:
1501:
1499:
1496:
1494:
1491:
1489:
1486:
1484:
1481:
1479:
1476:
1474:
1471:
1469:
1466:
1464:
1461:
1459:
1456:
1454:
1451:
1450:
1448:
1438:
1435:
1432:
1429:
1428:
1424:
1415:
1411:
1406:
1401:
1397:
1393:
1389:
1382:
1379:
1375:
1371:
1367:
1362:
1359:
1354:
1350:
1345:
1340:
1336:
1332:
1331:
1326:
1322:
1316:
1313:
1308:
1301:
1298:
1294:
1290:
1286:
1282:
1278:
1277:Barr, Michael
1272:
1269:
1264:
1263:
1258:
1257:Barr, Michael
1252:
1249:
1244:
1240:
1236:
1230:
1226:
1222:
1218:
1211:
1208:
1203:
1196:
1195:
1190:
1189:Darmon, Henri
1184:
1182:
1178:
1165:
1161:
1155:
1153:
1149:
1137:
1133:
1127:
1124:
1117:
1113:
1110:
1108:
1105:
1104:
1100:
1095:
1088:
1087:
1082:
1081:Barr, Michael
1077:
1073:
1067:
1063:
1059:
1054:Reprinted in
1051:
1047:
1043:
1039:
1035:
1031:
1030:
1024:
1021:
1017:
1013:
1009:
1005:
1001:
997:
993:
989:
985:
980:
977:
973:
969:
965:
960:
955:
951:
947:
942:
939:
935:
931:
927:
922:
917:
913:
909:
904:
900:
896:
892:
886:
882:
878:
874:
869:
866:
862:
857:
852:
848:
844:
839:
836:
832:
828:
824:
820:
816:
812:
808:
807:
799:
794:
791:
787:
783:
779:
775:
771:
767:
763:
759:
755:
754:
748:
745:
741:
736:
731:
727:
723:
718:
717:
713:
707:
701:
697:
692:
688:
682:
678:
673:
669:
665:
661:
655:
651:
647:
643:
642:
636:
632:
628:
624:
618:
614:
609:
608:
601:
597:
593:
589:
585:
580:
576:
572:
568:
564:
559:
555:
551:
546:
545:
539:
535:
531:
527:
523:
519:
517:9780821849002
513:
509:
508:
502:
501:
497:
492:
490:
488:
484:
480:
476:
472:
468:
464:
460:
459:Lambek (1979)
456:
455:Lambek (1958)
452:
448:
444:
440:
437:, proved the
436:
432:
428:
427:module theory
424:
419:
417:
414:
410:
409:biquaternions
406:
402:
398:
395:, as well as
394:
391:algebra over
390:
386:
385:vector fields
378:
376:
374:
370:
366:
362:
357:
355:
351:
347:
343:
339:
335:
330:
328:
324:
320:
316:
312:
308:
304:
300:
299:New Brunswick
296:
292:
288:
287:
282:
278:
274:
270:
262:
260:
258:
254:
250:
246:
243:
239:
238:mathematician
234:
230:
221:
217:
212:
209:
205:
202:
199:
197:
193:
186:
183:
181:
177:
174:
170:
167:
163:
160:
157:
153:
150:
146:
142:
139:
135:
132:
128:
124:
120:
117:
113:
110:
107:
103:
100:
97:
93:
89:
80:June 23, 2014
79:
75:
71:
67:
54:
50:
43:
38:
31:
19:
1395:
1391:
1381:
1361:
1334:
1328:
1320:
1315:
1306:
1300:
1280:
1271:
1261:
1251:
1216:
1210:
1204:. p. 2.
1193:
1168:. Retrieved
1163:
1139:. Retrieved
1135:
1126:
1085:
1057:
1033:
1027:
987:
983:
949:
945:
911:
907:
872:
846:
842:
810:
804:
757:
751:
725:
721:
695:
676:
640:
606:
583:
562:
543:
506:
467:logical form
420:
389:biquaternion
382:
372:
363:. In 2000 a
358:
354:Bill Lawvere
352:, including
342:Beno Eckmann
331:
284:
266:
259:as advisor.
228:
227:
184:
165:Institutions
148:
82:(2014-06-23)
1478:Algebraists
1458:2014 deaths
1453:1922 births
1036:(4): 7–15.
534:Fine, N. J.
365:festschrift
291:enemy alien
159:Mathematics
95:Citizenship
1447:Categories
1321:Lambek, J.
1243:2012942603
1170:31 October
1141:1 November
1118:References
387:using the
338:ETH Zurich
58:1922-12-05
1414:0008-4395
1353:124979541
1337:: 34–43.
1079:—;
1050:120099630
1004:0301-4428
968:0022-4049
930:0021-8693
914:: 60–73,
899:0075-8434
865:121506469
827:0002-9890
774:0002-9890
744:124979541
728:: 34–43,
447:pregroups
397:semigroup
277:Gymnasium
263:Biography
1323:(1951).
1101:See also
1083:(2013),
1020:62697835
714:Articles
416:bivector
340:, where
311:Montreal
242:Emeritus
99:Canadian
88:Montréal
1368:at the
1293:1770227
1012:0589163
976:0320047
938:0301052
835:1480361
790:0062777
782:2308078
668:1369087
631:0856915
596:0284459
575:0209330
554:0200747
526:0206032
315:honours
283:on the
281:refugee
273:Germany
269:Leipzig
70:Germany
66:Leipzig
1412:
1351:
1291:
1241:
1231:
1068:
1048:
1018:
1010:
1002:
974:
966:
936:
928:
897:
887:
863:
833:
825:
788:
780:
772:
742:
702:
683:
666:
656:
629:
619:
594:
573:
552:
524:
514:
303:Canada
218:(1972)
213:(1967)
189:(1950)
187:
180:Thesis
155:Fields
143:(1988)
137:Awards
18:Lambek
1349:S2CID
1198:(PDF)
1090:(PDF)
1046:S2CID
1016:S2CID
861:S2CID
831:JSTOR
801:(PDF)
778:JSTOR
740:S2CID
498:Books
481:(see
401:group
1410:ISSN
1239:LCCN
1229:ISBN
1172:2018
1143:2018
1066:ISBN
1000:ISSN
964:ISSN
926:ISSN
895:ISSN
885:ISBN
823:ISSN
770:ISSN
700:ISBN
681:ISBN
654:ISBN
617:ISBN
512:ISBN
477:and
457:and
449:and
348:and
233:FRSC
77:Died
52:Born
1400:doi
1339:doi
1221:doi
1038:doi
992:doi
954:doi
916:doi
877:doi
851:doi
815:doi
762:doi
730:doi
336:at
327:PhD
319:MSc
297:in
253:PhD
247:at
1449::
1408:.
1394:.
1390:.
1347:.
1333:.
1327:.
1289:MR
1287:,
1283:,
1237:.
1227:.
1180:^
1162:.
1151:^
1134:.
1092:,
1064:.
1060:.
1044:.
1034:17
1032:.
1014:,
1008:MR
1006:,
998:,
986:,
972:MR
970:,
962:,
948:,
934:MR
932:,
924:,
912:21
910:,
893:.
883:.
859:,
845:,
829:,
821:,
811:65
809:,
803:,
786:MR
784:,
776:,
768:,
758:61
756:,
738:,
724:,
664:MR
662:.
652:.
644:.
627:MR
625:.
615:.
611:.
592:MR
590:.
571:MR
569:.
550:MR
536:;
522:MR
520:.
489:.
301:,
271:,
129:,
125:,
121:,
68:,
1416:.
1402::
1396:7
1355:.
1341::
1335:3
1245:.
1223::
1174:.
1145:.
1074:.
1052:.
1040::
994::
988:6
956::
950:2
918::
901:.
879::
853::
847:4
817::
764::
732::
726:3
708:.
689:.
670:.
633:.
598:.
577:.
556:.
528:.
60:)
56:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.