Functor category dualities for varieties of Heyting algebras (Q1861494)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Functor category dualities for varieties of Heyting algebras |
scientific article |
Statements
Functor category dualities for varieties of Heyting algebras (English)
0 references
9 March 2003
0 references
The theory of multisorted strong dualities is developed, which were treated very briefly by \textit{D. M. Clark} and \textit{B. A. Davey} [Natural dualities for the working algebraist. Cambridge: Cambridge University Press (1998; Zbl 0910.08001)]. It is proved that each finitely generated variety \({\mathcal A}\) of Heyting algebras possesses a multisorted strong duality which in general involves the use of partial operations. The main theorem of the paper says that \({\mathcal A}\) is dually equivalent to a category of functors from \(\text{SI}({\mathcal A})\) (the class of subdirectly irreducible algebras in \({\mathcal A})\) into the category of Boolean spaces.
0 references
functor category
0 references
multisorted strong dualities
0 references
finitely generated variety
0 references
Heyting algebras
0 references
Boolean spaces
0 references
0 references