Frames and topological algebras for a double-power monad

Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria

Abstract


We study the algebras for the double power monad on the Sierpinski space in the cartesian closed category of equilogical spaces and produce a connection of the algebras with frames. The results hint at a possible synthetic, constructive approach to frames via algebras, in line with that considered in Abstract Stone Duality by Paul Taylor and others.

Full Text:

FT5. [PDF]


DOI: https://doi.org/10.4115/jla.2019.11.FT5

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008