Timeline for If a $\otimes$-idempotent object has a dual, must it be self-dual?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 9, 2017 at 0:35 | comment | added | Tim Campion | Cool! This is really a huge class of examples, since for most small categories $C$, the category $C^\mathbb{N}$ is not equivalent to $(C^\mathbb{N})^\mathrm{op}$, but $C^\mathbb{N}$ is idempotent in $Dist$. | |
| Aug 9, 2017 at 0:28 | history | answered | Anton Fetisov | CC BY-SA 3.0 |