Related papers: There is no categorical metric continuum

We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are…

We study the existence of Riemannian metrics with zero topological entropy on a closed manifold M with infinite fundamental group. We show that such a metric does not exist if there is a finite simply connected CW complex which maps to M in…

We study several natural classes of graphs on a zero-dimensional metrizable compact space having no continuous coloring. We compare these graphs with the quasi-order associated with injective continuous homomorphisms. We prove the existence…

Suppose $Y$ is a continuum, $x\in Y$, and $X$ is the union of all nowhere dense subcontinua of $Y$ containing $x$. Suppose further that there exists $y\in Y$ such that every connected subset of $X$ limiting to $y$ is dense in $X$. And,…

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…

We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

The category of metric spaces is a subcategory of quasi-metric spaces. In this paper the notion of entropy for the continuous maps of a quasi-metric space is extended via spanning and separated sets. Moreover, two metric spaces that are…

We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is…

We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure. This addresses a question about the…

We prove that it is consistent with large values of the continuum that there are no S-spaces. We also show that we can also have that compact separable spaces of countable tightness have cardinality at most the continuum.

We show that any quantum family of maps from a non commutative space to a compact quantum metric space has a canonical quantum semi metric structure.

In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a…

The nonanalytic property of metric resulting from the presence of gravitomagnetic monopoles is considered. The curvature tensors, dual curvature tensors, dual Einstein tensor (and hence the gravitational field equation of gravitomagnetic…

We study a metric-like structure on categories, showing that the concept of the limit of a sequence in a metric space and the concept of the colimit of a sequence in a category have a common generalization. The main concept is a norm on a…

A noncommutative algebra corresponding to the classical catenoid is introduced together with a differential calculus of derivations. We prove that there exists a unique metric and torsion-free connection that is compatible with the complex…

We consider properties of the diagonal of a continuum that are used later in the paper. We continue the study of $T$-closed subsets of a continuum $X$. We prove that for a continuum $X$, the statements: $\Delta_X$ is a nonblock subcontinuum…

A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…

In this paper we give new proofs of the theorem of Ma\'{c}kowiak and Tymchatyn that every metric continuum is a weakly-confluent image of some one-dimensional hereditarily indecomposable continuum of countable weight. The first is a…

Let $M=X\times Y$ be the product of two complex manifolds of positive dimensions. In this paper, we prove that there is no complete K\"ahler metric $g$ on $M$ such that: either (i) the holomorphic bisectional curvature of $g$ is bounded by…