Related papers: Pointfree topology and constructive mathematics
This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also…
This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…
Completions of metric spaces are usually constructed using Cauchy sequences. However, this does not work for general uniform spaces, where Cauchy filters or nets must be used instead. The situation in pointfree topology is more…
If $N \subset \R$ is a separable II$_1$-factor, the space $\Hom(N,\R)$ of unitary equivalence classes of unital *-homomorphisms $N \to \R$ is shown to have a surprisingly rich structure. If $N$ is not hyperfinite, $\Hom(N,\R)$ is an…
The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…
We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of…
Nonexpansive mappings play a central role in modern optimization and monotone operator theory because their fixed points can describe solutions to optimization or critical point problems. It is known that when the mappings are sufficiently…
In this article we introduce powerful tools and techniques from invariant theory to free analysis. This enables us to study free maps with involution. These maps are free noncommutative analogs of real analytic functions of several…
A mathematical structure is presented that allows one to define a physical process independent of any background. That is, it is possible, for a set of objects, to choose an object from that set through a choice process that is defined…
Generalized topological spaces in the sense of Cs\'{a}sz\'{a}r have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under intersections. Second, we allow for the possibility…
A self-contained introduction is presented of the notion of the (abstract) differentiable manifold and its tangent vector fields. The way in which elementary topological ideas stimulated the passage from Euclidean (vector) spaces and linear…
In this paper, we introduce the concept of quasi-point-separable topological vector spaces, which has the following important properties: 1.In general, the conditions for a topological vector space to be quasi-point-separable is not very…
We observe that many of the separation axioms of topology (including $T_0-T_4$) can be expressed concisely and uniformly in terms of category theory as lifting properties (in the sense of Quillen model categories) with respect to (usually…
A method evaluating the sensitivity of a given parameter to topological changes is proposed within the method of moments paradigm. The basis functions are used as degrees of freedom which, when compared to the classical pixeling technique,…
This short note provides a systematic construction of market models without unbounded profits but with arbitrage opportunities.
For the set C(X) of real-valued continuous functions on a Tychonoff space X, the compact-open topology on C(X) is a "set-open topology". This paper studies the separation and countability properties of the space C(X) having the topology…
A topological measure characterizing symmetry-protected topological phases in one-dimensional open fermionic systems is proposed. It is built upon the kinematic approach to the geometric phase of mixed states and facilitates the extension…
Order and symmetry are main structural principles in mathematics. We give five examples where on the face of it order is not apparent, but deeper investigations reveal that they are governed by order structures. These examples are finite…
Top-down and bottom-up theorem proving approaches each have specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control but suffer from the lack of goal-orientation, whereas top-down provers are…
In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…