Quasi-pseudo-metrization of topological preordered spaces

We establish that every second countable completely regularly preordered space (E,T,\leq) is quasi-pseudo-metrizable, in the sense that there is a quasi-pseudo-metric p on E for which the pseudo-metric p\veep^-1 induces T and the graph of \leq is exactly the set {(x,y): p(x,y)=0}. In the ordered case it is proved that these spaces can be characterized as being order homeomorphic to subspaces of the ordered Hilbert cube. The connection with quasi-pseudo-metrization results obtained in bitopology is clarified. In particular, strictly quasi-pseudometrizable ordered spaces are characterized as being order homeomorphic to order subspaces of the ordered Hilbert cube.Comment: Latex2e, 20 pages. v2: minor changes in the proof of theorem 2.

Sequentially dinormal ditopological texture spaces and dimetrizability

AbstractThe authors extend the bitopological notion of sequential normality to ditopological texture spaces, and use this notion to state and prove a (pseudo-)dimetrizability theorem

d-Frames as algebraic duals of bitopological spaces

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 categorical aspects of the inverse limits in ditopological context

[EN] This paper considers some various categorical aspects of the inverse systems (projective spectrums) and inverse limits described in the category ifPDitop, whose objects are ditopological plain texture spaces and morphisms are bicontinuous point functions satisfying a compatibility condition between those spaces. In this context, the category InvifPDitop consisting of the inverse systems constructed by the objects and morphisms of ifPDitop, besides the inverse systems of mappings, described between inverse systems, is introduced, and the related ideas are studied in a categorical - functorial setting. In conclusion, an identity natural transformation is obtained in the context of inverse systems - limits constructed in ifPDitop and the ditopological infinite products are characterized by the finite products via inverse limits.Yildiz, F. (2018). Some categorical aspects of the inverse limits in ditopological context. Applied General Topology. 19(1):101-127. https://doi.org/10.4995/agt.2018.781210112719

Lawson topology of the space of formal balls and the hyperbolic topology

AbstractLet (X,d) be a metric space and BX=X×R denote the partially ordered set of (generalized) formal balls in X. We investigate the topological structures of BX, in particular the relations between the Lawson topology and the product topology. We show that the Lawson topology coincides with the product topology if (X,d) is a totally bounded metric space, and show examples of spaces for which the two topologies do not coincide in the spaces of their formal balls. Then, we introduce a hyperbolic topology, which is a topology defined on a metric space other than the metric topology. We show that the hyperbolic topology and the metric topology coincide on X if and only if the Lawson topology and the product topology coincide on BX

Functional transitive quasi-uniformities and their bicompletions

Bibliography: pages 111-117