### Context

#### Higher algebra

higher algebra

universal algebra

# Contents

## Definition

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

## Properties

### Relation to $(\infty,1)$-Algebras over an $(\infty,1)$-operad

For $\mathcal{C}^\otimes \to \mathcal{O}^\otimes$ a fibration of $(\infty,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}$

## References

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.