English
Related papers

Related papers: Probabilistic Metric Spaces as enriched categories

200 papers

Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…

Logic in Computer Science · Computer Science 2021-04-28 Paolo Pistone

We use a generic notion of flatness in the enriched context to define various completions of metric spaces -- enrichments over [0,\infty] -- and preorders -- enrichments over 2. We characterize the weights of colimits commuting in…

Category Theory · Mathematics 2007-05-23 Vincent Schmitt

In this research article, we have primarily focused on the circumstantial investigation of deferred statistical convergence of sequences and investigated some fundamental results compatible with the structure of a probabilistic normed…

Functional Analysis · Mathematics 2024-08-14 Nesar Hossain , Rahul Mondal

By introducing the concept of quantaloidal completions for an order-enriched category, relationships between the category of quantaloids and the category of order-enriched categories are studied. It is proved that quantaloidal completions…

Category Theory · Mathematics 2023-06-22 Min Liu , Yulin Li

The category of metric spaces is a subcategory of quasi-metric spaces. In this paper the notion of entropy for the continuous maps of a quasi-metric space is extended via spanning and separated sets. Moreover, two metric spaces that are…

Dynamical Systems · Mathematics 2015-11-09 Yamin Sayyari , Mohammadreza Molaei , Saeed M. Moghayer

In this paper, we provide a comprehensive analysis of involutive quantales, with a particular focus on quantic frames. We extend the axiomatic foundations of quantale-enriched topological spaces to include closure under the anti-homomorphic…

Operator Algebras · Mathematics 2025-09-11 Javier Gutiérrez García , Ulrich Höhle

These lecture notes contain an introduction to some of the fundamental ideas and results in analysis and probability on infinite-dimensional spaces, mainly Gaussian measures on Banach spaces. They originated as the notes for a topics course…

Probability · Mathematics 2016-09-08 Nathaniel Eldredge

This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET) with the Enriched Lawvere Theories. We extend QETs to Metric…

Logic in Computer Science · Computer Science 2025-09-18 Radu Mardare , Neil Ghani , Eigil Rischel

In this paper using a non-negative regular summability matrix $\mathcal{A}$ and a non-trivial admissible ideal $\mathcal{I}$ in $\mathbb{N}$ we study some basic properties of strong $\mathcal{A}^{\mathcal{I}}$-statistical convergence and…

Functional Analysis · Mathematics 2022-08-08 Prasanta Malik , Samiran Das

In this work infinitely divisible cylindrical probability measures on arbitrary Banach spaces are introduced. The class of infinitely divisible cylindrical probability measures is described in terms of their characteristics, a…

Probability · Mathematics 2011-11-24 Markus Riedle

We discuss a natural extension of Gilles Pisier's approach to the study of measure concentration, isoperimetry and Poincar\'e-type inequalities. This approach allows one to explore counterparts of various results about Gaussian measure in…

Probability · Mathematics 2023-11-08 Sergey G. Bobkov , Bruno Volzone

We study the completeness and ultracompleteness numbers of a convergence space. In the case of a completely regular topological space, the completeness number is countable if and only if the space is $\v{C}$ech-complete, and the…

General Topology · Mathematics 2020-01-01 Frédéric Mynard

This paper studies a general notion of flatness in the enriched context: P-flatness where the parameter P stands for a class of presheaves. One obtains a completion of a category A by considering the category Flat_P(A) of P-flat presheaves…

Category Theory · Mathematics 2007-05-23 Vincent Schmitt

Let $X$ be a Banach space and $(\Omega,\Sigma)$ be a measure space. We provide a characterization of sequences in the space of $X$-valued countably additive measures on $\Omega,\Sigma)$ of bounded variation that generate complemented copies…

Functional Analysis · Mathematics 2016-09-06 Narcisse Randrianantoanina

In this article, the author proposes another way to define the completion of a metric space, which is different from the classical one via the dense property, and prove the equivalence between two definitions. This definition is based on…

Functional Analysis · Mathematics 2011-12-06 Cheng Hao

The focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived…

Representation Theory · Mathematics 2026-01-28 Cyril Matoušek

For a small quantaloid $\mathcal{Q}$, we introduce $\mathcal{M}$-(co)complete $\mathcal{Q}$-categories, i.e., (co)complete $\mathcal{Q}$-categories up to Morita equivalence, as Eilenberg--Moore algebras of the presheaf monad on the category…

Category Theory · Mathematics 2025-11-24 Xiaoye Tang

Spaces of quasi-invariant measures supplied with different topologies are studied. Their embeddings, projective decompositions, conditions for their metrizability are investigated. Theorems about convergence of nets of quasi-invariant…

Probability · Mathematics 2016-06-08 Sergey Victor Ludkowski

We construct an exact completion for regular categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets and monotone functions by employing a suitable calculus of relations. We then characterize the…

Category Theory · Mathematics 2021-07-30 Vasileios Aravantinos-Sotiropoulos

Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion.…

Category Theory · Mathematics 2007-05-23 Isar Stubbe