Timeline for Link between a categorical and an algebraic characterization of (infinite-dimensional) Hilbert space
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 4, 2021 at 20:13 | history | edited | YCor | CC BY-SA 4.0 |
added tags, formatting
|
| Nov 4, 2021 at 15:46 | comment | added | M Mueger | I find this question very superficial, considering that Soler's result is the main ingredient in the proof of Heunen and Kornell, as a short look at the paper teaches. | |
| Sep 17, 2021 at 12:30 | comment | added | Uri Bader | Thanks for asking this question. I didn't know Sol`er’s Theorem before. Here is a link to a survey: arxiv.org/pdf/math/9504224.pdf. the new paper you mention (link: arxiv.org/pdf/2109.07418.pdf) uses this theorem in their proposition 5. This is how they get the concrete field $\mathbb{R}$ or $\mathbb{C}$ out of the rather abstract categorical setting. So in a concrete sense, there is a relation between these two results... | |
| Sep 17, 2021 at 11:44 | history | asked | Gérard Lang | CC BY-SA 4.0 |