Notions of Cauchy completeness for normed categories
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918152476033024 |
|---|---|
| author | Hofmann, Dirk Tholen, Walter |
| author_facet | Hofmann, Dirk Tholen, Walter |
| contents | 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 governing symmetric monoidal-closed category is changed from the extended real half-line to the category of sets. In this paper, for any commutative quantale \(\mathcal{V}\), we extend these two characterisations of Lawvere-style completeness to \(\mathcal{V}\)-normed categories, thus replacing \([0,\infty]\) and \(\mathsf{Set}\) more generally by the category \(\mathsf{Set}{/\!\!/}\mathcal{V}\) of \(\mathcal{V}\)-normed sets. We also establish improvements of recent results regarding the normed convergence of Cauchy sequences in two important \(\mathcal{V}\)-normed categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_00912 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Notions of Cauchy completeness for normed categories Hofmann, Dirk Tholen, Walter Category Theory 18D20, 18D60, 18B35, 54A20 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 governing symmetric monoidal-closed category is changed from the extended real half-line to the category of sets. In this paper, for any commutative quantale \(\mathcal{V}\), we extend these two characterisations of Lawvere-style completeness to \(\mathcal{V}\)-normed categories, thus replacing \([0,\infty]\) and \(\mathsf{Set}\) more generally by the category \(\mathsf{Set}{/\!\!/}\mathcal{V}\) of \(\mathcal{V}\)-normed sets. We also establish improvements of recent results regarding the normed convergence of Cauchy sequences in two important \(\mathcal{V}\)-normed categories. |
| title | Notions of Cauchy completeness for normed categories |
| topic | Category Theory 18D20, 18D60, 18B35, 54A20 |
| url | https://arxiv.org/abs/2510.00912 |