Search

• < Previous
• 1
• Next >

Extending set functors to generalised metric spaces

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 constructor $T$ (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor&nbsp;[&hellip;]