A correspondence between proximity homomorphisms and certain frame maps via a comonad
نویسندگان
1 Department of Mathematics and Applied Mathematics, Uiversity of the Western Cape, Bellville 7535, Cape Town, South Africa.
doi
10.48308/cgasa.2024.235267.1480چکیده
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.
