pith. sign in

arxiv: 2404.09032 · v4 · submitted 2024-04-13 · 🧮 math.CT · math.FA· math.GN

Cauchy convergence in V-normed categories

Maria Manuel Clementino , Dirk Hofmann , Walter Tholen This is my paper

Pith reviewed 2026-05-24 02:17 UTC · model grok-4.3

classification 🧮 math.CT math.FAmath.GN MSC 18D20
keywords V-normed categoriesCauchy convergenceCauchy cocompletenessenriched category theoryweighted colimitsquantale Vfixed point theoremnormed sets
0
0 comments X

The pith

All V-normed categories admit Cauchy cocompletions of the correct size.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines Cauchy convergence and cocompleteness for V-normed categories by treating them as categories enriched in the monoidal-closed category of normed sets. A sympathetic reader would care because the definitions recover the expected completion behavior for metric spaces while extending uniformly to larger structures such as categories of normed vector spaces. The central step is to observe that the paper's normed colimit is a special case of the weighted colimit of enriched category theory. This observation yields the existence of the cocompletions for every V-normed category once the underlying quantale V meets a few mild extra conditions. The same enrichment also produces a fixed-point theorem for contractive endofunctors on any Cauchy-cocomplete normed category.

Core claim

The authors claim that every V-normed category possesses a Cauchy cocompletion of the correct size. They reach this conclusion by showing that their notion of normed colimit is subsumed by the weighted colimit of enriched category theory, which supplies the necessary universal property and size control. Under light extra assumptions on the commutative quantale V, the base normed category of V-normed sets and all its presheaf categories are Cauchy cocomplete. As a further consequence, every contractive endofunctor of a Cauchy-cocomplete normed category has a fixed point.

What carries the argument

The normed colimit, shown to be subsumed by the weighted colimit of enriched category theory.

If this is right

  • Every V-normed category possesses a Cauchy cocompletion of the correct size.
  • Contractive endofunctors of Cauchy-cocomplete normed categories have fixed points.
  • When V meets the extra properties, the normed category of V-normed sets is Cauchy cocomplete.
  • All presheaf categories over that base category are likewise Cauchy cocomplete.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The general cocompletion result applies directly to the categories of semi-normed vector spaces and generalized metric spaces that the paper treats as key running examples.
  • The fixed-point theorem supplies a categorical version of the classical Banach theorem that covers settings beyond ordinary metric spaces.
  • The same enrichment technique could be tested on other monoidal-closed base categories to produce analogous convergence notions.

Load-bearing premise

The quantale V satisfies a couple of light alternative extra properties so that the normed category of V-normed sets and its presheaf categories are Cauchy cocomplete.

What would settle it

An explicit V-normed category that fails to possess a Cauchy cocompletion of the correct size, or a contractive endofunctor on a Cauchy-cocomplete normed category that lacks a fixed point.

read the original abstract

Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which 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. Our notions largely lead to the anticipated outcomes when considering individual metric spaces as small normed categories, but they can be challenging when considering some large categories, like those of semi-normed or normed vector spaces and all linear maps, or of generalized metric spaces and all mappings. These are the key example categories discussed in detail in this paper. Working with a general commutative quantale V as a value recipient for norms, rather than only with Lawvere's quantale of the extended real half-line, we observe that the categorically atypical structure gap between objects and morphisms in the example categories is already present in the underlying normed category of the enriching category of V-normed sets. To show that this normed category and, in fact, all presheaf categories over it, are Cauchy cocomplete, we assume the quantale V to satisfy a couple of light alternative extra properties. Of utmost importance to the general theory is the fact that our notion of normed colimit is subsumed by the notion of weighted colimit of enriched category theory. With this theory we are able to prove that all V-normed categories have correct-size Cauchy cocompletions. We also prove a Banach Fixed Point Theorem for contractive endofunctors of Cauchy cocomplete normed categories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper introduces notions of Cauchy convergence and cocompleteness for V-normed categories by viewing them as categories enriched over the monoidal-closed category of normed sets (with V a commutative quantale). It treats normed colimits as instances of weighted colimits from enriched category theory, proves that every V-normed category admits a correct-size Cauchy cocompletion, and establishes a Banach fixed-point theorem for contractive endofunctors on Cauchy-cocomplete normed categories. The base case—that the category of V-normed sets and all its presheaf categories are Cauchy cocomplete—is obtained by imposing two light extra properties on V; the general results then follow from standard enriched-categorical machinery. Detailed examples include metric spaces, semi-normed vector spaces, and generalized metric spaces.

Significance. If the derivations hold, the work supplies a clean, size-controlled theory of Cauchy cocompleteness that directly generalizes the classical metric-space case while remaining inside the framework of enriched category theory. The explicit reduction of normed colimits to weighted colimits is a notable strength, as is the parameter-light character of the extra assumptions on V. The fixed-point theorem furnishes a categorical Banach theorem without additional completeness hypotheses beyond Cauchy cocompleteness. These features make the manuscript a useful reference for researchers working at the interface of enriched categories and metric geometry.

minor comments (2)
  1. The two light extra properties on V are invoked repeatedly (e.g., to obtain Cauchy cocompleteness of the base category and its presheaves) but are not collected in a single numbered assumption or definition early in the text; a dedicated paragraph or boxed statement would improve readability.
  2. Notation for the enriching category of V-normed sets (and its norm) is introduced gradually; a consolidated table of notation at the end of §2 would help readers track the distinction between the underlying quantale V and the normed-set enrichment.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their thorough and positive evaluation of the manuscript. The recommendation to accept is appreciated, and we are pleased that the contributions to Cauchy cocompleteness in V-normed categories were viewed favorably.

Circularity Check

0 steps flagged

Derivation self-contained via standard enriched category theory

full rationale

The paper defines Cauchy convergence and cocompleteness for V-normed categories by treating them as categories enriched over the monoidal-closed category of V-normed sets. It then observes that normed colimits are instances of weighted colimits, allowing the general existence of correct-size Cauchy cocompletions to follow directly from the standard machinery of enriched category theory. The base case (Cauchy cocompleteness of the category of V-normed sets and its presheaf categories) is established under explicit light extra assumptions on the quantale V, without any fitted parameters, self-referential equations, or load-bearing self-citations that reduce the theorems to their inputs by construction. No steps match the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces new definitions of Cauchy convergence and cocompleteness. It relies on the standard machinery of enriched category theory and adds two light extra properties on the quantale V as domain assumptions needed for the cocompleteness statements. No free parameters or new postulated entities appear.

axioms (2)
  • ad hoc to paper The quantale V satisfies a couple of light alternative extra properties.
    Invoked to prove that the normed category of V-normed sets and all presheaf categories over it are Cauchy cocomplete.
  • domain assumption The normed colimit is subsumed by the weighted colimit of enriched category theory.
    Described as of utmost importance to the general theory.

pith-pipeline@v0.9.0 · 5815 in / 1548 out tokens · 40953 ms · 2026-05-24T02:17:47.456455+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · 2 internal anchors

  1. [1]

    Adámek, H

    J. Adámek, H. Herrlich, G.E. Strecker.Abstract and Concrete Categories. John Wiley & Sons, New York,

    work page

  2. [2]

    Republished in:Reprints in Theory and Applications of Categories17, 2006

    work page 2006

  3. [3]

    Adámek, M

    J. Adámek, M. Huˇ sek, J. Rosický, W. Tholen. Smallness in Topology.Quaestiones Mathematicae46:13–39, 2023

    work page 2023

  4. [4]

    Adámek and J

    J. Adámek and J. Rosický. Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge, 1994

    work page 1994

  5. [5]

    Akhvlediani, M.M

    A. Akhvlediani, M.M. Clementino, W. Tholen. On the categorical meaning of Hausdorff and Gromov dis- tances, I. Topology and its Applications157:1275–1295, 2010

    work page 2010

  6. [6]

    Albert and G.M

    M.H. Albert and G.M. Kelly. The closure of a class of colimits.Journal of Pure and Applied Algebra51:1–17, 1988

    work page 1988

  7. [7]

    Ánh and R

    P.N. Ánh and R. Wiegandt.Compactness in categories and interpretations. In: S.K. Jain and S. Tariq Rizvi (editors), Advances in Ring Theory. Springer, New York, 1997, pp. 17–30

    work page 1997

  8. [8]

    Benkhadra and I

    A. Benkhadra and I. Stubbe.A logical analysis of fixpoint theorems. arXiv:2211.01782v1 [mathCT], 2022. 48

    work page arXiv 2022

  9. [9]

    Betti and M

    R. Betti and M. Galuzzi. Categorie normate.Bollettino dell’Unione Matematica Italiana4(11):66–75, 1975

    work page 1975

  10. [10]

    Bingham and A.J

    N.H. Bingham and A.J. Ostaszewski. Normed versus topological groups: dichotomy and duality.Disserta- tiones Mathematicae472:1–138, 2010

    work page 2010

  11. [11]

    Bonsangue, F

    M.M. Bonsangue, F. van Breugel, J.J.M. Rutten. Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding.Theoretical Computer Science193:1–51, 1998

    work page 1998

  12. [12]

    F. Borceux. Handbook of Categorical Algebra 2. Categories and Structures. Cambridge University Press, Cambridge, 1994

    work page 1994

  13. [13]

    Borceux and D

    F. Borceux and D. Dejean. Cauchy completion in category theory.Cahiers de Topologie Géometrie Différen- tielle Catégoriques27:133–146, 1986

    work page 1986

  14. [14]

    Bourbaki.Elements of Mathematics

    N. Bourbaki.Elements of Mathematics. General Topology, Part 1. Springer. English translation from French, originally published by Hermann, Paris, 1966

    work page 1966

  15. [15]

    Interleaving and Gromov-Hausdorff distance

    B. Bubenik, V. de Silva, J. Scott.Interleaving and Gromov-Hausdorff distances. arXiv:1707.06288 [mathCT], 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  16. [16]

    Flagg, Completeness in continuity spaces

    R.C. Flagg, Completeness in continuity spaces. In: R.A.G. Seely (editor), Category Theory 1991: Proceed- ings of the International Summer Category Theory Meeting, Montreal 1991, vol. 13 of CMS Conference Proceedings, American Mathematical Society, Providence R.I., 1992

    work page 1991

  17. [17]

    R.C. Flagg. Quantales and continuity spaces.Algebra Universalis37(3):257–276, 1997

    work page 1997

  18. [18]

    Gabriel and F

    P. Gabriel and F. Ulmer. Lokal präsentierbare Kategorien. Lecture Notes in Mathematics 221, Springer- Verlag, Berlin, 1971

    work page 1971

  19. [19]

    M. Grandis. Categories, norms and weights. Journal of Homotopy and Related Structures2(2):171–186, 2007

    work page 2007

  20. [20]

    Gutiérrez-García, U

    J. Gutiérrez-García, U. Höhle, T. Kubiak. A theory of quantale-enriched dcpos and their topologization. Fuzzy Sets and Systems444:103–130, 2022

    work page 2022

  21. [21]

    Gutiérrez-García and U

    J. Gutiérrez-García and U. Höhle. Unitally nondistributive quantales. Portugaliae Mathematica, DOI: 10.4171/PM/2140, 2025

    work page doi:10.4171/pm/2140 2025

  22. [22]

    Hemelaer and M

    J. Hemelaer and M. Rogers. Geometric morphisms between toposes of monoid actions: factorization systems. Theory and Applications of Categories40(4):80–129, 2024

    work page 2024

  23. [23]

    P.R. Halmos. Lectures on Boolean Algebras. Van Nostrand, New York, 1963. Reprinted by Springer-Verlag, New York, 1974

    work page 1963

  24. [24]

    Hofmann and P

    D. Hofmann and P. Nora. Hausdorff coalgebras.Applied Categorical Structures28:773–806, 2020

    work page 2020

  25. [25]

    Hofmann and C.D

    D. Hofmann and C.D. Reis. Probabilistic metric spaces as enriched categories. Fuzzy Sets and Systems 210:1–21, 2013

    work page 2013

  26. [26]

    Hofmann, G.J

    D. Hofmann, G.J. Seal, W. Tholen (editors).Monoidal Topology. A Categorical Approach to Order, Metric, and Topology.Cambridge University Press, Cambridge, 2014

    work page 2014

  27. [27]

    Hofmann and W

    D. Hofmann and W. Tholen. Lawvere completion via closure.Applied Categorical Structures18:259–287, 2010

    work page 2010

  28. [28]

    Insall and D

    M. Insall and D. Luckhardt. Norms on categories and analogs of the Schröder-Bernstein Theorem. arXiv:2105.06832v2 [math.CT], 2021

    work page arXiv 2021

  29. [29]

    G.M. Kelly. Basic Concepts of Enriched Category Theory.Cambridge University Press, Cambridge, 1982. Republished in: Reprints in Theory and Applications of Categories10, 2005. 49

    work page 1982

  30. [30]

    Kelly and S

    G.M. Kelly and S. Lack.V-Cat is locally presentable or locally bounded ifV is so. Theory and Applications of Categories8(23):555–575, 2001

    work page 2001

  31. [31]

    Kelly and V

    G.M. Kelly and V. Schmitt. Notes on enriched categories with colimits of some class.Theory and Applications of Categories14(17):399–423, 2005

    work page 2005

  32. [32]

    Koppelberg.Handbook of Boolean Algebras, Volume 1(edited by J.D

    S. Koppelberg.Handbook of Boolean Algebras, Volume 1(edited by J.D. Monk). North-Holland, Amsterdam, 1989

    work page 1989

  33. [33]

    Kostanek and P

    M. Kostanek and P. Waszkiewicz.Reconciliation of elementary order and metric fixpoint theorems(unpub- lished, available at https://jakubkozik.staff.tcs.uj.edu.pl/PQW/mpfix2.pdf ). Talk presented at the workshop on Applications of Algebra in Logic and Computer Science(AALCS’11), Zakopane, Poland, 2011

    work page 2011

  34. [34]

    Categories with norms

    W. Kubiś.Categories with norms. arXiv:1705.10189v1 [math.CT], 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  35. [35]

    F.W. Lawvere. Metric spaces, generalized logic, and closed categories.Rendiconti del Seminario Matematico e Fisico di Milano43:135–166, 1973. Republished in:Reprints in Theory and Applications of Categories1, 2002

    work page 1973

  36. [36]

    F.W. Lawvere. Taking categories seriously.Revista Colombiana de Matemáticas20:147–178, 1986. Repub- lished in: Reprints in Theory and Applications of Categories8, 2005

    work page 1986

  37. [37]

    Loregian

    F. Loregian. (Co)end Calculus. Cambridge University Press, Cambridge, 2021

    work page 2021

  38. [38]

    Mac Lane.Categories for the Working Mathematician, Second Edition

    S. Mac Lane.Categories for the Working Mathematician, Second Edition. Springer-Verlag, New York, 1998

    work page 1998

  39. [39]

    A. Neeman. Metrics on triangulated categories.Journal of Pure and Applied Algebra224(4):106206, 2020

    work page 2020

  40. [40]

    P. Perrone. Lifting couplings in Wasserstein spaces. Logic in Computer ScienceDOI:arXiv2110.06591v2 [mathCT], 2021

    work page arXiv 2021

  41. [41]

    Semadeni

    Z. Semadeni. Banach Spaces of Continuous Functions. PWN–Polish Scientific Publishers, Warszawa, 1971

    work page 1971

  42. [42]

    D. Spreen. On effective topological spaces.The Journal of Symbolic Logic63:185–221, 1998

    work page 1998

  43. [43]

    Hausdorff distance

    I. Stubbe. “Hausdorff distance” via conical cocompletion.Cahiers de Topologie Géometrie Différentielle Catégoriques 51(1):51–76, 2010

    work page 2010

  44. [44]

    S. Vickers. Localic completion of generalized metric spaces. I. Theory and Applications of Categories 14(15):328–356, 2005

    work page 2005

  45. [45]

    Waszkiewicz.Common patterns for metric and ordered fixed point theorems

    P. Waszkiewicz.Common patterns for metric and ordered fixed point theorems. In: L. Santocanale (editor), Proceedings of the 7th Workshop onFixed Points in Computer Science(FICS 2010), pp 83–87, hal-00512377, Brno, Czech Republic, 2010

    work page 2010

  46. [46]

    R.J. Wood. Ordered sets via adjunction. In: M.C. Pedicchio, W. Tholen (editors),Categorical Foundations, Cambridge University Press, Cambridge, 2004, pp. 5–47. 50

    work page 2004