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 “-category of operators”-style definition
It seems that Heuts, Hinich, and Moerdijk have proved that Lurie’s -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.
added pointer to:
1 to 8 of 8