Timeline for Does every Frobenius algebra in a monoidal *-category give a Q-system?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 23, 2013 at 2:27 | answer | added | César Galindo | timeline score: 2 | |
| Nov 4, 2010 at 22:30 | comment | added | Noah Snyder | So here's a sketch of how I was thinking of proving this before I thought I had a counterexample. Look at the 2-category of 1-1, 1-A, A-1, and A-A bimodules. We want to prove that this is a 2-C*-category and then by work of Longo we could conclude that A is a Q-system. But all those bimodule categories have a forgetful functor to the original category, so you just use the original *-structure to inherit a *-structure on the 2-category. You then check that this is a C* structure and you're done. | |
| Nov 4, 2010 at 22:04 | history | edited | Noah Snyder | CC BY-SA 2.5 |
added 1 characters in body
|
| Nov 4, 2010 at 18:00 | answer | added | Tobias Hagge | timeline score: 4 | |
| Oct 7, 2010 at 22:05 | answer | added | Noah Snyder | timeline score: 2 | |
| Oct 5, 2010 at 23:27 | history | edited | Noah Snyder | CC BY-SA 2.5 |
unclear question fixed
|
| Oct 5, 2010 at 21:51 | history | asked | Noah Snyder | CC BY-SA 2.5 |