Related papers: Uniform locales and their constructive aspects
Soft uniform structures provide a way to speak about uniform closeness in a parameterized setting. Working over a fixed parameter set, we treat entourages as soft relations and introduce a notion of \emph{soft uniformity} whose axioms…
In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…
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…
Treatises about General Topology that emphasize the notion of uniformity and uniform space find, of course, no difficulty in defining the notion of a complete uniform space and in constructing the completion of a metric space, via its…
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…
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…
We develop locale theory constructively and predicatively in univalent foundations (UF), with a particular focus on the theory of spectral and Stone locales. In the context of UF, predicativity refers specifically to the development of…
We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a…
We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular…
In this thesis we propose and study a theory of ordered locales, a type of point-free space equipped with a preorder structure on its frame of opens. It is proved that the Stone-type duality between topological spaces and locales lifts to a…
Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using…
We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…
We develop a Thurston-like theory to characterize geometrically finite rational maps, then apply it to study pinching and plumbing deformations of rational maps. We show that in certain conditions the pinching path converges uniformly and…
Motivated by Wheeler's bottom up pregeometry, we introduce a pregeometric approach that does not assume Wheeler's probability amplitudes for establishing spacetime neighborhoods. Rather, a non-trivial metric is produced via the concept of a…
We investigate the connection between the spatiality of locale products and the earlier studies of the author on the locally fine coreflection of the products of uniform spaces. After giving a historical introduction and indicating the…
We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style…
(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspects of distributed systems. In this paper we introduce an…
Rough set theory, a mathematical tool to deal with inexact or uncertain knowledge in information systems, has originally described the indiscernibility of elements by equivalence relations. Covering rough sets are a natural extension of…
We show that the topology of uniform convergence on bounded sets is compatible with the group law of the automorphism group of a large class of spaces that are endowed with both a uniform structure and a bornology, thus yielding numerous…
A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such as completeness or uniform convergence. Motivated by previous work of J. Rivera-Letelier, we give a new…