A look at the structure of congruence frames by means of Heyting congruences

References

• J. Adámek, H. Herrlich, and G. Strecker, Abstract and Concrete Categories, John Wiley & Sons Inc., New York, 1990.
   Google Scholar
• B. Banaschewski, σ-frames, unpublished manuscript, 1980. Available at http://mathcs.chapman.edu/CECAT/members/Banaschewski_publications
   Google Scholar
• B. Banaschewski and C.R.A. Gilmour, Realcompactness and the Cozero Part of a Frame, Appl. Categ. Struct. 9 (2001), 395–417. doi: 10.1023/A:1011225712426
   Web of Science ®Google Scholar
• R. Beazer and D.S. Macnab, Modal extensions of Heyting algebras, Colloquium Mathematicae 41(1) (1979), 1–12. doi: 10.4064/cm-41-1-1-12
   Google Scholar
• M. Erné and D. Zhao, Z-Join Spectra of Z-Supercompactly Generated Lattices, Applied Categorical Structures 9(1) (2001), 41–63. doi: 10.1023/A:1008758815245
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, Uniformities and covering properties for partial frames (I), Categ. General Alg. Struct. Appl. 2(1) (2014), 1–21.
   Google Scholar
• J. Frith and A. Schauerte, Uniformities and covering properties for partial frames (II), Categ. General Alg. Struct. Appl. 2(1) (2014), 23–35.
   Google Scholar
• J. Frith and A. Schauerte, Completions of uniform partial frames, Acta Mathematica Hungarica 147(1) (2015), 116–134. doi: 10.1007/s10474-015-0514-9
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, The Stone-Čech compactification of a partial frame via ideals and cozero elements, Quaestiones Math. 39(1) (2016), 115–134. doi: 10.2989/16073606.2015.1023866
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, Compactifications of partial frames via strongly regular ideals, Mathematica Slovaca 68(2) (2016), 285–298. doi: 10.1515/ms-2017-0100
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, Coverages give free constructions for partial frames, Appl. Categ. Struct. 25(3) (2017), 303–321. doi: 10.1007/s10485-015-9417-8
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, One-point compactifications and continuity for partial frames, Categories and General Algebraic Structures with Applications 7 (2017), 57–88.
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, The congruence frame and the Madden quotient for partial frames, Algebra Univers. 79 (2018), Article 73. doi: 10.1007/s00012-018-0554-4
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, Meet-semilattice congruences on a frame, Appl. Categ. Struct 26(5) (2018), 997–1013. doi: 10.1007/s10485-018-9521-7
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, Partial frames and filter spaces, Topology and its Applications 263 (2019), 61–73. doi: 10.1016/j.topol.2019.05.021
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, Compactifications and reflections of partial spaces via partial frames, Topology and its Applications 273 (2020), Article 106982. doi: 10.1016/j.topol.2019.106982
   Web of Science ®Google Scholar
• J. Frith and A. Schauerte, Variants of Booleanness: congruences of a partial frame versus those of its free frame, Mathematica Slovaca, to appear.
   Google Scholar
• J.R. Isbell, Atomless Parts of Spaces, Math. Scand. 31 (1972), 5–32. doi: 10.7146/math.scand.a-11409
   Web of Science ®Google Scholar
• P.T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge, 1982.
   Google Scholar
• A. Joyal and M. Tierney, An Extension of the Galois Theory of Grothendieck, Mem. Amer. Math. Soc., Vol. 309, Amer. Math. Soc., Providence, RI, 1984.
   Google Scholar
• S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, Heidelberg, 1971.
   Google Scholar
• J.J. Madden, κ-frames, J. Pure Appl Algebra 70 (1991), 107–127. doi: 10.1016/0022-4049(91)90011-P
   Web of Science ®Google Scholar
• G. Manuell, Congruence frames of frames and κ-frames, M.Sc. Thesis, University of Cape Town, 2015.
   Google Scholar
• G. Manuell, A special class of congruences on κ-frames, Algebra Univers. 78(2) (2017), 125–130. doi: 10.1007/s00012-017-0439-y
   Web of Science ®Google Scholar
• J. Paseka, Covers in Generalized Frames, In: General Algebra and Ordered Sets (Horni Lipova 1994), pp. 84-99, Palacky Univ. Olomouc, Olomouc, 1994.
   Google Scholar
• J. Picado and A. Pultr, Frames and Locales, Springer, Basel, 2012.
   Google Scholar
• T. Plewe, Higher order Dissolutions and Boolean Coreflections of Locales, J. Pure Appl. Algebra 154 (2000,) 273–293. doi: 10.1016/S0022-4049(99)00193-0
   Web of Science ®Google Scholar
• H. Simmons, Spaces with Boolean assemblies, Colloq. Math. 43 (1980), 23–39. doi: 10.4064/cm-43-1-23-39
   Google Scholar
• J.T. Wilson, The assembly tower and some categorical and algebraic aspects of frame theory, Ph.D. Thesis, Carnegie Mellon University, Pittsburgh, 1994.
   Google Scholar
• E.R. Zenk, Categories of Partial Frames, Algebra Univers. 54 (2005), 213–235. doi: 10.1007/s00012-005-1939-8
   Web of Science ®Google Scholar
• D. Zhao, Nuclei on Z-Frames, Soochow J. Math. 22(1) (1996), 59–74.
   Google Scholar
• D. Zhao, On Projective Z-frames, Canad. Math. Bull. 40(1) (1997), 39–46. doi: 10.4153/CMB-1997-004-4
   Web of Science ®Google Scholar