A Note on Frame Distributions

Anders Kock, Gonzalo E. Reyes

Abstract


In the context of constructive locale or frame theory (locale
theory over a fixed base locale), we study some aspects of 'frame distributions', meaning sup preserving maps from a frame to the base frame. We derive a relationship between results of Jibladze-Johnstone and Bunge-Funk, and also descriptions in distribution terms, as well as in double negation terms, of the 'interior of closure' operator on open parts of a locale.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v4i33.18959
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the Royal Danish Library and Aarhus University Library