Frames and topological algebras for a double-power monad
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
This work is licensed under a Creative Commons Attribution 3.0 License.
Journal of Logic and Analysis ISSN: 1759-9008