|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (advisor)
In this thesis we present the Stone representation theorem, generally known as Stone duality in the point-free context. The proof is choice-free and, since we do not have to be concerned with points, it is by far simpler than the original. For each infinite cardinal κ we show that the counter- part of the κ-complete Boolean algebras is constituted by the κ-basically disconnected Stone frames. We also present a precise characterization of the morphisms which correspond to the κ-complete Boolean homomorphisms. Although Booleanization is not functorial in general, in the part of the dual- ity for extremally disconnected Stone frames it is, and constitutes an equiv- alence of categories. We finish the thesis by focusing on the De Morgan (or extremally disconnected) frames and present a new characterization of these by their superdense sublocales. We also show that in contrast with this phenomenon, a metrizable frame has no non-trivial superdense sublocale; in other words, a non-trivial Čech-Stone compactification of a metrizable frame is never metrizable. 1
|
|
|
d-Frames as algebraic duals of bitopological spaces
Jakl, Tomáš ; Pultr, Aleš (advisor) ; Picado, Jorge (referee) ; Cintula, Petr (referee)
Achim Jung and Drew Moshier developed a Stone-type duality theory for bitopological spaces, amongst others, as a practical tool for solving a particular problem in the theory of stably compact spaces. By doing so they discovered that the duality of bitopological spaces and their algebraic counterparts, called d-frames, covers several of the known dualities. In this thesis we aim to take Jung's and Moshier's work as a starting point and fill in some of the missing aspects of the theory. In particular, we investigate basic categorical properties of d-frames, we give a Vietoris construction for d-frames which generalises the corresponding known Vietoris constructions for other categories, and we investigate the connection between bispaces and a paraconsistent logic and then develop a suitable (geometric) logic for d-frames.
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (advisor)
In this thesis we present the Stone representation theorem, generally known as Stone duality in the point-free context. The proof is choice-free and, since we do not have to be concerned with points, it is by far simpler than the original. For each infinite cardinal κ we show that the counter- part of the κ-complete Boolean algebras is constituted by the κ-basically disconnected Stone frames. We also present a precise characterization of the morphisms which correspond to the κ-complete Boolean homomorphisms. Although Booleanization is not functorial in general, in the part of the dual- ity for extremally disconnected Stone frames it is, and constitutes an equiv- alence of categories. We finish the thesis by focusing on the De Morgan (or extremally disconnected) frames and present a new characterization of these by their superdense sublocales. We also show that in contrast with this phenomenon, a metrizable frame has no non-trivial superdense sublocale; in other words, a non-trivial Čech-Stone compactification of a metrizable frame is never metrizable. 1
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (advisor) ; Fiala, Jiří (referee)
In this thesis we present the Stone representation theorem, generally known as Stone duality in the point-free context. The proof is choice-free and, since we do not have to be concerned with points, it is by far simpler than the original. For each infinite cardinal κ we show that the counter- part of the κ-complete Boolean algebras is constituted by the κ-basically disconnected Stone frames. We also present a precise characterization of the morphisms which correspond to the κ-complete Boolean homomorphisms. Although Booleanization is not functorial in general, in the part of the dual- ity for extremally disconnected Stone frames it is, and constitutes an equiv- alence of categories. We finish the thesis by focusing on the De Morgan (or extremally disconnected) frames and present a new characterization of these by their superdense sublocales. We also show that in contrast with this phenomenon, a metrizable frame has no non-trivial superdense sublocale; in other words, a non-trivial Čech-Stone compactification of a metrizable frame is never metrizable. 1
|
guest ::
