Functor category dualities for varieties of Heyting algebras |
| |
Authors: | BA Davey MR Talukder |
| |
Institution: | Department of Mathematics, La Trobe University, Victoria 3086, Australia |
| |
Abstract: | Let be a finitely generated variety of Heyting algebras and let be the class of subdirectly irreducible algebras in . We prove that is dually equivalent to a category of functors from into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities. |
| |
Keywords: | Primary: 06D20 06D50 secondary: 08C05 08A35 |
本文献已被 ScienceDirect 等数据库收录! |