Skip to main content
2 of 2
added 297 characters in body
Reid Barton
  • 25.2k
  • 1
  • 76
  • 133

Categorical duals in Banach spaces

Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".

Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of Banach spaces and linear contractions (with the tensor product described on that page)?

Edit: take n=2, p=1, q=∞. Then the question becomes whether $V \times V$ (which is $V^2$ with the $l_\infty$ norm) is isomorphic to $(\mathbb{R}^2)_\infty \otimes V$. But it seems to me that the functor $V \mapsto V \times V$ does not even commute with coproducts... is that right?

Reid Barton
  • 25.2k
  • 1
  • 76
  • 133