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 by Niles Johnson and Donald Yau.
Emily
- 11.8k
- 4
- 30
- 88