symmetric monoidal (∞,1)-category of spectra
In the sense of Lurie, def. 2.1.2.10:
a morphism of (∞,1)-operads such that the underlying map of (∞,1)-categories of operators is a fibration in the model structure for quasi-categories
For a fibration of -operads, then for any other homomorphism, an (∞,1)-algebra over in is a homomorphism of (∞,1)-operads from to over
fibration of (∞,1)-operads
Def. 2.1.2.10
Last revised on February 11, 2013 at 16:01:16. See the history of this page for a list of all contributions to it.