Timeline for Are there noncartesian monoidal categories with $A \otimes B = A \times B$?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 26 at 10:46 | comment | added | Ivan Di Liberti | Related: mathoverflow.net/a/338999/104432 | |
| Jul 26 at 9:12 | answer | added | Peter LeFanu Lumsdaine | timeline score: 7 | |
| Jul 25 at 9:09 | answer | added | Tobias Fritz | timeline score: 8 | |
| Jul 25 at 8:27 | history | edited | John Baez | CC BY-SA 4.0 |
added 309 characters in body
|
| Jul 24 at 17:40 | comment | added | John Baez | @NaïmFavier - more generally the answer to this question seems to imply that if for any monoidal category the action of $\otimes$ on both objects and morphisms matches that for some cartesian monoidal structure on this category, the monoidal category must be cartesian monoidal. The details of the argument are a bit hard to follow, but this is why I only assumed $\otimes = \times$ on objects. | |
| Jul 24 at 16:38 | comment | added | Naïm Favier | Stating the obvious: if the action of $\otimes$ on morphisms is that of $\times$ and $\mathsf{C}$ is the category of sets, then the associator and unitors are fixed by Yoneda. | |
| Jul 24 at 15:34 | history | edited | John Baez | CC BY-SA 4.0 |
added 211 characters in body
|
| Jul 24 at 15:29 | history | asked | John Baez | CC BY-SA 4.0 |