symmetric monoidal (∞,1)-category of spectra
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
An -algebra over an -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 -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 -operads by ordinary operads enriched in a suitable monoidal model category. In these models -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 -algebras with (∞,1)-operads viewed in terms of their (∞,1)-categories of operators as in (Lurie).
In full generality we have:
For a fibration of (∞,1)-operads, then for any other homomorphism, an (∞,1)-algebra over in is a homomorphism of (∞,1)-operads from to over
Specifically if is a coCartesian fibration of (∞,1)-operads then this exhibits as equipped with the structure of an -monoidal (∞,1)-category. Then a section is a -algebra in with respect to this structure. (The “microcosm principle”).
We discuss presentations of (∞,1)-categories of -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 -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.