Related papers: There is no categorical metric continuum

Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible.…

We describe a finitary 2-monad on a locally finitely presentable 2-category for which not every pseudoalgebra is equivalent to a strict one. This shows that having rank is not a sufficient condition on a 2-monad for every pseudoalgebra to…

We develop an analog to the ends of a metric space for the category of coarse metric spaces and show that it is equivalent to a previously defined coarse invariant.

We construct a complete metric space $M$ of cardinality continuum such that every non-singleton closed separable subset of $M$ fails to be a Lipschitz retract of $M$. This provides a metric analogue to the various classical and recent…

This paper is concerned with conditions under which a metric continuum (a compact connected metric space) contains a non-degenerate chainable continuum.

By a {\bf generalized arc\/} we mean a continuum with exactly two non-separating points; an {\bf arc} is a metrizable generalized arc. It is well known that any two arcs are homeomorphic (to the real closed unit interval); we show that any…

We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…

In a recent paper \cite{T} the fact that a class of locally compact metric spaces $X$, among which are Euclidean spaces, are not homemorphic to their punctured version $X\men\{p\}$, was given an interesting new proof which does not use…

We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More…

A metric algebra is a metric variant of the notion of $\Sigma$-algebra, first introduced in universal algebra to deal with algebras equipped with metric structures such as normed vector spaces. In this paper, we showed metric versions of…

We obtain some results about continuum-wise expansive homeomorphisms, such as non-existence of stable points and presence of non-trivial connected components within the local stable and unstable sets. These facts have been of importance in…

We define scoring metrics on separable metric spaces and show that they are always no coarser than the metrics from which they spring.

We introduce a new definition of nonpositive curvature in metric spaces and study its relationship to the existing notions of nonpositive curvature in comparison geometry. The main feature of our definition is that it applies to all metric…

The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…

Certain notions of convergence of sequences functions such as pointwise convergence and (uniform) convergence on compact or bounded sets come from suitable topological function spaces; see [1]. Under certain conditions these topologies…

Let $\mathcal{M} (X)$ denote the space of complete Riemannian metrics with non-positive sectional curvature and with negatively curved ends, on a manifold $X$. We show that $\mathcal{M} (\mathbb{R} \times S ^{1}) $ and $\mathcal{M}…

This paper studies the asymptotic product of two metric spaces. It is well defined if one of the spaces is visual or if both spaces are geodesic. In this case the asymptotic product is the pullback of a limit diagram in the coarse category.…

This is a significantly improved version with new applications. We show that there are many cohomogeneity one manifolds which do not admit an analytic invariant metric with non-negative sectional curvature, although they do have a smooth…

We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fr\'echet filter.…

We address a problem posed in [1] by demonstrating through an example that, in the absence of separability, the property of sequential cone compactness does not generally imply cone compactness.