A Note on Frame Distributions

  • Anders Kock Gonzalo E. Reyes BRICS
  • Published 1997
In the context of constructive locale or frame theory (locale theory over a xed 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… CONTINUE READING