2024/07/16 by Ando Razafindrakoto, Razafindrakoto, Ando
Mathematics · #Advanced Topics in Algebra #Category Theory (math.CT) #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.2407.11528
openalex publication_date 2024/07/16 · openalex created_date 2024/10/26 · openalex updated_date 2026/07/28
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 \em stable compactification (\citeBezHar2). We show that the frame of round ideals naturally carries with it two proximities of interest from which two comonads are induced.