This is Proposition 1 in the seminal paper "Braided Monoidal Categories" by Joyal and Street. Relation (ii) is implied by the others.
Chris Schommer-Pries
- 27.5k
- 3
- 91
- 171