more accurate description of symmetric monoidal cateogories