fix definition of symmetric monoidal category (thanks to Toby Bartels)