Skip to main content
1 of 2
Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156

My suspicion is "no", because if I recall correctly the map $I \to V \otimes V^*$ naturally lands in the injective tensor product, not the projective tensor product, and it is the latter which appears as the ``correct'' tensor product for the SMC category of Banach spaces and linear contractions.

In the toy example given, $V\oplus V$ with the sup norm is the same as continuous maps from a 2-point set to $V$, equipped with sup-norm, and I'm pretty sure that this is indeed isometrically linearly isomorphic to ${\mathbb R}^2 \check{\otimes} V$ i.e. the injective tensor product.

Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156