Showing math.CTShow all
3 papers · 1 filter
math.CT2025
A pair of monads in Topology
Ando Razafindrakoto
In the article \cite{Sim}, H. Simmons describes two monads of interests arising from the dual adjunction between the category of topological spaces and that of (bounded) distributi…
math.CT2024
A correspondence between proximity homomorphisms and certain frame maps via a comonad
Ando Razafindrakoto
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 c…
math.CT2024
Monadic aspects of the ideal lattice functor on the category of distributive lattices
Ando Razafindrakoto
It is known that the construction of the frame of ideals from a distributive lattice induces a monad whose algebras are precisely the frames and frame homomorphisms. Using the Faki…