BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We develop a unified approach to Gelfand and de Vries dualities for compact Hausdorff spaces, which is based on appropriate modifications of the classic results of Dieudonné (analysis), Dilworth (lattice theory), and Kat{ě}tov-Tong (topology).
We show that free objects on sets do not exist in the category bal of bounded archimedean ℓ-algebras. On the other hand, we introduce the category of weighted sets and prove that free objects on weighted sets do exist in bal. We conclude by discussing several consequences of this result.
It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous. This duality generalizes the celebrated Stone duality. Our goal is to further generalize descriptive frames so that the topology is an arbitrary compact Hausdorff topology. For this, instead of working with the boolean algebra of clopen subsets of a Stone space, we work with the ring of continuous real-valued functions on a compact Hausdorff space. The main novelty is to define a modal operator on such a ring utilizing a continuous relation on a compact Hausdorff space. Our starting point is the well-known Gelfand duality between the category KHaus of compact Hausdorff spaces and the category ubal of uniformly complete bounded archimedean ℓ-algebras. We endow a bounded archimedean ℓ-algebra with a modal operator, which results in the category mbal of modal bounded archimedean ℓ-algebras. Our main result establishes a dual adjunction between mbal and the category KHK of what we call compact Hausdorff frames; that is, Kripke frames equipped with a compact Hausdorff topology such that the binary relation is continuous. This dual adjunction restricts to a dual equivalence between KHK and the reflective subcategory mubal of mbal consisting of uniformly complete objects of mbal. This generalizes both Gelfand duality and the duality for modal algebras.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.