5 citations · 5 across the 4 of their papers we have counts for
4 papers
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…
Ordered Locales
Chris Heunen, Nesta van der Schaaf
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-…
Axioms for the category of Hilbert spaces and linear contractions
Chris Heunen, Andre Kornell, Nesta van der Schaaf
The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity,…
Diffeological Morita Equivalence
Nesta van der Schaaf
We introduce a new notion of Morita equivalence for diffeological groupoids, generalising the original notion for Lie groupoids. For this we develop a theory of diffeological group…