相关论文: Representations of FS-domains and BF-domains via F…
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…
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…
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…
With a frame $L$ as the truth value table, we study the topological representations for frame-valued domains. We introduce the notions of locally super-compact $L$-topological space and strong locally super-compact $L$-topological space.…
A cosmological model connecting the evolution of universe with a sequence of topology changes described by a collection of specific graph cobordisms, is constructed. It is shown that an adequate topological field theory (of BF-type) can be…
In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…
Theories of rough sets and soft sets are powerful mathematical tools for modelling various types of vagueness. Hybrid model combining a rough set with a soft set which is called soft rough set proposed by Feng et al. [3] in 2010. In this…
In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective to existing concepts and results in domain theory, but also…
Canonical quantization of abelian BF-type topological field theory coupled to extended sources on generic d-dimensional manifolds and with curved line bundles is studied. Sheaf cohomology is used to construct the appropriate topological…
In this paper we will study the representations of isomorphisms between bases of topological spaces. It turns out that the perfect setting for this study is that of regular open subsets of complete metric spaces, but we have achieved some…
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
A generalization of Scott's information systems~\cite{sco82} is presented that captures exactly all continuous domains. The global consistency predicate in Scott's definition is relativized. Now, for every atomic statement, there is a…
In this paper, the concept of quasi-finitely separating map and quasiapproximate identity are introduced. Based on these concepts, QFS-spaces and quasicontinuous maps are defined. Properties and characterizations of QFS-spaces are explored.…
An S-approximation space is a novel approach to study systems with uncertainty that are not expressible in terms of inclusion relations. In this work, we further examined these spaces, mostly from a topological point of view by a…
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
Formal Concept Analysis has proven to be an effective method of restructuring complete lattices and various algebraic domains. In this paper, the notions of attribute continuous formal context and continuous formal concept are introduced by…
We present a class of mappings between models with topological mass mechanism and purely topological models in arbitrary dimensions. These mappings are established by directly mapping the fields of one model in terms of the fields of the…
In this note we show the characteristic function of every indecomposable set $F$ in the plane is $BV$ equivalent to the characteristic function a closed set $\mathbb{F}$, i.e.…
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…
Departing from a suitable categorical concept of topogenous orders defined relative to the bifibration of subobjects, this note introduces and studies topogenous orders on faithful and amnestic functors. Amongst other things, it is shown…