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 links to related tensor products, including the new page inductive tensor product (under construction)
Thanks, Evangelos!
Why not just fix what needs fixing.
The line in question seems to be the last one from the Idea-section, introduced in rev 1 from 2012.
I gather the point is that the adjective “closed” needs to be removed or qualified here.
Clearly, this must have been written with finite dimensional spaces and linear maps in mind. Which is unfortunate in its lack of qualification, and more so in the context of this page, but has become fairly common habit (e.g. Selinger 2018, slide 21) for authors coming from QM applications. Or it was just a slip of tongue, which is suggested by the use of the word “also” and the fact that closure isn’t claimed the line before.
In any case, removing that word from the informal Idea-section would seem to fix the problem? If you then have energy left to add your expertise to the entry, as indicated in #5, that would be a great service to the community and would be much appreciated.
1 to 7 of 7