Related papers: Cauchy convergence in V-normed categories
As already mentioned by Lawvere in his 1973 paper, the characterisation of Cauchy completeness of metric spaces in terms of representability of adjoint distributors amounts to the idempotent-split property of an ordinary category when the…
It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper we introduce the corresponding notion of Lawvere…
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with…
We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids,…
Following Lawvere's description of metric spaces using enriched category theory, we introduce a change in the base of enrichment that allows description of some aspects of (relativistic) causal spaces. All such spaces are Cauchy complete,…
We study a metric-like structure on categories, showing that the concept of the limit of a sequence in a metric space and the concept of the colimit of a sequence in a category have a common generalization. The main concept is a norm on a…
Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with…
Lawvere's generalised the notion of complete metric space to the field of enriched categories: an enriched category is said to be Cauchy-complete if every left adjoint bimodule into it is represented by an enriched functor. Looking at this…
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…
In the paper where he defined the Cauchy completion of a $\mathscr{V}$-category, Lawvere also defined a condition on a $\mathscr{V}$-functor which made it analogous to a map of metric spaces whose image is topologically dense in its…
We introduce a product in all complex normed vector spaces, which generalizes the inner product of complex inner product spaces. Naturally the question occurs whether the Cauchy-Schwarz inequality is fulfilled. We provide a positive answer.…
The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically…
We prove that the sequence of cones of metric measure spaces converges if the sequence of base spaces converges in Gromov's box, concentration, and weak topologies. As an application, we show that the generalized Cauchy distribution with…
We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…
We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment…
We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary endofunctors of Set. We identify finitary monads with…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
The notion of almost everywhere convergence has been generalized to vector lattices as unbounded order convergence, which proves a very useful tool in the theory of vector and Banach lattices. In this short note, we establish some new…
We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…
This paper investigates Smyth completeness of categories enriched over a quantale obtained by equipping the unit interval of real numbers with a continuous t-norm. A real-enriched category is Smyth-complete if each of its forward Cauchy…