2 papers
math.CT2025
Notions of Cauchy completeness for normed categories
Dirk Hofmann, Walter Tholen
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…
math.CT2024
Cauchy convergence in V-normed categories
Maria Manuel Clementino, Dirk Hofmann, Walter Tholen
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…