A simple, direct proof of the following characterization of varieties of (finitary)algebras is presented: a cocomplete category is equivalent to a variety iff it has an algebraic generator, i.e., a regular generator which is exactly projective and finitely generated. This improves somewhat a recent
β¦ LIBER β¦
A characterization of varieties
β Scribed by J.G. Raftery
- Publisher
- Springer
- Year
- 2001
- Tongue
- English
- Weight
- 31 KB
- Volume
- 45
- Category
- Article
- ISSN
- 0002-5240
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A categorical characterization of variet
β
J. AdΓ‘mek
π
Article
π
2004
π
Springer
π
English
β 296 KB
A geometric characterization of arithmet
β
Kapil Hari Paranjape
π
Article
π
2002
π
Indian Academy of Sciences
π
English
β 129 KB
A characterization of k-normal varieties
β
K. Denecke; S. L. Wismath
π
Article
π
2004
π
Springer
π
English
β 269 KB
Characterization of abelian varieties
β
Jungkai A. Chen; Christopher D. Hacon
π
Article
π
2001
π
Springer-Verlag
π
English
β 114 KB
A Simple Characterization of Theories of
β
M.C. Pedicchio; R.J. Wood
π
Article
π
2000
π
Elsevier Science
π
English
β 153 KB
We answer the question of which theories in the sense of Gabriel and Ulmer give rise to (finitary, multi-sorted) varieties and exhibit the 2-category of varieties as a (non-full) bireflective sub-2-category of the 2-category of locally finitely presentable categories. A central role is played by tho
A characterization of varieties of inver
β
Miroslav I. Klun
π
Article
π
1975
π
Springer
π
English
β 243 KB