We define a reduced –operad to be –connected if the spaces of –ary operations are –connected for all . Let and be two reduced –operads. We prove that if is –connected and is –connected, then their Boardman–Vogt tensor product is –connected. We consider this to be a natural –categorical generalization of the classical Eckmann–Hilton argument.
"The $\infty$–categorical Eckmann–Hilton argument." Algebr. Geom. Topol. 19 (6) 3119 - 3170, 2019. https://doi.org/10.2140/agt.2019.19.3119