Enriched Categories: Metric Spaces, Monoidal Endofunctors and Lipschitz-Continuous Maps. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T16:40:18Z http://mathoverflow.net/feeds/question/83944 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83944/enriched-categories-metric-spaces-monoidal-endofunctors-and-lipschitz-continuou Enriched Categories: Metric Spaces, Monoidal Endofunctors and Lipschitz-Continuous Maps. Garlef Wegart 2011-12-20T14:09:27Z 2011-12-20T14:09:27Z <p>In the introduction to the <a href="http://tac.mta.ca/tac/reprints/articles/1/tr1abs.html" rel="nofollow">reprint</a> of "Metric spaces, generalized logic and closed categories" Lawvere talks about the following situation:</p> <p>Let $\mathbb R_+$ denote $\mathbb R_{\geq 0}^\infty$. Every lax monoidal endofunctor $\lambda:\mathbb R_+\to\mathbb R_+$ gives rise to an endofunctor $\lambda.:\mathrm{Met}\to\mathrm{Met}$ on the category of generalized metric spaces, again leading to the notion of $\lambda$-Lipschitz-continous maps $$Lip^\lambda(X,Y):=Lip^1(X,\lambda.Y).$$ These are exactly the maps $f:X\to Y$ satisfying $d(x,x')\geq \lambda(d(fx,fx'))$. Lawvere goes on and "<em>suggest a whole family of monoidal structures [on the category of metric spaces] interpolating between</em>" the sum- (aka tensor product) and the max- (aka cartesian product) metric on the product of the underlying sets. He finally relates this to the $$\frac{1}{p}+\frac{1}{q}=1$$ business occuring in analysis.</p> <p><strong>Now for the question</strong>: Has this been worked out somewhere (replacing $\mathbb R_+$ by an arbitrary moinoidal category $\mathcal V$)?</p> <p><strong>Remark</strong>: Concerning the monoidal structures my first idea was to define various adjoints to the hom-like functors $$Lip^\lambda(X,-)$$ but as we don't have $$Lip^\lambda\times Lip^\lambda\to Lip^\lambda$$ but rather $$Lip^\lambda\times Lip^\mu\to Lip^{\mu\circ\lambda}$$ i suspect we should define $X\otimes_\lambda^\mu Y$ by an expression like $$Lip^\lambda(X,Lip^\mu(Y,Z))=:Lip^\lambda(X\otimes_\lambda^\mu Y,Z)$$ (of maybe $Lip^1$ on the right hand side). So instead of various monoidal structures we'd get various tensor products, compatible in some way...</p>