![[symmetric monoidal category]]