Symmetric monoidal closed categories