Related papers: On A New Convergence Class in Sup-sober Spaces
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…
Recently we have proposed models of topological field theory including gravity in Mod. Phys. Lett. A 31 (2016) no.37, 1650213 and Phys. Rev. D 96 (2017) no.2, 024009, in order to solve the problem of the cosmological constant. The…
Domain generalization asks for models trained over a set of training environments to generalize well in unseen test environments. Recently, a series of algorithms such as Invariant Risk Minimization (IRM) have been proposed for domain…
The $S$ topology on the Skorokhod space was introduced by the author in 1997 and since then it proved to be a useful tool in several areas of the theory of stochastic processes. The paper brings complementary information on the $S$…
Different notions for order convergence have been considered by various authors. Associated to every notion of order convergence corresponds a topology, defined by taking as the closed sets those subsets of the poset satisfying that no net…
Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $\sigma$-closed `almost…
In this paper, as a common generalization of $SI_{2}$-continuous spaces and $s_{2}$-quasicontinuous posets, we introduce the concepts of $SI_{2}$-quasicontinuous spaces and $\mathcal{GD}$-convergence of nets for arbitrary topological spaces…
A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…
Given a measurable space (X, M) there is a (Galois) connection between sub-sigma-algebras of M and equivalence relations on X. On the other hand equivalence relations on X are closely related to congruences on stochastic relations. In…
A compact Hausdorff space X is called a CO space, if every closed subset of X is homeomorphic to an open subset of X. Every successor ordinal with its order topology is a CO space. We find an explicit characterization of the class K of CO…
The natural duality between "topological" and "regular," both considered as convergence space properties, extends naturally to p-regular convergence spaces, resulting in the new concept of a p-topological convergence space. Taking advantage…
We consider vector lattices endowed with locally solid convergence structures, which are not necessarily topological. We show that such a convergence is defined by the convergence to $0$ on the positive cone. Some results on unbounded…
A `whole-part' theory is developed for a set of finite quantum systems $\Sigma (n)$ with variables in ${\mathbb Z}(n)$. The partial order `subsystem' is defined, by embedding various attributes of the system $\Sigma (m)$ (quantum states,…
A (generalized) topological space is called an iso-dense space if the set of all its isolated points is dense in the space. The main aim of the article is to show in $\mathbf{ZF}$ a new characterization of iso-dense spaces in terms of…
We introduce a new class of superconductors (SCs) in two spatial dimensions with time reversal symmetry and reflection (i.e., mirror) symmetry. In the absence of interactions, topological classes of these SCs are distinguished by an…
How does the topological space of science emerge? Inspired by the concept of maps of science, i.e. mapping scientific topics to a scientific space, we ask which topological structure a dynamical process of authors collaborating and…
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…
Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent data types. Scott continuous functions represent computable…
The aim of this paper is to generalize some fixed point theorems in the class of convex contraction of order $m$ on a complete suprametric space. Then, we will prove that the class of convex contraction of order m is strong enough to…
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…