Related papers: Introduction To Typed Topological Space
The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…
The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…
In this short note, a topos - called the topos of the connectivity space - is associated with every such space.
Why is the manifold topology in a spacetime taken for granted? Why do we prefer to use Riemann open balls as basic-open sets, while there also exists a Lorentz metric? Which topology is a best candidate for a spacetime; a topology…
An old branch of mathematics, Topology, has opened the road to the discovery of new phases of matter. A hidden topology in the energy spectrum is the key for novel conducting/insulating properties of topological matter.
By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…
It is important to classify covering subgroups of the fundamental group of a topological space using their topological properties in the topologized fundamental group. In this paper, we introduce and study some topologies on the fundamental…
The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of…
Regions-based theories of space aim -- among others -- to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed,…
We introduce cs-topologies, or topologies of open complemented subsets, as a new approach to constructive topology that preserves the duality between open and closed subsets of classical topology. Complemented subsets were used successfully…
A test space is the set of outcome-sets associated with a collection of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories -- notably, quantum mechanics -- in which one is faced with…
This paper aims to examine the version of the topological group structure in proximity and especially descriptive proximity spaces, that is, the concepts of proximal group and descriptive proximal group are introduced. In addition, the…
In this paper, we introduce the foundation of a fractal topological space constructed via a family of nested topological spaces endowed with subspace topologies, where the number of topological spaces involved in this family is related to…
In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset…
In this paper, we introduce the nonstandard vector space in which the concept of additive inverse element will not be taken into account. We also consider a metric defined on this nonstandard vector space. Under these settings, the…
Molodstov[10] introduced soft set theory as a new mathematical approach for solving problems having uncertainties. Many researchers worked on the findings of structures of soft set theory and applied to many problems having uncertainties.…
Free actions of finite groups on spheres give rise to topological spherical space forms. The existence and classification problems for space forms have a long history in the geometry and topology of manifolds. In this article, we present a…
The set of open subsets in a proximity space (X,{\zeta}) forms a topological system that enables the definition of proximal and descriptive topological groups. This framework naturally extends to proximal and descriptive topological rings…
This paper considers generalizations of open mappings, closed mappings, pseudo-open mappings, and quotient mappings from topological spaces to generalized topological spaces. Characterizations of these classes of mappings are obtained and…