Timeline for trace(xy)=trace(yx) in full generality
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 6, 2022 at 14:08 | comment | added | Todd Trimble | @LSpice Thanks! I edited it in. | |
| May 6, 2022 at 14:07 | history | edited | Todd Trimble | CC BY-SA 4.0 |
repaired a broken link, h/t to LSpice
|
| May 5, 2022 at 14:09 | comment | added | LSpice | Your link has rotted, but I think referred to Ponto and Shulman - Traces in symmetric monoidal categories. | |
| Jul 7, 2011 at 10:13 | comment | added | Todd Trimble | I think they could have done it that way, by first introducing movie moves which express extranaturality, e.g., one which gives an equation where $g \otimes 1_{x^\ast}$ followed by the counit $x \otimes x^\ast \to I$ equals $1_y \otimes g^\ast$ followed by the counit $y \otimes y^\ast \to I$; here I'm using $g: y \to x$ and $g^\ast: x^\ast \to y^\ast$ denotes the mate of $g$. This interprets the move where you slide the bead labeled $g$ through the bottom critical point, after which $g^\ast$ pops up on the other side. There's probably a lemma or two that needs to be proven first. | |
| Jul 7, 2011 at 4:38 | comment | added | Qiaochu Yuan | This is a great paper, but I think the chase given obscures the underlying topological idea a little: you take two wires, feed them into each other, then rotate everything by $180^{\circ}$. I'm not completely sure what structure is necessary to make that particular argument valid, though. | |
| Jul 6, 2011 at 22:26 | vote | accept | Ricky | ||
| Jul 6, 2011 at 22:05 | history | answered | Todd Trimble | CC BY-SA 3.0 |