Related papers: Quantales, generalised premetrics and free locales
We explore the notion of spatial extent and structure, already alluded to in earlier literature, within the formulation of quantum mechanics on the noncommutative plane. Introducing the notion of average position and its measurement, we…
A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…
Effective theories are non-local at the scale of the eliminated heavy particles modes. The gradient expansion which represents such non-locality must be truncated to have treatable models. This step leads to the proliferation of the degrees…
Following the train of thought from our previous paper we revisit the theorems of Pongsriiam and Termwuttipong by further developing their characterization of certain property-preserving functions using the so-called triangle triplets. We…
At present we have only the very successful but phenomenological Einstein geometrical modelling of the spacetime phenomenon. This geometrical model provides a `container' for other theories, in particular the quantum field theories. Here we…
Recently, a notion of the free product $X \ast Y$ of two metric spaces $X$ and $Y$ has been introduced by T. Fukaya and T. Matsuka. In this paper, we study coarse geometric permanence properties of the free product $X \ast Y$. We show that…
A topological space $X$ is defined to have a neighborhood $P$-base at any $x\in X$ from some poset $P$ if there exists a neighborhood base $(U_p[x])_{p\in P}$ at $x$ such that $U_p[x]\subseteq U_{p'}[x]$ for all $p\geq p'$ in $P$. We prove…
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…
Let $F$ be an ordered topological vector space (over $\mathbb{R}$) whose positive cone $F_+$ is weakly closed, and let $E \subseteq F$ be a subspace. We prove that the set of positive continuous linear functionals on $E$ that can be…
We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the…
We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…
The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary…
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all…
The relation between manifold topology, observables and gauge group is clarified on the basis of the classification of the representations of the algebra of observables associated to positions and displacements on the manifold. The guiding,…
We make a systematic study of duality phenomena in tensor-triangular geometry, generalising and complementing previous results of Balmer--Dell'Ambrogio--Sanders and Dwyer--Greenlees--Iyengar. A key feature of our approach is the use of…
The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…
Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…
For any resource theory it is essential to identify tasks for which resource objects offer advantage over free objects. We show that this identification can always be accomplished for resource theories of quantum measurements in which free…
Area metric manifolds emerge as a refinement of symplectic and metric geometry in four dimensions, where in numerous situations of physical interest they feature as effective matter backgrounds. In this article, this prompts us to identify…
We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…