(See e.g. [6] for background.) When X is equipped with a distinguished basis D for its topology, closed under finite meets and joins, one can investigate situations where D is also closed under the implication (2), i.e., where D is a Heyting subalgebra of O (X). Recall that X is a spectral space if it is compact and T0, its collection D of compact open subsets forms a basis which is closed unde...

It is a pleasant fact that Stone-duality may be described very smoothly when restricted to the category of compact spectral spaces: The Stoneduals of these spaces, arithmetic algebraic lattices, may be replaced by their sublattices of compact elements thus discarding infinitary operations. We present a similar approach to describe the Stone-duals of coherent spaces, thus dropping the requiremen...

This paper is a continuation of the papers [5, 6] and also of [3, 4]. In it we prove some new Stone-type duality theorems for some subcategories of the category ZLC of locally compact zero-dimensional Hausdorff spaces and continuous maps. These theorems are new even in the compact case. They concern the cofull subcategories SkeZLC, QPZLC, OZLC and OPZLC of the category ZLC determined, respectiv...

(See e.g. [6] for background.) When X is equipped with a distinguished basis D for its topology, closed under finite meets and joins, one can investigate situations where D is also closed under the implication (2), i.e., where D is a Heyting subalgebra of O (X). Recall that X is a spectral space if it is compact and T0, its collection D of compact open subsets forms a basis which is closed unde...

We introduce the concept of a subordination, which is dual to the well-known concept of a precontact on a Boolean algebra. We develop a full categorical duality between Boolean algebras with a subordination and Stone spaces with a closed relation, thus generalizing the results of [14]. We introduce the concept of an irreducible equivalence relation, and that of a Gleason space, which is a pair ...

A construction of canonical extensions of Stone algebras is presented that uses the natural duality based on the three-element generating algebra 3 rather than the Priestley duality based on 2 that is traditionally used to build the canonical extension. The new approach has the advantage that the canonical extension so constructed inherits its algebra structure pointwise from a power of the gen...

Inspired by classic work of Wallman and more recent Jung-Kegelmann-Moshier Vickers, we show how to encode general subbases stably locally compact spaces via certain entailment relations. We further build this up a categorical duality encompassing the Priestley-Stone its various extensions Shirota, De Vries, Hofmann-Lawson (in stable case), Jung-Sünderhauf, Hansoul-Poussart, Bezhanishvili-Jansan...

It is well known that the lattice $${{\,\mathrm{Id_c}\,}}{G}$$ of all principal $$\ell $$ -ideals any Abelian -group G a completely normal distributive 0-lattice; yet not every 0-lattice homomorphic image some , via counterexample cardinality $$\aleph _2$$ . We prove with at most _1$$ elements By Stone duality, this means generalized spectral space compact open sets homeomorphic to subspace -sp...

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor on the category of sets. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. T...

We pursue the principles of duality and symmetry building upon Pratt’s idea of the Stone Gamut and Abramsky’s representations of quantum systems. In the first part of the paper, we first observe that the Chu space representation of quantum systems leads us to an operational form of state-observable duality, and then show via the Chu space formalism enriched with a generic concept of closure con...