Timeline for When is/isn't the monoidal unit compact projective?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 14, 2015 at 18:20 | vote | accept | Theo Johnson-Freyd | ||
| Jul 16, 2014 at 20:36 | answer | added | Inna | timeline score: 3 | |
| Jul 7, 2014 at 3:15 | comment | added | Theo Johnson-Freyd | @NoahSnyder Thanks! And indeed I should have remembered that from your paper with Chris and Chris. | |
| Jul 6, 2014 at 5:23 | comment | added | Noah Snyder | Very minor point, for A-mod-A projectivity is separability of A which in enough generality is stronger than semisimplicity (though they agree for algebras over a perfect field). | |
| Jul 6, 2014 at 1:08 | comment | added | Qiaochu Yuan | Huh. Interesting. Ignore me, then. | |
| Jul 6, 2014 at 1:07 | comment | added | Theo Johnson-Freyd | @QiaochuYuan In Temperley-Lieb? No. It's the free monoidal category on a self-dual object of that dimension. Given any monoidal category, you can ask how many braidings it admits. In the case of TL, there are precisely four (which are interchanged under $q \mapsto -q$ and $q\mapsto q^{-1}$). | |
| Jul 5, 2014 at 17:53 | answer | added | Qiaochu Yuan | timeline score: 3 | |
| Jul 5, 2014 at 4:28 | history | asked | Theo Johnson-Freyd | CC BY-SA 3.0 |