a correspondence between proximity homomorphisms and certain frame maps via a comonad
|
|
|
|
|
|
|
|
نویسنده
|
razafindrakoto ando
|
|
منبع
|
categories and general algebraic structures with applications - 2025 - دوره : 22 - شماره : 1 - صفحه:93 -112
|
|
چکیده
|
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
|
|
آدرس
|
uiversity of the western cape, department of mathematics and applied mathematics, south africa
|
|
پست الکترونیکی
|
arazafindrakoto@uwc.ac.za
|
|
|
|
|
|
|