symmetric monoidal (∞,1)-category of spectra
A locally monoidal -operad (called a coherent -operad in (Lurie)) is an (∞,1)-operad whose modules over -algebras come equipped with a well behaved tensor product
An (∞,1)-operad is locally monoidal if
it is unital;
the underlying (∞,1)-category is an ∞-groupoid
(some third condition).
This is (Lurie, def. 3.3.1.9).
Locally monoidal -operads include
little k-cubes operad for all
Section 3.3.1 of
Last revised on February 11, 2013 at 18:15:10. See the history of this page for a list of all contributions to it.