5 citations · 5 across the 4 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2023
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-…
math.CT2022★ 5 cited
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,…