Related papers: Metric-enriched categories and approximate Fra\"{i…

We investigate threshold phenomena in weighted $\ell^2$-spaces and characterize the critical regimes where elements with either small support or maximally bad range can be constructed. Our results are shown to be optimal in several…

This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via…

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…

This expository article brings together two subjects: generalised metrics based on enriched categories, on the one hand, and Lorentz manifolds, on the other, at the price of dealing with details that are well known either in category theory…

A new subspace of Morrey spaces whose elements can be approximated by infinitely differentiable compactly supported functions is introduced. Consequently, we give an explicit description of the closure of the set of such functions in Morrey…

We introduce enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. Ordinary purity is given by the class of surjective mappings in the category of sets. Under…

We define and study a natural category of graph limits. The objects are pairs $(\pi,\mu)$, where $\pi$ (the distribution of vertices) is an abstract probability measure on some abstract measurable space $(X,\mathcal{A})$ and $\mu$ (the…

In this paper, we study metric completions of triangulated categories in a representation-theoretic context. We provide a concrete description of completions of bounded derived categories of hereditary finite dimensional algebras of finite…

In various areas of modern physics and in particular in quantum gravity or foundational space-time physics it is of great importance to be in the possession of a systematic procedure by which a macroscopic or continuum limit can be…

This is a write-up of a talk given at the CATMI meeting in Bergen in July 2023, and is an introduction to a category-theoretic perspective on metric spaces. A metric space is a set of points such that between each pair of points there is a…

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…

This paper introduces a notion of categorical approximability for metric spaces that can be viewed as a categorification of approximability for metric groups, as defined by Turing in 1938. Approximability as introduced here is a property of…

In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized…

We continue the study of projective Fra\"{i}ss\'{e} limits of trees initiated by Charatonik and Roe and we construct many generalized Wa\.{z}ewski dendrites as the topological realization of a projective Fra\"{i}ss\'{e} limit of families of…

We give a short review of a construction of Frink to obtain a metric space from a quasi-metric space. By an example we illustrate the limits of the construction.

We classify the metric spaces that can be approximated by finite homogeneous ones.

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. The aim of the paper is to justify and contextualize the new notion by…

Arakelian's classical approximation theorem \cite{Ar} gives necessary and sufficient conditions such that functions can be uniformly approximated in (unbounded) closed sets $F\subset \mathbb{C}$ by entire functions. The conditions are…

The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically…