Timeline for Every monoidal category is equivalent to a strict monoidal category
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2020 at 3:36 | history | edited | Noah Snyder | CC BY-SA 4.0 |
Putting an equation in display mode to fix a bug in how it was displaying on mobile
|
| Jun 19, 2020 at 19:59 | vote | accept | CommunityBot | ||
| Jun 19, 2020 at 19:59 | comment | added | user159891 | It seems very tedious to verify that this indeed defines a tensor functor. I checked one of the three diagrams and it worked out, so I'm getting confident that it works! Many thanks for the help! | |
| Jun 19, 2020 at 19:35 | comment | added | Noah Snyder | @user745578: Yes, that's my proposal. | |
| Jun 19, 2020 at 19:30 | comment | added | user159891 | So if I understand correctly, we have that $(G, \varphi_0 = id_I, \varphi_2)$ is a tensor functor where $id_I \in Hom_{C^{str}}(\emptyset, (I))$ and $\varphi_2(U,V):= id_{U \otimes V} \in Hom_{C^{str}}((U,V),(U \otimes V))$? | |
| Jun 19, 2020 at 18:43 | comment | added | user159891 | Thanks! I will see if this works! | |
| Jun 19, 2020 at 18:29 | history | answered | Noah Snyder | CC BY-SA 4.0 |