Generalized powerlocales via relation lifting

Details Generalized powerlocales via relation lifting Generalized powerlocales via relation lifting

2012-02-15

arxiv.org/abs/1202.3264v1

Computer Science

Logic in Computer Science

44 pages

Scientific paper

This paper introduces an endofunctor $\VT$ on the category of frames, parametrized by an endofunctor $\T$ on the category $\Set$ that satisfies certain constraints. This generalizes 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 \bbL$ out of a frame $\bbL$ 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.

Affiliated with

Also associated with

No associations

Rating

Generalized powerlocales via relation lifting does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Generalized powerlocales via relation lifting, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generalized powerlocales via relation lifting will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-557171