TY - RPRT TI - Notions of Cauchy completeness for normed categories AU - Dirk Hofmann AU - Walter Tholen PY - 2025 UR - https://arxiv.org/abs/2510.00912 ID - 2510.00912 ER -