Timeline for Is there a coalgebraic characterisation of the hyperfinite II_1 factor?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 13, 2009 at 0:17 | comment | added | Greg Kuperberg | I can't claim credit for anticipating your example of a dualized Freyd's theorem. Indeed you found an initial object in a category of Banach spaces, decorated in vaguely the same way as Freyd's coalgebra structure. Of course, I took the question more literally than that. | |
| Nov 12, 2009 at 23:57 | comment | added | Tom Leinster | Just to clarify: I'm not claiming this has anything to do with factors. | |
| Nov 12, 2009 at 23:55 | comment | added | Tom Leinster | You're right, Greg, there is something like a dualized version of Freyd's theorem. It characterizes L^1[0,1] among Banach spaces, by a simple universal property. One also gets the definition of integration on [0, 1] out of this. See maths.gla.ac.uk/~tl/glasgowpssl | |
| Nov 12, 2009 at 23:35 | history | answered | Greg Kuperberg | CC BY-SA 2.5 |