𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Free-decomposability in varieties of semi-Heyting algebras

✍ Scribed by Manuel Abad; Juan Manuel Cornejo; Patricio Díaz Varela

Book ID
112141362
Publisher
John Wiley and Sons
Year
2012
Tongue
English
Weight
136 KB
Volume
58
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functor category dualities for varieties
Functor category dualities for varieties of Heyting algebras
✍ B.A. Davey; M.R. Talukder 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 228 KB

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.