✦ LIBER ✦

Functorial Semantics of Algebraic Theories

✍ Scribed by F. William Lawvere

Book ID: 123657452
Publisher: National Academy of Sciences
Year: 1963
Tongue: English
Weight: 674 KB
Volume: 50
Category: Article
ISSN: 0027-8424
DOI: 10.2307/71935

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functorial semantics of algebraic theori

Functorial semantics of algebraic theories(free web version)

✍ Lawvere F.W. 📂 Library 📅 1963 🌐 English ⚖ 646 KB

Functional Semantics of Algebraic Theori

Functional Semantics of Algebraic Theories.by F. William Lawvere

✍ Review by: Calvin C. Elgot 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 314 KB

On the notion of bimodel for functorial

On the notion of bimodel for functorial semantics

✍ Francis Borceux; Enrico M. Vitale 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 586 KB

Semantics of physical theories

✍ E. W. Beth 📂 Article 📅 1960 🏛 Springer Netherlands 🌐 English ⚖ 158 KB

Algebraic Theories of Quasivarieties

✍ Jiřı́ Adámek; Hans-E Porst 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 202 KB

Analogously to the fact that Lawvere's algebraic theories of finitary varieties Ž . are precisely the small categories with finite products, we prove that i algebraic theories of many-sorted quasivarieties are precisely the small, left exact categories Ž . with enough regular injectives and ii algeb

A continuous algebraic semantics of CSP

✍ Zhiming Liu 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 574 KB