are isomorphisms. Definition. A symmetric 2-rig is a 2-rig whose underlying monoidal category is a symmetric monoidal category. One can work through the details of these definitions and show the ...