𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Functor category dualities for varieties of Heyting algebras

✍ Scribed by B.A. Davey; M.R. Talukder

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
228 KB
Volume
178
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

✦ Synopsis

Let A be a ΓΏnitely generated variety of Heyting algebras and let SI(A) be the class of subdirectly irreducible algebras in A. We prove that A is dually equivalent to a category of functors from SI(A) into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.

πŸ“œ SIMILAR VOLUMES

Natural Dualities for Varieties of MV-Al
Natural Dualities for Varieties of MV-Algebras, I
✍ Philippe Niederkorn πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 133 KB

MV-algebras are the Lindenbaum algebras for Łukasiewicz's infinite-valued logic, just as Boolean algebras correspond to the classical propositional calculus. The finitely generated subvarieties of the variety M M of all MV-algebras are generated by finite chains. We develop a natural duality, in the