Timeline for The tensor product of two monoidal categories
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 24, 2020 at 19:08 | comment | added | fosco | Thank god categories were popular way before $\infty$-stuff ;) | |
| Feb 23, 2020 at 23:27 | comment | added | Martin Brandenburg | Sure. And this tensor product has been known long before $\infty$-categories were popular. | |
| Feb 23, 2020 at 23:10 | comment | added | fosco | I didn't say there was; but perhaps it is possible to back-engineer the infty-definition to get the 1-definition | |
| Feb 23, 2020 at 19:26 | comment | added | Martin Brandenburg | There is no need to jump to the $\infty$-categorical setting for the question. | |
| Jul 10, 2019 at 9:07 | history | answered | fosco | CC BY-SA 4.0 |