Related papers: Towards Point-Free Spacetimes

We investigate robust Orlicz spaces as a generalisation of robust $L^p$-spaces. Two constructions of such spaces are distinguished, a top-down approach and a bottom-up approach. We show that separability of robust Orlicz spaces or their…

We give a new proof of Cartan's fixed point theorem using topological fixed point theory. For an odd dimensional, simply connected and complete manifold having non-positive curvature, we further prove that every isometry with finite order…

In the series of papers Motivic GUT Part I: Grand Unified Theory of Topological Order, Motivic GUT Part II: Grand Unified Theory of Symmetry-Protected Topological Order, and Motivic GUT Part III: Grand Unified Theory of Symmetry-Enriched…

The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…

In this work we revisit the notion of the (future) causal completion of a globally hyperbolic spacetime and endow it with the structure of a Lorentzian pre-length space. We further carry out this construction for a certain class of…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

In this paper, we introduce the notion of partially ordered {\epsilon}-chainable metric spaces and we derive new coupled fixed point theorems for uniformly locally contractive mappings on such spaces.

The paper gives a categorical approach to generalized manifolds such as orbit spaces and leaf spaces of foliations. It is suggested to consider these spaces as sets equipped with some additional structure which generalizes the notion of…

Metrics structures stemming from the Connes distance promote Moyal planes to the status of quantum metric spaces. We discuss this aspect in the light of recent developments, emphasizing the role of Moyal planes as representative examples of…

We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology…

We introduce the concept of boundary degeneracy of topologically ordered states on a compact orientable spatial manifold with boundaries, and emphasize that the boundary degeneracy provides richer information than the bulk degeneracy.…

For a smooth spacetime $X$, based on the timelike homotopy classes of its timelike paths, we define a topology on $X$ that refines the Alexandrov topology and always coincides with the manifold topology. The space of timelike or causal…

The constructive approach to mathematics has the advantage that witnesses can be extracted from statements of existence and theorems can be unwound to give algorithms. Even better, constructive theorems can be interpreted in any topos,…

The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour…

We give a covariant definition of closeness between (time oriented) Lorentzian metrics on a manifold M, using a family of functions which measure the difference in volume form on one hand and the difference in causal structure relative to a…

In a topological Riesz space there are two types of bounded subsets: order bounded subsets and topologically bounded subsets. It is natural to ask (1) whether an order bounded subset is topologically bounded and (2) whether a topologically…

In architecture, city planning, visual arts, and other design areas, shapes are often made with points, or with structural representations based on point-sets. Shapes made with points can be understood more generally as finite arrangements…

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces…

We extend Yosida's 1941 version of Stone-Gelfand duality to metrically complete unital lattice-ordered groups that are no longer required to be real vector spaces. This calls for a generalised notion of compact Hausdorff space whose points…

In this paper, we study the relation between topological orders and their gapped boundaries. We propose that the bulk for a given gapped boundary theory is unique. It is actually a consequence of a microscopic definition of a local…