Functor category dualities for varieties of Heyting algebras

https://doi.org/10.1016/S0022-4049(02)00168-8Get rights and content
Under an Elsevier user license
open archive

Abstract

Let A be a finitely 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.

MSC

Primary: 06D20
06D50
secondary: 08C05
08A35

Cited by (0)