Related papers: Euclidean interval objects in categories with fini…
Recent observations seem to indicate that we live in a universe whose spatial sections are nearly or exactly flat. Motivated by this we study the problem of observational detection of the topology of universes with flat spatial sections. We…
In many everyday categories (sets, spaces, modules, ...) objects can be both added and multiplied. The arithmetic of such objects is a challenge because there is usually no subtraction. We prove a family of cases of the following principle:…
We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…
Locales have been studied as "topologies without points", mainly by tools of category theory. While traditional topology presents a space as a set of points with specified neighborhoods, localic topology presents a space as a lattice of…
A subset of Euclidean space will be said to be $n$-smooth if it has an $n$-dimensional tangent plane at each of its points. Let ${\frak d}_n$ denote the least number $n$-smooth sets into which $n+1$-dimensional Euclidean space can be…
The proof of the theorem, which states that the Euclidean metric on the set of random points in an $n$-dimensional Euclidean space with the distribution of a special class, converges in probability in the limit $n\rightarrow\infty$ to the…
We give a characterization of extremal irreducible discrete subfactors $(N\subseteq M, E)$ where $N$ is type ${\rm II}_1$ in terms of connected W*-algebra objects in rigid C*-tensor categories. We prove an equivalence of categories where…
The quantum theory of ur objects postulates that all existing physical objects and their properties are constructed from fundamental objects called ur objects being described by an element of a two dimensional complex Hilbert space. This…
This paper introduces a class of objects called decision rules that map infinite sequences of alternatives to a decision space. These objects can be used to model situations where a decision maker encounters alternatives in a sequence such…
The domain-independent universal Normalized Information Distance based on Kolmogorov complexity has been (in approximate form) successfully applied to a variety of difficult clustering problems. In this paper we investigate theoretical…
We introduce the notion of exact tilting objects, which are partial tilting objects $T$ inducing an equivalence between the abelian category generated by $T$ and the category of modules over the endomorphism algebra of $T$. Given a chain of…
We consider the space of convex functions defined in the Euclidean $n$-dimensional space, which are lower semi-continuous and tend to infinity at infinity. We study real-valued valuations defined on this space of functions, which are…
It is well-known that entire functions whose spectrum belongs to a fixed bounded set $S$ admit real uniformly discrete uniqueness sets $\Lambda$. We show that the same is true for much wider spaces of continuous functions. In particular,…
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of…
We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter $D$, the notions of $D$-compactness and of $D$-pseudocompactness…
Grothendieck develops the theory of pro-objects over a category $\mathsf{C}$. The fundamental property of the category $\mathsf{Pro}(\mathsf{C})$ is that there is an embedding $\mathsf{C} \overset{c}{\longrightarrow}…
Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…
Let C(K) denote the Banach algebra of continuous real functions, with the supremum norm, on a compact Hausdorff space K. For two subsets of C(K), one can define their product by pointwise multiplication, just as the Minkowski sum of the…
In this paper we study the property of generic global rigidity for frameworks of graphs embedded in d-dimensional complex space and in a d-dimensional pseudo-Euclidean space ($R^d$ with a metric of indefinite signature). We show that a…