Related papers: Cauchy convergence in V-normed categories
Our main result states that, given a finite-dimensional vector space $E$, the pseudometric defined in the set of continuous quasinorms $\mathcal{Q}_0=\{\|\cdot\|:E\to\mathbb{R}\}$ as $$d(\|\cdot\|_X,\|\cdot\|_Y)=\min\{\mu:\|\cdot\|_X…
The characteristic Cauchy problem of the Einstein field equations has been recently addressed from a completely abstract viewpoint by means of hypersurface data and, in particular, via the notion of double null data. However, this…
The symplectic geometry of a broad class of generally covariant models is studied. The class is restricted so that the gauge group of the models coincides with the Bergmann-Komar group and the analysis can focus on the general covariance. A…
In this paper, we introduce the notions of $\alpha$-quasicomplemented and totally $\alpha$-quasicomplemented subspaces and we established some results under these contexts. We show, for example, that if $X$ is a separable or reflexive…
We describe all left continuous triangular norms for which the category [0,1]-Cat of real-enriched categories and functors is cartesian closed. We furthermore show that the cartesian closedness of [0,1]-Cat is equivalent to the cartesian…
We introduce and study two new relations between function spaces over measure spaces of infinite measure, motivated by the question of establishing compactness. The first relation captures the uniform decay of function (quasi-)norms ``at…
Via the adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Span}(\mathcal V) \to \mathcal V \text{-} \mathsf{Mat} $ and a cartesian monad $ T $ on an extensive category $ \mathcal V $ with finite limits, we construct…
We consider a uniqueness problem concerning the Fourier coefficients of normalized Cauchy transforms. These problems inherently involve proving a simultaneous approximation phenomenon and establishing the existence of cyclic inner functions…
We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…
We investigate Riguet congruences and generalized congruences on a category, focusing on their interrelations from both lattice-theoretic and category-theoretic perspectives. We also characterize functors that are full and surjective on…
In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…
The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in…
We study two classes of linear difference differential equations analogous to Euler-Cauchy ordinary differential equations, but in which multiple arguments are shifted forward or backward by fixed amounts. Special cases of these equations…
In his book on model categories, Hovey asked whether the 2-category $\mathbf{Mod}$ of model categories admits a "model 2-category structure" whose weak equivalences are the Quillen equivalences. We show that $\mathbf{Mod}$ does not have…
There have been a number of generalizations of fixed point results to the so called TVS-cone metric spaces, based on a distance function that takes values in some cone with nonempty interior (solid cone) in some topological vector space. In…
We use the contracting mapping principle for proving that under some mild restrictions the Cauchy problem for quasilinear systems of functional differential equations with retarded arguments has the unique solution. As a consequence from…
While it has become widely appreciated that (higher) gauge theories need, besides their variational phase space data, to be equipped with "flux quantization laws" in generalized differential cohomology, there used to be no general…
This paper studies Yoneda completeness and flat completeness of ordered fuzzy sets valued in the quantale obtained by endowing the unit interval with a continuous triangular norm. Both of these notions are natural extension of directed…
We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative…
In this paper, we study some features of n-normed spaces with respect to norms of its quotient spaces. We define continuous functions with respect to the norms of its quotient spaces and show that all types of continuity are equivalent. We…