Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added a bunch of hyperlinks to various technical terms in the first few paragraphs. in particular I made sure that there are links back to tensor product and tensor product of vector spaces. Conversely, I made these entries also point to inductive tensor product
Is this result about lctvs as a closed symmetric monoidal category due to Grothendieck?
Not sure. I saw it in Ralf Meyer’s book on cyclic homology, but it was a throwaway comment, together with the complaint that it’s not very useful, due to the problem with the completed inductive tensor.
Sydow, in On hom-functors and tensor products of topological vector spaces, dating from 1982, says “it is is easy to see”.
Andrew Stacey talks through the issue in this comment (and following) from ten or so years ago. He refers to this book for details.
1 to 7 of 7