A characterization of k-normal varieties
β Scribed by K. Denecke; S. L. Wismath
- Publisher
- Springer
- Year
- 2004
- Tongue
- English
- Weight
- 269 KB
- Volume
- 51
- Category
- Article
- ISSN
- 0002-5240
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
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