Levi quasivarieties
β Scribed by A. I. Budkin
- Publisher
- SP MAIK Nauka/Interperiodica
- Year
- 1999
- Tongue
- English
- Weight
- 275 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0037-4466
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
We introduce the concept of separated limit sketch and prove that quasivarieties of algebras are precisely the categories sketchable by separated limit sketches. We also characterize categories sketchable by product-mono sketches as precisely the quasivarieties with effective -strong equivalence rel