The following pages link to Joachim Lambek (Q6482386):
Displaying 1 item.
- (Q176362) (redirect page) (← links)
- (Q598277) (redirect page) (← links)
- What is the world of mathematics? (Q598279) (← links)
- Relations in operational categories (Q678847) (← links)
- Logic and grammar (Q692192) (← links)
- Diagram chasing in Mal'cev categories (Q755877) (← links)
- (Q812146) (redirect page) (← links)
- A computational algebraic approach to Latin grammar (Q812147) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- On some connections between logic and category theory (Q919088) (← links)
- Pregroups and natural language processing (Q1002122) (← links)
- From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)} (Q1006463) (← links)
- Pregroup grammars and Chomsky's earliest examples (Q1006493) (← links)
- From types to sets (Q1140642) (← links)
- Intuitionist type theory and the free topos (Q1148318) (← links)
- Intuitionist type theory and foundations (Q1152364) (← links)
- Localization at epimorphisms and quasi-injectives (Q1226160) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
- Some Galois connections in elementary number theory (Q1328373) (← links)
- An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
- Diagram chasing in ordered categories with involution (Q1818637) (← links)
- Localization and completion (Q1843620) (← links)
- A tale of four grammars (Q1850950) (← links)
- If Hamilton had prevailed: Quaternions in physics (Q1903415) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Exploring feature agreement in French with parallel pregroup computations (Q2268352) (← links)
- Should pregroup grammars be adorned with additional operations? (Q2467222) (← links)
- Completions of categories. Seminar lectures given 1966 in Zürich (Q2523039) (← links)
- A fixpoint theorem for complete categories (Q2525178) (← links)
- How comprehensive is the category of semigroups? (Q2542522) (← links)
- Torsion theories, additive semantics, and rings of quotients. With an appendix by H. H. Storrer on torsion theories and dominant dimensions (Q2544986) (← links)
- Bicommutators of nice injectives (Q2551136) (← links)
- The torsion theory at a prime ideal of a right Noetherian ring (Q2560302) (← links)
- On the distribution of Pythagorean triangles (Q2653775) (← links)
- (Q2908633) (← links)
- (Q2919768) (← links)
- Compact Monoidal Categories from Linguistics to Physics (Q3000926) (← links)
- (Q3033743) (← links)
- (Q3093864) (← links)
- Noncommutative localization (Q3215375) (← links)
- Rational Analogues of the Logarithm Function (Q3231271) (← links)
- (Q3236688) (← links)
- Goursats Theorem and the Zassenhaus Lemma (Q3244123) (← links)
- The Mathematics of Sentence Structure (Q3247120) (← links)
- A Generalized Ring of Quotients I (Q3256352) (← links)
- On the Ring of Quotients of a Boolean Ring (Q3256353) (← links)
- On Some two way Classifications of Integers (Q3264282) (← links)
- (Q3342573) (← links)
- Free compact 2-categories (Q3444644) (← links)
- (Q3495524) (← links)
- (Q3582263) (← links)
- (Q3612673) (← links)
- Remarks on Colocalization and Equivalence (Q3661774) (← links)
- NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES (Q3684120) (← links)
- (Q3727946) (← links)
- (Q3760508) (← links)
- Grammar as Mathematics (Q3789089) (← links)
- (Q3803296) (← links)
- On the Structure of Semi-Prime Rings and their Rings of Quotients (Q3843679) (← links)
- On Utumi's Ring of Quotients (Q3847030) (← links)
- How to Program an Infinite Abacus (Q3848975) (← links)
- (Q3864052) (← links)
- (Q3919708) (← links)
- (Q3927252) (← links)
- (Q3931590) (← links)
- (Q3961632) (← links)
- (Q4011722) (← links)
- (Q4026900) (← links)
- (Q4040149) (← links)
- Localization and Sheaf Reflectors (Q4075638) (← links)
- (Q4075641) (← links)
- (Q4104089) (← links)
- (Q4106367) (← links)
- (Q4141349) (← links)
- (Q4161453) (← links)
- (Q4180508) (← links)
- A General Stone-Gelfand Duality (Q4198915) (← links)
- (Q4198916) (← links)
- (Q4206923) (← links)
- (Q4238988) (← links)
- (Q4250067) (← links)
- An Extension of the Formulas-as-Types Paradigm (Q4252864) (← links)
- (Q4263075) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- (Q4325773) (← links)
- (Q4327830) (← links)
- (Q4329268) (← links)
- Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic (Q4372922) (← links)
- (Q4499074) (← links)
- (Q4547842) (← links)
- (Q4547845) (← links)
- (Q4650585) (← links)
- (Q4662464) (← links)
- (Q4698605) (← links)
- (Q4735315) (← links)
- (Q4749837) (← links)
- (Q4762306) (← links)
- Functional completeness of cartesian categories (Q4767105) (← links)
- Localization and completion (Q4767422) (← links)
- Localization and Codensity Triples (Q4767439) (← links)
- (Q4842967) (← links)
- (Q4853960) (← links)
- (Q4896509) (← links)
- (Q4940718) (← links)
- (Q4940719) (← links)
- (Q4941996) (← links)
- (Q4946229) (← links)
- (Q5040177) (← links)
- (Q5083756) (← links)
- (Q5167303) (← links)
- Reflections on the Categorical Foundations of Mathematics (Q5260990) (← links)
- On the Ring of Quotients of a Noetherian Ring (Q5517764) (← links)
- (Q5519166) (← links)
- (Q5519434) (← links)
- Arithmetical Functions and Distributivity (Q5531099) (← links)
- Deductive systems and categories (Q5566549) (← links)
- (Q5595187) (← links)
- Subequalizers (Q5598374) (← links)
- On the Representation of Modules by Sheaves of Factor Modules (Q5621433) (← links)
- (Q5637025) (← links)
- (Q5641268) (← links)
- (Q5642682) (← links)
- (Q5655525) (← links)
- Localization at Injectives in Complete Categories (Q5662555) (← links)
- Localization of Right Noetherian Rings at Semiprime Ideals (Q5666680) (← links)
- A Module is Flat if and Only if its Character Module is Injective (Q5730961) (← links)
- Goursat's Theorem and Homological Algebra (Q5737119) (← links)
- The Immersibility of a Semigroup into a Group (Q5803278) (← links)
- On Monotone Multiplicative Functions (Q5818551) (← links)
- Inverse and Complementary Sequences of Natural Numbers (Q5829102) (← links)
- On Integers n Relatively Prime To ƒ(<i>n</i>) (Q5848284) (← links)
- Some Associative Operations on Integers (Q5850605) (← links)
- Four-vector representation of fundamental particles (Q5931766) (← links)
- Type grammars as pregroups (Q5949346) (← links)
