English
Related papers

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

200 papers

We study the limits of sequences of spheres and complex projective spaces with unbounded dimensions. A sequence of spheres (resp. complex projective spaces) either is a Levy family, infinitely dissipates, or converges to (resp. the Hopf…

Metric Geometry · Mathematics 2014-02-05 Takashi Shioya

Three themes of general topology: quotient spaces; absolute retracts; and inverse limits - are reapproached here in the setting of metrizable uniform spaces, with an eye to applications in geometric and algebraic topology. The results…

Geometric Topology · Mathematics 2022-11-21 Sergey A. Melikhov

We consider generalized metric spaces taking distances in an arbitrary ordered commutative monoid, and investigate when a class $\mathcal{K}$ of finite generalized metric spaces satisfies the Hrushovski extension property: for any…

Logic · Mathematics 2020-05-22 Gabriel Conant

In this work, we relate recent work of Yuan--Zhang and Song on adelic line bundles over quasi-projective arithmetic varieties to recent advances in pluripotential theory on global Berkovich spaces from Pille-Schneider. In particular, we…

Algebraic Geometry · Mathematics 2025-07-15 Jackson S. Morrow

Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…

Category Theory · Mathematics 2026-02-06 J. Adámek , M. Dostál , J. Velebil

Nearly Frobenius structures and 2-dimensional Almost TQFTs were introduced and shown to be in categorical equivalence in arXiv:1907.05470 in the attempt to extend the Atiyah-Segal's definition to the category of infinite dimensional vector…

Algebraic Geometry · Mathematics 2025-11-14 William Davis , Olivia Dumitrescu

We modify the notion of a Fra\"iss\'e class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fra\"iss\'e limits. Furthermore,…

Logic · Mathematics 2019-08-06 Olga Kharlampovich , Alexei Myasnikov , Rizos Sklinos

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces…

Category Theory · Mathematics 2008-07-28 Maria Manuel Clementino , Dirk Hofmann

The paper is in essence a survey of categories having $\phi$-weighted colimits for all the weights $\phi$ in some class $\Phi$. We introduce the class $\Phi^+$ of {\em $\Phi$-flat} weights which are those $\psi$ for which $\psi$-colimits…

Category Theory · Mathematics 2007-05-23 G. M. Kelly , V. Schmitt

We introduce and describe the $2$-category $\mathsf{Grt}_{\flat}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally presentable linear categories $\boxtimes$ restricts nicely to…

Algebraic Geometry · Mathematics 2025-08-05 Ivan Di Liberti , Julia Ramos González

We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…

Category Theory · Mathematics 2012-02-20 Stephen Lack , Michael Shulman

The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…

Category Theory · Mathematics 2019-08-13 Willian Ribeiro

A new method of metric space investigation, based on classification of its finite subspaces, is suggested. It admits to derive information on metric space properties which is encoded in metric. The method describes geometry in terms of only…

Metric Geometry · Mathematics 2007-05-23 Yuri A. Rylov

It is shown that every continuous homomorphism of Arens-Michael algebras can be obtained as the limit of a morphism of certain projective systems consisting of Fr\'{e}chet algebras. Based on this we prove that a complemented subalgebra of…

Functional Analysis · Mathematics 2007-05-23 Alex Chigogidze

We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored…

Category Theory · Mathematics 2025-08-22 Hadrian Heine

We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of…

Category Theory · Mathematics 2024-09-04 Adrian Miranda

We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of…

Logic · Mathematics 2019-01-28 Sergey Sudoplatov

A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…

Category Theory · Mathematics 2022-08-03 Matteo Di Domenico

The purpose of this article is to develop a general parametric estimation theory that allows the derivation of the limit distribution of estimators in non-regular models where the true parameter value may lie on the boundary of the…

Statistics Theory · Mathematics 2022-11-28 Junichiro Yoshida , Nakahiro Yoshida

Borgs, Chayes, Cohn and Holden (2016+) recently extended the definition of graphons from probability spaces to arbitrary $\sigma$-finite measure spaces, in order to study limits of sparse graphs. They also extended the definition of the cut…

Combinatorics · Mathematics 2016-08-17 Svante Janson