Related papers: Cauchy convergence in V-normed categories

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

Using the technique of enrichment of contractive type mappings by Krasnoselskij averaging, introduced in [Berinde, V., {\it Approximating fixed points of enriched nonexpansive mappings by Krasnoselskij iteration in Hilbert spaces},…

Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads…

This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…

We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small,"…

Gravitational waves provide a powerful enhancement to our understanding of fundamental physics. To make the most of their detection we need to accurately model the entire process of their emission and propagation toward interferometers.…

For a Dirac theory of quantum gravity obtained from the refined algebraic quantization procedure, we propose a quantum notion of Cauchy surfaces. In such a theory, there is a kernel projector for the quantized scalar and momentum…

This article presents a deep investigation of fixed points for multivalued weak contractions in cone metric spaces. We extend Berinde weak contraction principles to the multivalued setting in cone metric spaces, developing existence,…

Under a minimum of assumptions, we develop in generality the basic theory of universal algebra in a symmetric monoidal closed category $\mathcal{V}$ with respect to a specified system of arities $j:\mathcal{J} \hookrightarrow \mathcal{V}$.…

We introduce a new topological property called (*) and the corresponding class of topological spaces, which includes spaces with $G_\delta$-diagonals and Gruenhage spaces. Using (*), we characterise those Banach spaces which admit…

In the paper, the author establishes an integral representation for Cauchy numbers of the second kind, finds the complete monotonicity, minimality, and logarithmic convexity of Cauchy numbers of the second kind, and presents some…

We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…

Relatively recently it was proved that if $\Gamma$ is an arbitrary set, then any equivalent norm on $c_0(\Gamma)$ can be approximated uniformly on bounded sets by polyhedral norms and $C^\infty$ smooth norms, with arbitrary precision. We…

This paper addresses the study of novel constructions of variational analysis and generalized differentiation that are appropriate for characterizing robust stability properties of constrained set-valued mappings/multifunctions between…

We revisit Bourgain's 1981 counterexample to the sequential completeness of the `pointwise plus domination' convergence on $\ell_1$ from the perspective of vector lattices. In this setting, we show that for sequences the associated notion…

We study the relationship between almost mathematics, condensed mathematics and the categories of seminormed and Banach modules over a Banach ring $A$, with submetric (norm-decreasing) $A$-module homomorphisms for morphisms. If $A$ is a…

The invertibility hypothesis for a monoidal model category S asks that localizing an S-enriched category with respect to an equivalence results in an weakly equivalent enriched category. This is the most technical among the axioms for S to…

Motivated by problems in which data are given over covering generating families, we suggest a new cohomology theory for diffeological spaces, called diffeological \v{C}ech cohomology, which is an exact $ \partial $-functor of the section…

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

This paper investigates the notion of compact R-continuity and its specifications for set-valued mappings between Banach spaces. We reveal several important properties of compact R-continuity in general settings and show that in finite…