adjunction of symmetric monoidal closed categories