A correspondence between proximity homomorphisms and certain frame maps via a comonad

Document Type : Research Paper

Author

Department of Mathematics and Applied Mathematics, Uiversity of the Western Cape, Bellville 7535, Cape Town, South Africa.

Abstract

We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame  to its frame of round ideals. This construction is known in the literature as stable compactification ([6]). We show that the frame of round ideals naturally carries with it two proximities of interest from which two comonads are induced. 

Keywords

Main Subjects


[1] Banaschewski, B., Coherent frames, In: “Continuous lattices”, (B. Banaschewski and R.-E. Hoffmann, eds.), Proceedings of the Conference held in Berlin, Univ. Bremen, November 9 - 11, 1979, Springer-Verlag, Germany (1981), 1-11.
[2] Banaschewski, B., Compactification of frames, Math. Nachr. 149 (1990), 105-116.
[3] Banaschewski, B. and Br¨ummer, G.C.L., Stably continuous frames, Math. Proc. Cambridge Philos. Soc. 104(7) (1988), 7-19.
[4] Banaschewski, B. and Pultr, A., Samuel compactification and completion of uniform frames, Math. Proc. Cambridge Philos. Soc. 108(63) (1990), 63-78.
[5] Bezhanishvili, G. and Harding, J., Proximity frames and regularisation, Appl. Categ. Structures 22 (2014), 43-78.
[6] Bezhanishvili, G. and Harding, J., Stable compactifications, Cah. Topol. G´eom. Diff´er. Cat´eg. LV-1 (2014), 37-65.
[7] Bezhanishvili, G. and Harding, J., Duality theory for the category of stable compactifications, Topology Proc. 61 (2023), 1-13.
[8] Borceux, F., “Handbook of categorical algebra 2”, Cambridge Univ. Press, 1994.
[9] De Vries, H., Compact spaces and compactifications: An algebraic approach., Ph.D. Thesis, University of Amsterdam, (1962).
[10] Dowker, C.H., Mappings of Proximity Structures, General Topology and its relations to Modern Analysis and Algebra, Proc. Sympos., Prague, Acad. Press, New York (1962), 139-141.
[11] Efremoviˇc, V.A., The geometry of proximity. I, Mat. Sb. 31(73) (1952), 189-200.
[12] Frith, J.L., The category of uniform frames., Cah. Topol. G´eom. Diff´er. Cat´eg. 31(4) (1990), 305–313.
[13] Hoffmann, R-E., Continuous posets and adjoint sequences, Semigroup Forum 18 (1979), 173-188.
[14] Johnstone, P., “Stone spaces”, Cambridge University Press, 1982.
[15] Kock, A., Monads for which structures are adjoint to units, J. Pure Appl. Algebra 41(1) (1995), 41-59.
[16] Lawvere, W., Unity and identity of opposite in Calculus and Physics, Appl. Categ. Structures 4 (1996), 167-174.
[17] Lowen, R. et al, “Monoidal Topology”, Ed. D. Hofmann, G. J. Seal and W. Tholen, 503. Encyclopedia Math. Appl. 153, Cambridge University Press, 2014.
[18] Mac Lane, S., “Categories for the working mathematicians”, Grad. Texts in Math. 5, Springer-Verlag, 1995.
[19] Naimpally, S.A. andWarrack, B.D., “Proximity Spaces”, Cambridge Tracts in Math. and Math. Phys. 59, Cambridge University Press, 1970.
[20] Picado, J. and Pultr, A., “Frames and Locales. Topology without Points”, Front. Math., Birkh¨auser/Springer, 2012.
[21] Picado, J. and Pultr, A., On strong inclusions and asymmetric proximities in frames, Order 29(3) (2012), 513-531.
[22] Razafindrakoto, A., Separated and prime compactifications, Topology Appl. 309 (2022), 1-15.
[23] Smirnov, Y.M., On proximity spaces, Mat. Sb. 31(73) (1952), 543–574 .
[24] Smyth, M.B., Stable compactification I, J. Lond. Math. Soc. 45(2) (1992), 321-340.