This is Proposition 1 in the seminal paper "Braided Monoidal Categories" by Joyal and Street.