Functor category dualities for varieties of Heyting algebras
type: Item
instance of: scholarly article
title: Functor category dualities for varieties of Heyting algebras
zbMATH Open document ID: 1027.06013
DOI: 10.1016/S0022-4049(02)00168-8
author: Yanyan Li
published in: Journal of Pure and Applied Algebra
publication date: 2003-03-09T00:00:00Z
review text: 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.
reviewed by: Radomír Halaš
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06D50
Mathematics Subject Classification ID: 08C05
Mathematics Subject Classification ID: 08A35
Mathematics Subject Classification ID: 18A25
zbMATH DE Number: 1878468
zbMATH Keywords: functor category
zbMATH Keywords: multisorted strong dualities
zbMATH Keywords: finitely generated variety
zbMATH Keywords: Heyting algebras
zbMATH Keywords: Boolean spaces
MaRDI profile type: Publication
cites work: Q4083730
cites work: Q3934450
cites work: Q4220406
cites work: Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
cites work: Q4896523
cites work: Q2754912
cites work: Endoprimal algebras
cites work: Q3033816
cites work: Optimal natural dualities for varieties of Heyting algebras
cites work: Q3313919
cites work: Piggyback-Dualitäten
cites work: A criterion for a finite endoprimal algebra to be endodualisable
cites work: Endodualisable and endoprimal finite double Stone algebras
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Q4847980
full work available at URL: s0022-4049(02)00168-8
OpenAlex ID: W1976581549
description: scientific article; zbMATH DE number 1878468