Generalised powerlocales via relation lifting

Yde Venema, Steven Vickers, Jacob Vosmaer

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
168 Downloads (Pure)

Abstract

This paper introduces an endofunctor VT on the category of frames that is parametrised by an endofunctor T on the category Set that satisfies certain constraints. This generalises Johnstone's construction of the Vietoris powerlocale in the sense that his construction is obtained by taking for T the finite covariant power set functor. Our construction of the T-powerlocale VT out of a frame is based on ideas from coalgebraic logic and makes explicit the connection between the Vietoris construction and Moss's coalgebraic cover modality.
We show how to extend certain natural transformations between set functors to natural transformations between T-powerlocale functors. Finally, we prove that the operation VT preserves some properties of frames, such as regularity, zero-dimensionality and the combination of zero-dimensionality and compactness.
Original languageEnglish
Pages (from-to)142-199
Number of pages58
JournalMathematical Structures in Computer Science
Volume23
Issue number1
Early online date30 Aug 2012
DOIs
Publication statusPublished - 1 Feb 2013

Fingerprint

Dive into the research topics of 'Generalised powerlocales via relation lifting'. Together they form a unique fingerprint.

Cite this