Which Banach spaces have categorical duals? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T20:43:45Z http://mathoverflow.net/feeds/question/10797 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/10797/which-banach-spaces-have-categorical-duals Which Banach spaces have categorical duals? Andrew Stacey 2010-01-05T11:07:34Z 2010-02-05T18:14:32Z <p>I was looking carefully at all the definitions, trying to understand exactly what was going on in <a href="http://mathoverflow.net/questions/10789/categorical-duals-in-banach-spaces" rel="nofollow">this question on categorical duals in Banach spaces</a>. It seems that in the category of Banach spaces with contractions, only finite dimensional Banach spaces have duals <strong>in the sense of category theory</strong>. This is because one needs morphisms</p> <p>$$I \to A \otimes A^*$$</p> <p>and</p> <p>$$A \otimes A^* \to I$$</p> <p>where the first is like the inclusion of the identity and the second like the trace. This means that the identity map on $A$ has to have a trace, and that only works for finite dimensional Banach spaces.</p> <p>So, my question: am I right? Or have I misunderstood something here? </p> http://mathoverflow.net/questions/10797/which-banach-spaces-have-categorical-duals/10821#10821 Answer by Yemon Choi for Which Banach spaces have categorical duals? Yemon Choi 2010-01-05T17:20:34Z 2010-01-05T17:20:34Z <p>My internet access at the moment is limited &amp; sluggish, so I haven't been able to look up all the details; but I think your reasoning is correct. Certainly my impression is that duals in the sense beloved by (S)MC people only work for finite-dimensional Banach spaces.</p> <p>By the way, for arbitrary Banach spaces the first map you describe wants to land in the <em>injective</em> tensor product, while the second eants to come out of the <em>projective</em> tensor product. Thus the failure to get categorical duals for inf-dim Banach spaces is surely related to, though perhaps neither implying nor implied by, the following old result which I think is due to Grothendieck: if X is a Banach space and, for each Banach space E, the usual tensor product of X with E (in the category Vect) has a <em>unique</em> Banach completion, then X is finite-dimensional. More pithily, the only nuclear Banach spaces are the finite-dimensional ones.</p> http://mathoverflow.net/questions/10797/which-banach-spaces-have-categorical-duals/10833#10833 Answer by Reid Barton for Which Banach spaces have categorical duals? Reid Barton 2010-01-05T18:44:14Z 2010-01-05T19:24:11Z <p>From the recent discussion in the question you linked to, it seems that even (some? most?) finite-dimensional Banach spaces do not have categorical duals in the precise sense you describe. In fact it's clear what goes wrong here with the construction used in the algebraic setting of finite-dimensional vector spaces: the composition of the two maps you describe would be multiplication on $I$ by the dimension of $A$, but that is not a contraction unless $\dim A \le 1$!</p> <p>You might have more luck with a category of Banach spaces and all continuous linear maps, although I do not know whether that also has a closed symmetric monoidal structure.</p>