Related papers: Homotopical models for metric spaces and completen…

In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain…

This article suggests the definition of "Lorentzian space" weakening the notion of Lorentzian length spaces just as much that it allows for a functor from the category of strongly causal Lorentzian manifolds to the corresponding category of…

For non-Archimedean spaces $ X $ and $ Y, $ let $ \mathcal{M}_{\flat } (X), \mathfrak{M}(V \rightarrow W) $ and $ \mathfrak{D}_{\flat }(X, Y) $ be the ballean of $ X $ (the family of the balls in $ X $), the space of mappings from $ X $ to…

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical.…

We study the topology of the space of positive scalar curvature metrics on high dimensional spheres and other spin manifolds. Our main result provides elements of infinite order in higher homotopy and homology groups of these spaces, which,…

We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as…

we show that the space of metrics of positive scalar curvature on a manifold is, when nonempty, homotopy equivalent to a space of metrics of positive scalar curvature that restrict to a fixed metric near a given submanifold of codimension…

An extended object is considered on the Minkowski background in the form of a space-time bag, which is bounded by a certain surface confining an internal substance. An internal metric is built starting from the symmetry principles rather…

For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $\Lambda$. This makes use of an isomorphism of…

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 that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…

In this survey article we discuss certain homotopy coherent enhancements of the coalgebra structure on cellular chains defined by an approximation to the diagonal. Over the rational numbers, $C_\infty$-coalgebra structures control the…

In this paper we combine the notions of partial metric spaces with negative distances, $G_p$-metric spaces and n-metric spaces together into one structure called the partial n-metric spaces. These are generalizations of all the said…

We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully…

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…

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…

We study homogeneous metric spaces, by which we mean connected, locally compact metric spaces whose isometry group acts transitively. After a review of some classical results, we use the Gleason-Iwasawa-Montgomery-Yamabe-Zippin structure…

We show that, given a metric space $(Y,d)$ of curvature bounded from above in the sense of Alexandrov, and a positive Radon measure $\mu$ on $Y$ giving finite mass to bounded sets, the resulting metric measure space $(Y,d,\mu)$ is…

Cauchy-de Branges spaces are Hilbert spaces of entire functions defined in terms of Cauchy transforms of discrete measures on the plane and generalizing the classical de Branges theory. We consider extensions of two important properties of…