symmetric monoidal (∞,1)-category of spectra
Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
An $\infty$-algebra over an $(\infty,1)$-operad is an ∞-groupoid equipped with higher algebraic operations as encoded by an (∞,1)-operad. Since there is not really any other sensible notion of algebra for an $(\infty,1)$-operad, we feel free to drop the prefix (although in other cases it can be helpful to disambiguate).
This is the (∞,1)-category theory-analog of the notion of algebra over an operad. Notice that in the literature one frequently sees model category presentations of $(\infty,1)$-operads by ordinary operads enriched in a suitable monoidal model category. In these models $\infty$-algebras are be presented by ordinary algebras over cofibrant resolutions of ordinary enriched operads. This is directly analogous to how (∞,1)-categories may be presented by simplicially enriched categories.
Also notice that the enrichment used in these models is not necessarily over Top / sSet (the standard presentations of ∞Grpd) but often notably over a category of chain complexes. But at least for connective chain complexes, the Dold-Kan correspondence says that these, too, are in turn models for certain ∞-groupoids. This, in turn, is in direct analogy to how a stable (∞,1)-category may be presented by a dg-category.
We discuss $\infty$-algebras with (∞,1)-operads viewed in terms of their (∞,1)-categories of operators as in (Lurie).
In full generality we have:
For $\mathcal{C}^\otimes \to \mathcal{O}^\otimes$ a fibration of (∞,1)-operads, then for $\mathcal{P}^\otimes \to \mathcal{O}^\otimes$ any other homomorphism, an (∞,1)-algebra over $\mathcal{P}^\otimes$ in $\mathcal{C}^\otimes$ is a homomorphism of (∞,1)-operads from $\mathcal{P}$ to $\mathcal{C}$ over $\mathcal{O}$
Specifically if $\mathcal{C}^\otimes \to \mathcal{O}^\otimes$ is a coCartesian fibration of (∞,1)-operads then this exhibits $\mathcal{C}$ as equipped with the structure of an $\mathcal{O}$-monoidal (∞,1)-category. Then a section $A \colon \mathcal{O}^\otimes \to \mathcal{C}^{\otimes}$ is a $\mathcal{O}$-algebra in $\mathcal{C}$ with respect to this structure. (The “microcosm principle”).
We discuss presentations of (∞,1)-categories of $\infty$-algebras over (∞,1)-operads by model category structures on categories of algebras over an operad enriched in some suitable monoidal model category.
(…)
For the moment see
See also
Model category structures for $\infty$-algebras are discussed in
Section 2.1.3 of
Last revised on February 21, 2014 at 02:04:50. See the history of this page for a list of all contributions to it.