pith. sign in

arxiv: 1312.0413 · v2 · pith:4OT6K4T3new · submitted 2013-12-02 · 🧮 math.RA

G\"odel algebras: interactive dualities and their applications

classification 🧮 math.RA
keywords dualitiesalgebrasdualitynaturaladmitamalgamationapplicationsapproaches
0
0 comments X
read the original abstract

We present a technique for deriving certain new natural dualities for any variety of algebras generated by a finite Heyting chain. The dualities we construct are tailored to admit a transparent translation to the more pictorial Priestley/Esakia duality and back again. This enables us to combine the two approaches and so to capitalise on the virtues of both, in particular the categorical good behaviour of a natural duality: we thereby demonstrate the fullness, or not, of each of our dualities; we obtain new results on amalgamation; and we also provide a simple treatment of coproducts.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.