Timeline for Coherence theorem in braided monoidal categories
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 20, 2022 at 22:23 | comment | added | QGM | I understand the interpretation of the theorem but I have the impression that MacLane deduces it from theorem 1 above. I don’t understand how theorem 1 implies theorem 2 | |
| Mar 20, 2022 at 20:16 | history | answered | donald yau | CC BY-SA 4.0 |