相关论文: Topological representations for frame-valued domai…
With a commutative unital quantale $L$ as the truth value table, this study focuses on the representations of $L$-domains by means of $L$-closure spaces. First, the notions of interpolative generalized $L$-closure spaces and directed closed…
Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds of continuous domains by means of closure spaces. By…
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. We will show that the D-completion of free algebras over a Scott space $\Sigma L$, on the context of directed spaces, are…
With a complete residuated lattice $L$ as the truth value table, we extend the definition of sobriety of classical convex spaces to the framework of $L$-convex spaces. We provide a specific construction for the sobrification of an…
In this paper, concepts of (topological) FS-approximation spaces are introduced. Representations of FS-domains and BF-domains via (topological) FS-approximation spaces are considered. It is proved that the collection of CF-closed sets in an…
In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely…
We prove some facts about locales $L$ equipped with the Scott topology $\Omega(L)$, in particular studying a canonical frame homomorphism $\phi:\Omega(L)\to L$ which is motivated by an application to cognitive science. Such a topological…
We present old and new characterizations of core spaces, alias worldwide web spaces, originally defined by the existence of supercompact neighborhood bases. The patch spaces of core spaces, obtained by joining the original topology with a…
In this paper, by means of upper approximation operators in rough set theory, we study representations for sL-domains and its special subclasses. We introduce the concepts of sL-approximation spaces, L-approximation spaces and…
A topological space is domain-representable (or, has a domain model) if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$ (with the relative Scott topology). We first construct an example to show that the set of…
The notion of \emph{D-sublocale} is explored. This is the notion analogue to that of sublocale in the duality of $T_D$spaces. A sublocale $S$ of a frame $L$ is a D-sublocale if and only if the corresponding localic map preserves the…
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…
The $\kappa$-topologies on the spaces $\mathscr{D}_{L^p}$, $L^p$ and $\mathscr{M}^1$ are defined by a neighbourhood basis consisting of polars of absolutely convex and compact subsets of their (pre-)dual spaces. In many cases it is more…
We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales…
In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete…
In the first part of my talk I will explain a solution to the extension of Lie's problem on classification of "local continuous transformation groups of a finite-dimensional manifold" to the case of supermanifolds. (More precisely, the…
Representations of domains mean in a general way representing a domain as a suitable family endowed with set-inclusion order of some mathematical structures. In this paper, representations of domains via CF-approximation spaces are…
Looking for a quantum field theory model of Archimedean algebraic geometry a class of infinite-dimensional integral representations of classical special functions was introduced. Precisely the special functions such as Whittaker functions…