Extending set functors to generalised metric spaces

Adriana Balan, Alexander Kurz, Jiří Velebil

For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type c…