strict symmetric monoidal category