A correspondence between proximity homomorphisms and certain frame maps via a comonad | ||
| Categories and General Algebraic Structures with Applications | ||
| دوره 22، شماره 1، فروردین 2025، صفحه 93-112 اصل مقاله (547.8 K) | ||
| نوع مقاله: Research Paper | ||
| شناسه دیجیتال (DOI): 10.48308/cgasa.2024.235267.1480 | ||
| نویسنده | ||
| Ando Razafindrakoto* | ||
| Department of Mathematics and Applied Mathematics, Uiversity of the Western Cape, Bellville 7535, Cape Town, South Africa. | ||
| چکیده | ||
| 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. | ||
| کلیدواژهها | ||
| Proximity homomorphism؛ round ideal؛ stably compact frame؛ compactification؛ monad؛ algebras؛ Kleisli composition | ||
| مراجع | ||
|
[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. | ||
|
آمار تعداد مشاهده مقاله: 198 تعداد دریافت فایل اصل مقاله: 823 |
||