Profinite $\infty$-operads

Thomas Blom, Ieke Moerdijk

We show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriat…