J. Lambek

Publications214
h-index32
Citations7,255
Highly Influential Citations522
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • A. Preller
  • 51 Publications • 247 Citations
  • W. Buszkowski
  • 77 Publications • 1,171 Citations
  • C. Casadio
  • 54 Publications • 305 Citations
  • P. Scott
  • 99 Publications • 3,358 Citations
  • Publications
  • Influence
The Mathematics of Sentence Structure
The aim of this paper is to obtain an effective rule (or algorithm) for distinguishing sentences from nonsentences, which works not only for the formal languages of interest to the mathematical… Expand
  • 1,447
  • 134
  • PDF
Introduction to higher order categorical logic
Preface Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories… Expand
  • 1,457
  • 101
Type Grammar Revisited
  • J. Lambek
  • Mathematics, Computer Science
  • LACL
  • 22 September 1997
TLDR
A protogroup is an ordered monoid in which each element a has both a left proto-inverse al such that ala ≤ 1 and a right protoinverse ar such that aar ≤ 1. Expand
  • 154
  • 31
On the Calculus of Syntactic Types
  • 268
  • 29
Lectures on Rings and Modules
This book is an introduction to the theory of associative rings and their modules, designed primarily for graduate students. The standard topics on the structure of rings are covered, with a… Expand
  • 720
  • 26
A fixpoint theorem for complete categories
  • 201
  • 18
Deductive systems and categories II. Standard constructions and closed categories
  • 223
  • 15
Deductive systems and categories
  • J. Lambek
  • Mathematics, Computer Science
  • Mathematical systems theory
  • 1 December 1968
TLDR
We investigate the connection between proofs in certain deductive systems and canonical mappings in the category of categories. Expand
  • 141
  • 14
Diagram chasing in Mal'cev categories
Abstract A diagram chasing technique generalizing the ‘two-square’ lemma of homological algebra is extended from Mal'cev varieties to Mal'cev categories: regular categories in which all reflexive… Expand
  • 171
  • 13
On the representation of modules by sheaves of factor modules
  • 170
  • 13
...
1
2
3
4
5
...