Timeline for How to pronounce "⊗¬-category"?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20, 2021 at 0:48 | vote | accept | paulotorrens | ||
| Aug 19, 2021 at 23:22 | answer | added | Paul Blain Levy | timeline score: 17 | |
| Dec 22, 2020 at 19:20 | comment | added | Qiaochu Yuan | How about "TN-category" (for "tensor-negation")? | |
| Jun 17, 2020 at 11:44 | comment | added | Harry Gindi | @varkor I actually find it incredibly distracting to have symbols that I cannot pronounce in my head while reading… | |
| Jun 17, 2020 at 10:44 | comment | added | varkor | If you're planning to write a paper, there's no advantage in trying to write out the pronunciation: you may just use the symbols. If I was trying to pronounce the name, I would say "tensor-not category" or similar, analogously to "dagger category" for †-category or "star algebra" for *-algebra. | |
| Jun 17, 2020 at 9:55 | comment | added | Musa Al-hassy | When $\lnot$ is an identity-on-objects functor, I've seen something called (monoidal) categories with converse; so perhaps you could refer to these as monoidal categories with negatiion? Also, @AndreasBlass: bahahahahahaah | |
| Jun 17, 2020 at 4:59 | history | edited | paulotorrens | CC BY-SA 4.0 |
Clarify a bit (sorta).
|
| Jun 17, 2020 at 4:48 | comment | added | Daniele Tampieri | @AndreasBlass, I would like to write a comment but, I cannot stop laughing... | |
| Jun 17, 2020 at 4:03 | comment | added | Andreas Blass | A version of this problem was solved by Victor Borge. youtube.com/watch?v=Qf_TDuhk3No | |
| Jun 17, 2020 at 3:48 | review | First posts | |||
| Jun 17, 2020 at 4:59 | |||||
| Jun 17, 2020 at 3:45 | history | asked | paulotorrens | CC BY-SA 4.0 |