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