𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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