✦ LIBER ✦

A categorical characterization of varieties

✍ Scribed by J. Adámek

Publisher: Springer
Year: 2004
Tongue: English
Weight: 296 KB
Volume: 51
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s00012-004-1859-z

No coin nor oath required. For personal study only.

✦ Synopsis

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 restatement, due to Pedicchio and Wood, of the classical characterization theorem of Lawvere. A bijective correspondence between algebraic theories and algebraic generators is established.

📜 SIMILAR VOLUMES

A characterization of varieties

✍ J.G. Raftery 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 31 KB

Characterization of abelian varieties

✍ Jungkai A. Chen; Christopher D. Hacon 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 114 KB

A geometric characterization of arithmet

A geometric characterization of arithmetic varieties

✍ 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

A Simple Characterization of Theories of

A Simple Characterization of Theories of Varieties

✍ 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

A characterization of varieties of inverse semigroups

✍ Miroslav I. Klun 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 243 KB