5 papers
Some Results on Causal Modalities in General Spacetimes
Marco Lewis, Nesta van der Schaaf
Causality is one of the fundamental structures of spacetimes, determining the possible behaviour and propagation of physical information. Causal structure can be analysed through t…
Localic Relations with Open Cones
Nesta van der Schaaf
Localic relations are relations internal to the category of locales, forming the point-free analogues of set-theoretic relations, and providing the general backdrop of localic orde…
Some Results on Causal Modalities in General Spacetimes
Marco Lewis, Nesta van der Schaaf
Causality is one of the fundamental structures of spacetimes, determining the possible behaviour and propagation of physical information. Causal structure can be analysed through t…
Causal Coverage in Ordered Locales and Spacetimes
Chris Heunen, Nesta van der Schaaf
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…
Towards Point-Free Spacetimes
Nesta van der Schaaf
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-ty…