Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 251 页 · Chapter XI, Section 1
A symmetric monoidal category is a monoidal category equipped with a natural isomorphism \(\gamma_{a,b}:a\otimes b\to b\otimes a\) satisfying the symmetry and coherence axioms.