coherence for symmetric monoidal and (co)affine categories