Jan 17, 2023 · Our approach provides a new perspective on the hyperspace constructions for Priestley spaces, gives direct descriptions of various free ...

Jul 7, 2022 · A mixture of techniques from category theory, pointfree topology, and Priestley duality have been employed. Our aim is to provide a unifying ...

REMARKS ON HYPERSPACES FOR PRIESTLEY SPACES. 3. Suppose (X, π,≤) is the Priestley space of a bounded distributive lattice L. The hit-or- miss hyperspaces ...

Sep 6, 2024 · We show that these two constructions are order-homeomorphic. These results are used to give coalgebraic proofs of dualities for positive modal ...

Jul 28, 2022 · We show that these two constructions are order-homeomorphic. These results are used to give coalgebraic proofs of dualities for positive modal ...

A mixture of techniques from category theory, pointfree topology, and Priestley duality have been employed. Our aim is to provide a unifying approach to this ...

The Vietoris space of a Stone space plays an important role in the coalgebraic approach to modal logic. When generalizing this to positive modal logic, ...

We show that these two constructions are order-homeomorphic. These results are used to give coalgebraic proofs of dualities for positive modal algebras.

Existing accounts of Vietoris spaces in modal logic make essential use of results of Johnstone from pointfree topology. The results here are self-contained, ...

S Abramsky, A Cook's tour of the finitary non-well-founded sets, Invited Lecture at BCTCS; H J Ad mek, Abstract and concrete categories: the joy of cats, ...