Cauchy convergence in \(\mathcal V\)-normed categories (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Cauchy convergence in \(\mathcal V\)-normed categories
Publication Date: 2024-04-16
Authors: - Maria Manuel Clementino
- Dirk Hofmann
- Walter Tholen
Abstract:

Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness for such categories that differ from proposals in previous works. Key to our approach is to treat them consequentially as categories enriched in the monoidal-closed category of normed sets, i.e., of sets which come with a norm function. Our notions largely lead to the anticipated outcomes when considering individual metric spaces or normed groups as small normed categories (in fact, groupoids), but they can be challenging when trying to establish them for large categories, such as those of seminormed or normed vector spaces and all linear maps as morphisms, not just because norms of vectors need to be allowed to have value \( \infty \) in order to guarantee the existence of colimits of (sufficiently many) infinite sequences. These categories, along with categories of generalized metric spaces, are the key example categories discussed in detail in this paper. Working with a general commutative quantale \( \mathcal V \) as a value recipient for norms, rather than only with Lawvere's quantale \( \mathcal R_+ \) of the extended real half-line, we observe that the categorically atypical, and perhaps even irritating, structure gap between objects and morphisms in the example categories is already present in the underlying normed category of the enriching category of \( \mathcal V \)-normed sets. To show that this normed category and, in fact, all presheaf categories over it, are Cauchy cocomplete, we assume the quantale \( \mathcal V \) to satisfy a couple of light alternative extra properties which, however, are satisfied in all instances of interest to us. Of utmost importance to the general theory is the fact that our notion of Cauchy convergence is subsumed by the notion of weighted colimit of enriched category theory. With this theory and, in particular, with results of Albert, Kelly and Schmitt, we are able to prove that all \( \mathcal V \)-normed categories have correct-size Cauchy cocompletions, for \( \mathcal V \) satisfying our light alternative assumptions. We also show that our notions are suitable to prove a Banach Fixed Point Theorem for contractive endofunctors of Cauchy cocomplete normed categories.

Institution: DMUC 24-23
Online version: http://www.mat.uc.pt...prints/eng_2024.html
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support