Related papers: Homotopical models for metric spaces and completen…

We prove metric rigidity for complete manifolds supporting solutions of certain second order differential systems, thus extending classical works on a characterization of space-forms. In the route, we also discover new characterizations of…

Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are…

For a given group $G$ and a collection of subgroups $\mathcal F$ of $G$, we show that there exist a left induced model structure on the category of right $G$-simplicial sets, in which the weak equivalences and cofibrations are the maps that…

We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly…

We study algebraic and geometric properties of metric spaces endowed with dilatation structures, which are emergent during the passage through smaller and smaller scales. In the limit we obtain a generalization of metric affine geometry,…

In this paper we show an abundance of complete K\"ahler metrics with negative holomorphic bisectional curvature on total spaces of certain vector bundles. Assume that such total spaces are endowed with a wider class of nonpositively curved…

After explaining the importance of model categories in abstract homotopy theory, we provide concrete examples demonstrating that various categories of manifolds do not have all finite colimits, and hence cannot be model categories. We then…

In this paper, we introduce a new class of structured spaces which is locally modeled by Costello's L-infinity spaces. This provides an alternative approach to study the derived geometric structures in the algebraic, analytic, or smooth…

We investigate the interrelations between the metric properties, order properties and combinatorial properties of the set of balls in totally bounded ultrametric space. In particular, the Gurvich-Vyalyi representation of finite, ultrametric…

We construct smooth bundles with base and fiber products of two spheres whose total spaces have non-vanishing $\hat{A}$-genus. We then use these bundles to locate non-trivial rational homotopy groups of spaces of Riemannian metrics with…

We prove that two homogeneous ultra-metric spaces $X,Y$ are coarsely equivalent if and only if $\mathrm{Ent}^\sharp(X)=\mathrm{Ent}^\sharp(Y)$ where $\mathrm{Ent}^\sharp(X)$ is the so-called sharp entropy of $X$. This classification implies…

In this paper, we justify and make precise an elementary approach that establishes the existence of (co)limits in $\mathbf{Cat}$. This approach, while conceptually evident, has not been made fully explicit or systematically described in the…

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 study model-theoretical structures for prototypical physical systems. First, a summary of the model theory of sheaves, adapted to the metric case, is presented. In particular, we provide conditions for a generalization of the generic…

Let $\mathcal{Z}$ be a spin $4$-manifold carrying a parallel spinor and $M\hookrightarrow \mathcal{Z}$ a hypersurface. The second fundamental form of the embedding induces a flat metric connection on $TM$. Such flat connections satisfy a…

We show that the categories PsTop and Lim of pseudotopological spaces and limit spaces, respectively, admit cofibration category structures, and that PsTop admits a model category structure, giving several ways to simultaneously study the…

We construct a new model structure on the category of dg presheaves over a topological space $X$, obtained through the right Bousfield localization of the local projective model structure. The motivation for this construction arises from…

We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of fibrations with fiber an Eilenberg-Mac Lane space are…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

Ramsey theory looks for regularities in large objects. Model theory studies algebraic structures as models of theories. The structural Ramsey theory combines these two fields and is concerned with Ramsey-type questions about certain…