When replacing the non-negative real numbers with their addition by a commutative quantale
, under a metric lens one may then view small
-categories as sets that come with a
-valued distance function. The ensuing category
is well known to be a concrete topological category that is symmetric monoidal closed. In this
... [Show full abstract] paper we show which concrete symmetric monoidal-closed topological categories may be fully and bireflectively embedded into , for some .