Related papers: Ordered Locales
We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by…
We discuss a sufficient condition for a space to be filled with an arbitrary finite number of self-similar spaces using a topological concept.
From a group action on a space, define a variant of the configuration space by insisting that no two points inhabit the same orbit. When the action is almost free, this "orbit configuration space" is the complement of an arrangement of…
We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient…
We introduce, comment and develop the Scott adjunction, mostly from the point of view of a category theorist. Besides its technical and conceptual aspects, in a nutshell we provide a categorification of the Scott topology over a posets with…
A space $Y$ is called an {\em extension} of a space $X$ if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {\em equivalent} if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence…
We extend Stone duality to a fully faithful embedding of condensed sets into fpqc sheaves over an arbitrary field, which preserves colimits and finite limits. We study how familiar notions from condensed mathematics/topology and algebraic…
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,…
The notion of Kan extendable subcategories was initially introduced to define the category of compactly generated fibrewise topological spaces over a T1 base space and to establish its cartesian closure. In this paper, we show that the same…
Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We provide equivalences for these spaces by constructing a model category containing the category of local po-spaces. We show the category of…
We develop a theory of ordered *-vector spaces with an order unit. We prove fundamental results concerning positive linear functionals and states, and we show that the order (semi)norm on the space of self-adjoint elements admits multiple…
In this note we shall generalize the Stone duality between compact totally disconnected spaces and Boolean algebras to a duality between all complete non-Archimedean uniform spaces and Boolean algebras.
Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…
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…
An archetypal problem discussed in computer science is the problem of searching for a given number in a given set of numbers. Other than sequential search, the classic solution is to sort the list of numbers and then apply binary search.…
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are…
In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to…
We investigate the connection between the spatiality of locale products and the earlier studies of the author on the locally fine coreflection of the products of uniform spaces. After giving a historical introduction and indicating the…