Equivariant dendroidal sets (Q1748437)

The theory of simplicial sets provides models of \(\infty \)-categories. When operads are viewed as a generalisation of categories, the theory of dendroidal sets is a suitable extension of simplical sets which provides models of \(\infty \)-operads. The aim of the article is to address the equivariant situation. Formal techniques in the theory of model categories can be applied to obtain models of equivariant \(\infty \)-operads, but these models do not account for norm maps and are thus, morally, not the right models. The author presents an equivariant variant of dendroidal sets together with suitable model structures to model equivariant \(\infty\)-operad with norm maps. The required modifications are not straightforward, and though the flow of the arguments resembles the main threads of establishing dendroidal sets as models for \(\infty\)-operads, the details carry with them significant sophistication. The article is very well written, taking the time to thoroughly motivate the main result, exploring the inadquacy of a naive attempt.