c7925a5c7b203818.tex
1: \begin{abstract}
2: 		In our paper ``Profinite $\infty$-operads'' \cite{BlomMoerdijk2022ProfinitePartI}, we developed a model for the homotopy theory of profinite $\infty$-operads in the form of dendroidal objects with values in profinite sets. In this sequel, we describe a Quillen equivalent model based on dendroidal objects with values in Quick’s model category of profinite spaces. This model enables us to prove a Dwyer--Kan style characterization of the weak equivalences between profinite $\infty$-operads and to characterize the underlying $\infty$-category as an $\infty$-categorical pro-category (as already announced in our \cite{BlomMoerdijk2022ProfinitePartI}). Moreover, we use this model to show that the profinite completion used by Boavida de Brito--Horel--Robertson \cite{Horel2017ProfiniteOperads,BoavidaHorelRobertson2019GenusZero} in their study of the Grothendieck--Teichmüller group fits in our general theory of profinite completion as a left Quillen functor.
3: 	\end{abstract}
4: