# Functors Between Metric-Enriched Categories: Is This A Stupid Idea?

2016/11/21 Leave a comment

*Note:* I’m hoping to get some comments about this, so if you have some thoughts, please leave a comment.

Let **Met** denote the category whose objects consist of metric spaces (for convenience, we will allow metrics to take the value of infinity) and whose morphisms are (weakly) contractive maps (aka short maps, nonexpansive maps, 1-Lipschitz maps), or more precisely functions satisfying . **Met** is a monoidal category where is the product space with metric given by (the identity object is the singleton).

It is my (perhaps mistaken) opinion that a lot of functional analysis can be done using categories enriched in **Met**. (Actually, I think that for more generality, one ought to replace metric spaces with semi-metric spaces (aka quasi-metric spaces) where distinct elements can have zero distance. It may also be possible that Lawvere metric spaces are the appropriate choice here, but I’m not yet convinced of this.) Of course, one “trivial” yet important example is using the discrete metric. So for any two objects in a locally small category, we can define a metric on by $d(f,g) = 1$ if $f\neq g$ and $d(f,g) = 0$ if $f = g$.

A category enriched in **Met** enables one to talk about approximately commuting diagrams. This has been explored in approximate Fraïssé limits, though I don’t know enough logic to understand it.

Given two categories enriched in **Met**, we can define a type of continuity (except that word’s already taken) where a functor is “continuous” if for any , there exists such that for any objects and any morphisms , if , then .

Apologies for the underdeveloped ideas, I have been thinking about this for quite a while (throughout my time as a graduate student) and I have some trouble formulating what I want to say. Talking to a few people about this did not generate a terrible amount of interest, but I was curious if people had any insight as to:

- Has there been any work done along these lines?
- Do you think this might be a potentially interesting idea?

My category theory is limited, and what I’ve learned does not seem to have this type of idea in mind, but I’d love to hear some thoughts!