A Note on Frame Distributions

Authors

  • Anders Kock
  • Gonzalo E. Reyes

DOI:

https://doi.org/10.7146/brics.v4i33.18959

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.

Downloads

Published

1997-06-03

How to Cite

Kock, A., & Reyes, G. E. (1997). A Note on Frame Distributions. BRICS Report Series, 4(33). https://doi.org/10.7146/brics.v4i33.18959