Related papers: Coherence Spaces and Uniform Continuity
Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the…
A space is called Dieudonn\'{e} complete if it is complete relative to the maximal uniform structure compatible with its topology. In this paper, we investigated when the function space $C(X,Y)$ of all continuous functions from a…
Many systems of interest to control engineering can be modeled by linear complementarity problems. We introduce a new notion of equivalence between linear complementarity problems that sets the basis to translate the powerful tools of…
The basic ingredients of the `consistent histories' approach to quantum theory are a space $\UP$ of `history propositions' and a space $\D$ of `decoherence functionals'. In this article we consider such history quantum theories in the case…
In this paper,\ the authors define a space with an uniform base at non-isolated points, give some characterizations of images of metric spaces by boundary-compact maps, and study certain relationship among spaces with special base…
A survey is given of the work on strong regularity for uniform algebras over the last thirty years, and some new results are proved, including the following. Let A be a uniform algebra on a compact space X and let E be the set of all those…
The aim of this paper is to investigate the equivalence conditions for uniform perfectness of quasi-metric spaces. We also obtain the invariant property of uniform perfectness under quasim\"obius maps in quasi-metric spaces. In the end, two…
The properties of the stable distance over stable spacetimes are used as a reference to propose a simplified, abstract notion of spacetime. The discussion shows that spacetime, with its topology, causal order and (upper semi-continuous)…
A large literature specifies conditions under which the information complexity for a sequence of numerical problems defined for dimensions $1, 2, \ldots$ grows at a moderate rate, i.e., the sequence of problems is tractable. Here, we focus…
We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…
Given a coarse space $(X, \mathcal{E})$, we consider linear orders on $X$ compatible with the coarse structure $\mathcal E$ and explore interplays between these orders and macro-uniform selectors of $(X, \mathcal{E})$.
The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the…
Consistency properties of concurrent computations, e.g., sequential consistency, linearizability, or eventual consistency, are essential for devising correct concurrent algorithms. In this paper, we present a logical formalization of such…
Every locally normal representation of a local chiral conformal quantum theory is covariant with respect to global conformal transformations, if this theory is diffeomorphism covariant in its vacuum representation. The unitary, strongly…
This paper demonstrates that the space of piecewise smooth functions can be well approximated by the space of functions defined by a set of simple (non-linear) operations on smooth uniform splines. The examples include bivariate functions…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting…
In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…
Lineability is a property enjoyed by some subsets within a vector space X. A subset A of X is called lineable whenever A contains, except for zero, an infinite dimensional vector subspace. If, additionally, X is endowed with richer…
We present an algebraic characterization of the complexity classes Logspace and Nlogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is rooted in proof theory…