Related papers: The principle of pointfree continuity
We present a constructive proof of Brouwer's fixed point theorem with sequentially at most one fixed point, and apply it to the mini-max theorem of zero-sum games.
Given a non-invertible dynamical system with a transfer operator, we show there is a minimal cover with a transfer operator that preserves continuous functions. We also introduce an essential cover with even stronger continuity properties.…
In this paper it is shown that the structure of the configuration space of any continua is what is called in differential geometry a {\it principle bundle} \cite{Frankel2011ThePhysics}. A principal bundle is a structure in which all points…
We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor $s$ from a category $G$ to $\Top^{\op}$ and show that it defines what we call a skew category algebra $A…
Let $A$ and $B$ be compact operators over a topological space $X$ and suppose that these operators are normal and have same distinct eigenvalues at each point. By obstruction theory, we establish a necessary and sufficient condition for $A$…
A blow-analytic homeomorphism is an arc-analytic subanalytic homeomorphism, and therefore it induces a bijective mapping between spaces of analytic arcs. We tackle the question of the continuity of this induced mapping between the spaces of…
Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which…
It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…
Connectedness, path connectedness, and uniform connectedness are well-known concepts. In the traditional presentation of these concepts there is a substantial difference between connectedness and the other two notions, namely connectedness…
We explore the relationship between Turing completeness and topological entropy of dynamical systems. We first prove that a natural class of Turing machines that we call "branching Turing machines" (which includes most of the known examples…
Inspired by the Taubes-Wu construction of $\mathcal{C}^{1,\alpha}$ two-valued harmonic functions by the use of symmetry, we construct minimal surfaces with stratified branching sets as graphs of $\mathcal{C}^{1,\alpha}$ two-valued…
In a recent paper, Chiney and Samanta have introduced a new definition of soft topology, using the soft elementary intersection and union. In this paper, basing at this approach, we introduce a definition of soft elementary compact set, and…
We give a self-contained and enriched review about topology properties in the rapidly growing field of topological states of matter (TSM). This review is mainly focus on the beautiful interplay of topology mathematics and condensed matter…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…
We introduce the notion of a good map between topological spaces: a continuous map $f:X \to Y$ is *good* if for every non-empty irreducible locally closed subset $U \subseteq X$, there exists a non-empty open subset $W \subseteq Y$ such…
A sufficient condition for the insertion of a contra-continuous (resp. Baire-one) function between two comparable real-valued functions is given on the topological spaces that L-sets are open (resp. G-delta-sets).
In this article, we introduce the notions of sequentially compactness and boundedly compactness in the framework of a newly defined $b_v(s)$-metric space which is a generalization of usual metric spaces and several other abstract spaces. We…
This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's…
Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…