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.
Frames and Topological Algebras for a Double-Power Monad
Frosoni, G;Rosolini, G;
2019-01-01
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
FRS_fratad.pdf
accesso aperto
Tipologia:
Documento in Post-print
Dimensione
251.62 kB
Formato
Adobe PDF
|
251.62 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.