Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have added to (infinity,1)-operad the basics for the “$(\infty,1)$-category of operators”-style definition
It seems that Heuts, Hinich, and Moerdijk have proved that Lurie’s $\infty$-operads and “dendroidal” operads are Quillen equivalent. According to the talk, the equivalence goes via a model structure on the category of marked forestial sets.
Yes. Their Quillen equivalence functor is a bit less direct than the evident dendroidal nerve of Lurie operads that I once played with at (infinity,1)-operad.
1 to 3 of 3