On A New Convergence Class in Sup-sober Spaces

09/11/2017
by   Hadrian Andradi, et al.
0

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of T_0-spaces instead of restricting to posets. In this paper, we respond to this calling by proving a topological parallel of a 2005 result due to B. Zhao and D. Zhao, i.e., an order-theoretic characterisation of those posets for which the Scott-convergence is topological. We do this by adopting a recent approach due to D. Zhao and W. K. Ho by replacing directed subsets with irreducible sets. As a result, we formulate a new convergence class I in T_0-spaces called Irr-convergence and establish that a sup-sober space X is SI^--continuous if and only if it satisfies *-property and the convergence class I in it is topological.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/09/2017

Topological Scott Convergence Theorem

Recently, J. D. Lawson encouraged the domain theory community to conside...
research
06/29/2023

Free dcpo-algebras via directed spaces

Directed spaces are natural topological extensions of dcpos in domain th...
research
03/12/2022

Continuity on directed spaces

We investigate two approximation relations on a T0 topological space, th...
research
04/18/2022

Untangled: A Complete Dynamic Topological Logic

Dynamic topological logic (𝐃𝐓𝐋) is a trimodal logic designed for reasoni...
research
08/25/2023

A topological model for partial equivariance in deep learning and data analysis

In this article, we propose a topological model to encode partial equiva...
research
07/15/2019

Topological rewriting systems applied to standard bases and syntactic algebras

We propose a functional description of rewriting systems on topological ...
research
11/22/2022

Continuous R-valuations

We introduce continuous R-valuations on directed-complete posets (dcpos,...

Please sign up or login with your details

Forgot password? Click here to reset