On quasivarieties and varieties as categories
Studia Logica 78 (1-2):7 - 33 (2004)
| Abstract | Finitary quasivarieties are characterized categorically by the existence of colimits and of an abstractly finite, regularly projective regular generator G. Analogously, infinitary quasivarieties are characterized: one drops the assumption that G be abstractly finite. For (finitary) varieties the characterization is similar: the regular generator is assumed to be exactly projective, i.e., hom(G, –) is an exact functor. These results sharpen the classical characterization theorems of Lawvere, Isbell and other authors. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesK. Matczak & A. Romanowska (2004). Quasivarieties of Cancellative Commutative Binary Modes. Studia Logica 78 (1-2):321 - 335.
Miklós Maróti & Ralph McKenzie (2004). Finite Basis Problems and Results for Quasivarieties. Studia Logica 78 (1-2):293 - 320.
Keith A. Kearnes (2006). Quasivarieties of Modules Over Path Algebras of Quivers. Studia Logica 83 (1-3):333 - 349.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
A. Ledda, T. Kowalski & F. Paoli (2011). On Certain Quasivarieties of Quasi-MV Algebras. Studia Logica 98 (1-2):149-174.
J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický (1997). Finitary Sketches. Journal of Symbolic Logic 62 (3):699-707.
Keith A. Kearnes (2000). Categorical Quasivarieties Via Morita Equivalence. Journal of Symbolic Logic 65 (2):839-856.
G. D. Barbour & J. G. Raftery (2003). Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization. Studia Logica 74 (1-2):99 - 152.
Peter Burmeister (2004). Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras. Studia Logica 78 (1-2):129 - 153.
Alexei Vernitski (2004). Finite Quasivarieties and Self-Referential Conditions. Studia Logica 78 (1-2):337 - 348.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,204 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
