Related papers: Towards Point-Free Spacetimes
We develop relativistic causality theory in the setting of point-free topology by introducing a notion of causal coverage in ordered locales, generalising their canonical coverage relation to incorporate causal structure. This improves…
We extend the Stone duality between topological spaces and locales to include order: there is an adjunction between the category of preordered topological spaces satisfying the so-called open cone condition, and the newly defined category…
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…
Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper,…
We survey foundational principles of Grothendieck's generalized spaces, including a critical glossary of the various, and often conflicting, terminological usages. Known results using generalized points support a fully pointwise notation…
We consider Lorentzian manifolds as examples of partially ordered measure spaces, sets endowed with compatible partial order relations and measures, in this case given by the causal structure and the volume element defined by each…
Various topological concepts are often involved in the research of mathematical logic, and almost all of these concepts can be regarded as developing from the Stone representation theorem. In the Stone representation theorem, a Boolean…
While topology given by a linear order has been extensively studied, this cannot be said about the case when the order is given only locally. The aim of this paper is to fill this gap. We consider relation between local orderability and…
The class of Zeeman topologies on spacetimes in the frame of relativity theory is considered to be of powerful intuitive justification, satisfying a sequence of properties with physical meaning, such as the group of homeomorphisms under…
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…
Locales have been studied as "topologies without points", mainly by tools of category theory. While traditional topology presents a space as a set of points with specified neighborhoods, localic topology presents a space as a lattice of…
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…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…
We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the…
We discuss the asymptotic structure of spacetimes, presenting a new construction of ideal points at infinity and introducing useful topologies on the completed space. Our construction is based on structures introduced by Geroch, Kronheimer,…
A preordered topological space is a topological space with a preordering. We exhibit a Stone-like duality for preordered topological spaces, Inspired by a similar duality for bitopological spaces, due to Jung-Moshier and Jakl, and by a…
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…
We introduce a canonical, compact topology, which we call weakly causal, naturally generated by the causal site of J. D. Christensen and L. Crane, a pointless algebraic structure motivated by certain problems of quantum gravity. We show…
This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It…
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…