nLab
morphism of (∞,1)-operads

Contents

Definition

In the sense of Lurie, 2.1.2

For 𝒜 , \mathcal{A}^\otimes, \mathcal{B}^\otimes two (∞,1)-operads regarded as their (∞,1)-categories of operators regarded as quasi-categories, a homomorphism between them is a map in the slice category of sSet over N(FinSet *)N(FinSet_*) such that it respects inert morphisms.

(Lurie, def. 2.1.2.7)

References

Section 2.1.2 of

Last revised on February 11, 2013 at 16:03:07. See the history of this page for a list of all contributions to it.