Timeline for The evaluation and coevaluation maps for an object isomorphic to a dualisable object
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 2 at 21:21 | comment | added | Yilmaz Caddesi | Scrolling, yes, now I see :) Thanks a lot for this, it was driving me crazy for the last few days, now it is clear! | |
| Apr 2 at 21:01 | history | edited | Elizabeth Henning | CC BY-SA 4.0 |
minor correction to formula
|
| Apr 2 at 21:00 | comment | added | Elizabeth Henning | @Yilmaz You might need to scroll to see the whole line. I did forget the middle id, thanks! Fixed now. | |
| Apr 2 at 20:33 | vote | accept | Yilmaz Caddesi | ||
| Apr 2 at 20:18 | comment | added | Yilmaz Caddesi | Thanks a lot for spelling this out for me! Just a few things: At the end of the first line, I guess this should be $\mathrm{coev}_X \otimes \mathrm{id}_Y$? On the second line, the range of $\mathrm{coev} \otimes \mathrm{id}_Y$ is $X \otimes X^* \otimes Y$. How does $\sigma \otimes \sigma^{-1}$ act on $X \otimes X^* \otimes Y$? I guess as $\sigma \otimes \mathrm{id}_{X^*} \otimes \sigma^{-1}$ | |
| Apr 2 at 19:04 | history | answered | Elizabeth Henning | CC BY-SA 4.0 |