Timeline for What is the proof of the compatibility of a braiding with the unitors?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 13 at 17:19 | answer | added | Joshua Meyers | timeline score: 2 | |
| Oct 24, 2021 at 5:27 | answer | added | Emily | timeline score: 5 | |
| Oct 24, 2021 at 5:27 | comment | added | Emily | @PeterLeFanuLumsdaine Thanks! This is definitely a good idea; I hadn't thought about it as a chance to publicise Niles and Donald's really nice book(s)! | |
| Oct 23, 2021 at 7:01 | comment | added | Peter LeFanu Lumsdaine | @Emily: Why not make that comment an answer? It seems a full and excellent answer, publicising a really useful book! | |
| Oct 20, 2021 at 19:32 | comment | added | Emily | A completely spelled out diagrammatic proof is given in Proposition 1.3.21 of Volume II of Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory. | |
| Oct 20, 2021 at 17:55 | vote | accept | naahiv | ||
| Oct 20, 2021 at 11:32 | answer | added | Peter LeFanu Lumsdaine | timeline score: 6 | |
| Oct 20, 2021 at 3:19 | comment | added | David Roberts♦ | My guess is that this can be reconstructed from the version for a symmetric monoidal category, which is identity (8) in Kelly's On MacLane's conditions for coherence of natural associativities, commutativities, etc. doi.org/10.1016/0021-8693(64)90018-3 This is not an explicit proof, but at least it's published somewhere | |
| Oct 20, 2021 at 2:40 | history | asked | naahiv | CC BY-SA 4.0 |