# nLab model structure for dendroidal left fibrations

Contents

### Context

#### Model category theory

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of $(\infty,1)$-categories

Model structures

for $\infty$-groupoids

for ∞-groupoids

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

#### Higher algebra

higher algebra

universal algebra

# Contents

## Idea

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.

(…)

## Properties

###### Proposition

For $f : S \to T$ any morphism of dendroidal sets, the induced adjunction (by Kan extension)

$(f_! \dashv f^* ) : dSet/T \stackrel{\overset{f_!}{\leftarrow}}{\underset{f^*}{\to}} dSet/S$

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).

### Relation to other model structures

(…)

For an overview of models for (∞,1)-operads see table - models for (infinity,1)-operads.

## References

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.