I added in the (∞,1)-category of (∞,1)-modules over an E-∞ ring as an example.
Also, I pointed out that left and right closedness may be separated out.
]]>Examples are sparse at closed monoidal (infinity,1)-category. What would be good examples to add? Perhaps the stable (infinity,1)-category of spectra, although that doesn’t mention closedness.
]]>