model category, model $\infty$-category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of $(\infty,1)$-categories
Model structures
for $\infty$-groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant $\infty$-groupoids
for rational $\infty$-groupoids
for rational equivariant $\infty$-groupoids
for $n$-groupoids
for $\infty$-groups
for $\infty$-algebras
general $\infty$-algebras
specific $\infty$-algebras
for stable/spectrum objects
for $(\infty,1)$-categories
for stable $(\infty,1)$-categories
for $(\infty,1)$-operads
for $(n,r)$-categories
for $(\infty,1)$-sheaves / $\infty$-stacks
symmetric monoidal (∞,1)-category of spectra
The model structure for dendroidal left fibrations is an operadic analog of the model structure for left fibrations. Its fibrant objects over Assoc are A-∞ spaces, over Comm they are E-∞ spaces.
(…)
For $f : S \to T$ any morphism of dendroidal sets, the induced adjunction (by Kan extension)
is a Quillen adjunction for the corresponding model structures for dendroidal left fibrations over $S$ and $T$. It is a Quillen equivalence if $f$ is a weak equivalences in the Cisinki-Moerdijk model structure on dendroidal sets.
This is (Heuts, prop. 2.4).
(…)
For an overview of models for (∞,1)-operads see table - models for (infinity,1)-operads.
The model structure for dendroidal left fibrations is due to
The model structure for dendroidal Cartesian fibrations that it arises from by Bousfield localization is due to
Last revised on March 7, 2012 at 10:42:57. See the history of this page for a list of all contributions to it.